Détail de l'auteur
Auteur Henri Habrias |
Documents disponibles écrits par cet auteur (1)



![]()
texte imprimé
Henri Habrias ; Hervé Gallaire | Masson Paris. | M©thodologies du logiciel (Paris), ISSN 1242-5656 | 1993L'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.
