Spécification des logiciels : deux exemples de pratiques récentes : Z et UML
Salvato in:
| Autori principali: | André, Pascal, 1967-...., chercheur en informatique, Vailly, Alain (Autore) |
|---|---|
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Paris :
Ellipses
2001.
|
| Serie: | Technosup : les filières technologiques des enseignements supérieurs
|
| Soggetti: | |
| Nota: |
En avant-titre : "Génie logiciel" |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Génie logiciel :, spécification des logiciels : deux exemples de pratiques récentes : Z et UML |
Documenti analoghi
-
Analyse des besoins pour le développement logiciel : recueil et spécification, démarches itératives et agiles
(Livre numérique)
Lonchamp, Jacques, 1951-
Dunod, 2015 -
Développement de logiciels avec UML 2 et OCL : cours, études de cas et exercices corrigés
(Livre papier)
André, Pascal, 1967-...., chercheur en informatique, et al.
Ellipses, 2013 -
Exercices corrigés en langage Z : les spécifications formelles par l'exemple
(Livre papier)
André, Pascal, 1967-...., chercheur en informatique, et al.
Ellipses, 2004 -
Analyse des besoins pour le développement logiciel : recueil et spécification, démarches itératives et agiles
(Livre papier)
Lonchamp, Jacques, 1951-
Dunod, 2015 -
L'orienté objet : cours et exercices en UML, Java, C# et C++
(Livre papier)
Bersini, Hugues, 1961-
Eyrolles, 2002

