mon master2 ISIFAR
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
mon master2 ISIFAR

ISIFAR
 
AccueilRechercherDernières imagesS'enregistrerConnexion
Le Deal du moment : -50%
-50% Baskets Nike Dunk Low
Voir le deal
64.99 €

 

 Z

Aller en bas 
AuteurMessage
Admin
Admin



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

Z Empty
MessageSujet: Z   Z Icon_minitimeMar 4 Avr à 17:14

Revenir en haut Aller en bas
https://mastertwo.jeun.fr
Admin
Admin



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

Z Empty
MessageSujet: Re: Z   Z Icon_minitimeMar 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
https://mastertwo.jeun.fr
 
Z
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:  
Ne ratez plus aucun deal !
Abonnez-vous pour recevoir par notification une sélection des meilleurs deals chaque jour.
IgnorerAutoriser