Chargement...
Chargement...
Collection Méthodologie pour le logiciel
Auteur

Support

Série

Disponibilité

1
Hood reference manual 3.1

Hood reference manual 3.1

Éditeur(s) : Elsevier Masson
45,58 €
Chargement...
La Notation Z : manuel de référence

La Notation Z : manuel de référence

Auteur : J. Mike Spivey
Éditeur(s) : Elsevier Masson
Notation 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. ©Electre 2025
39,50 €
Chargement...
Introduction à la spécification

Introduction à la spécification

Auteur : Henri Habrias
Éditeur(s) : Elsevier Masson
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. A partir du modèle conceptuel de données et de la sémantique, les méthodes de spécification les plus usuelles sont présent...
44,10 €
Chargement...
VDM : une méthode rigoureuse pour le développement de logiciels

VDM : une méthode rigoureuse pour le développement de logiciels

Auteur : Cliff B. Jones
Éditeur(s) : Elsevier Masson
Après des rappels de logique formelle, l'auteur envisage la spécification des besoins, la conception et l'implémentation. ©Electre 2025
50,20 €
Chargement...
Introduction à Eiffel

Introduction à Eiffel

Auteur : Robert Switzer
Éditeur(s) : Elsevier Masson
Prentice Hall
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 par une méthode, mise en...
28,80 €
Chargement...
1