![Photo bandeau superieur](https://buc.univ-saida.dz/admin/opac_css/temp/cms_vign/buce/large/section79.jpeg)
Détail d'une collection
|
Documents disponibles dans la collection (2)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Henri Habrias, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodologie pour le logiciel | 1993Expose 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. A partir du modèle conceptuel de données et de la sémantique, les méthodes de spécification les plus[...]![]()
texte imprimé
CliffB. Jones, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodologie pour le logiciel | 1992Après des rappels de logique formelle, l'auteur envisage la spécification des besoins, la conception et l'implémentation.