|
Titre :
|
Introduction la spécification
|
|
Auteurs :
|
Henri Habrias ;
Hervé Gallaire
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Masson Paris., 1993
|
|
Collection :
|
M©thodologies du logiciel (Paris), ISSN 1242-5656, num. 2.
|
|
ISBN/ISSN/EAN :
|
978-2-225-82768-6
|
|
Format :
|
347 p. / ill., couv. ill / 24 cm.
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005 Organisation des données, programmation des ordinateurs, programmes
|
|
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éaliser.
|
Accueil
