mon master2 ISIFAR

ISIFAR
 
AccueilFAQRechercherS'enregistrerMembresGroupesConnexion

Partagez | 
 

 Z

Voir le sujet précédent Voir le sujet suivant Aller en bas 
AuteurMessage
Admin
Admin


Nombre de messages : 418
Date d'inscription : 27/09/2005

MessageSujet: Z   Mar 4 Avr à 17:14

http://www.linux-france.org/prj/jargonf/Z/Z.html

http://www.cours.polymtl.ca/log2000/Intro_Z.pdf
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://mastertwo.jeun.fr
Admin
Admin


Nombre de messages : 418
Date d'inscription : 27/09/2005

MessageSujet: Re: Z   Mar 4 Avr à 17:14

http://www.univ-tours.fr/discala/livres/basesinfo2.pdf

1.5 Les langages de spécification
Les langages de spécification sont encore du domaine de la recherche. Leurs objectifs sont de
décrire le plus rigoureusement possible (les modèles principaux sont mathématiques) un
logiciel afin de pouvoir le valider et le vérifier.
Nous ne mentionnerons ici que le langage LPG de D.Bert(Grenoble) pour les spécifications
de types abstraits algébriques, Z de J.R. Abrial, le langage dont la notation est fondée sur la
théorie des ensembles (puis d’une amélioration de Z dénotée B par Abrial) et VDM langage
formel de spécification par pré-condition et post-condition. Ces langages ne peuvent être
utilisés d’une manière pratique que sous forme de notation, bien qu’ils soient implantés sur
des systèmes informatiques. Ils ne sont pas encore à la disposition du grand public comme les
langages des catégories précédentes, bien que certains soient utilisés dans des sites industriels.
Par la suite, nous utiliserons un langage de spécification pédagogique fondé sur les types
abstraits algébriques.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://mastertwo.jeun.fr
 
Z
Voir le sujet précédent Voir le sujet suivant Revenir en haut 
Page 1 sur 1

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
mon master2 ISIFAR :: 1ere ANNEE - S2 :: Génie logiciel-
Sauter vers: