Mon compte
Ma liste - 0
Catalogue
Ressources numériques
Nouveautés
Liens utiles
Mon compte
Recherche rapide
Recherche avancée
Recherche alphabétique
Historique
Information
Recherche
Auteur
Titre
Sujet
Titre de revue
Collection
Cotes BU
Cotes ENSEA
Cotes IUFM
Modifier la recherche
>
CERGY
Elargir la recherche
Sur le même sujet :
Génie logiciel
Logiciels -- Développement
Logiciel
Computer software -- Development
Parcourir le catalogue
par auteur:
Fitzgerald , John , 1965-....
Larsen , Peter Gorm , 1964-....
Rechercher sur Internet
Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)
Aperçu dans Google Books
Affichage MARC
Auteur :
Fitzgerald , John , 1965-....
Titre :
Modelling systems : practical tools and techniques in software development , John Fitzgerald and Peter Gorm Larsen
Edition :
2nd ed.
Editeur :
Cambridge , Cambridge University Press -- cop. 2009
Description :
1 vol. (XVI-288 p.) : ill. ; 26 cm
ISBN:
978-0-521-89911-6 , rel.
0-521-89911-7 , rel.
Notes :
1ère éd. 1998
Bibliogr. p. 277-281. Index
How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modelling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design
Sujet :
Génie logiciel
Logiciels -- Développement
Logiciel
Computer software -- Development
Exemplaires
Site
Emplacement
Cote
Type de prêt
Statut
Ensea
Archives
ARCH-8569
Empruntable
(disponible) ENSEA
Pour toute question,
contactez la bibliothèque
Horizon Information Portal 3.0© 2001-2019
SirsiDynix
Tous droits réservés.