GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (2)
Ajouter le résultat dans votre panier Affiner la recherche
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.
