GEOTRUST SSL CERTIFICATE
Détail d'une collection
Documents disponibles dans la collection (5)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
texte imprimé
Eiffel est un langage orienté objet possédant les qualités nécessaires et la richesse des méthodes rigoureuses provenant du développement de logiciels fiables. Cet ouvrage, qui se veut facile d'accès, montre que le langage Eiffel est soutendu pa[...]
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é
J.M. Spivey, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Méthodologie pour le logiciel | 1993Notation utilisée dans la méthode informatique de spécification Z, dont les outils d'aide à l'écriture et à la manipulation (analyseurs syntaxiques, éditeurs structurels, vérificateurs de type...) ont connu un développement croissant.
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.
