Chargement...
Chargement...
  1. Collection
  2. Méthodologie pour le logiciel

Livres 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