Titre :	Introduction à la Spécification
Type de document :	texte imprime
Auteurs :	Habrias Henri ; Gallaire, Hervé, Préfacier, etc.
Editeur :	Paris : Masson
Année de publication :	cop. 1993
Collection :	Méthodologie du Logiciel num. 2
Importance :	(XIX-347 p.)
Présentation :	ill., couv. ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-225-82768-6
Note générale :	Bibliogr. p.[319]-340. Index
Langues :	Français
Mots-clés :	Génie logiciel  Z (méthode formelle)  Logiciels:développement  Systèmes d'information:spécifications
Index. décimale :	0053
Résumé :	L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réalise
Permalink :	./index.php?lvl=notice_display&id=14758

Introduction à la Spécification [texte imprime] / Habrias Henri ; Gallaire, Hervé, Préfacier, etc. . - Paris : Masson, cop. 1993 . - (XIX-347 p.) : ill., couv. ill. ; 24 cm. - (Méthodologie du Logiciel; 2) .
ISBN : 978-2-225-82768-6
Bibliogr. p.[319]-340. Index
Langues : Français

Mots-clés :	Génie logiciel  Z (méthode formelle)  Logiciels:développement  Systèmes d'information:spécifications
Index. décimale :	0053
Résumé :	L'un des premiers ouvrages de langue française à présenter les concepts de la spécification formelle, il expose au programmeur et concepteur de logiciel comment décrire de façon précise les demandes énoncées par l'utilisateur du logiciel à réalise
Permalink :	./index.php?lvl=notice_display&id=14758