Articoli correlati a Modelling Systems: Practical Tools and Techniques in...
Sinossi
Textbook on software modelling that comes with a CD providing tool support.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Descrizione del libro
This book provides a remarkable new introduction to software modelling using VDM. Based on the new ISO Standard version of the VDM Specification Language, it breaks new ground by combining training with tool support suitable for a PC Windows platform. This allows the reader to develop software models, check their syntax- and type-correctness and to execute and test them.
Contenuti
1. Introduction; 2. Constructing a model; 3. Toolbox Lite; 4. Describing system properties using logical expressions; 5. The elements of a formal model; 6. Sets; 7. Sequences; 8. Mappings; 9. Validating models; 10. State-based modelling; 11. Large-scale modelling; 12. Using VDM in practice; Appendix A. Language guide; Appendix B. Solutions to exercises; Bibliography.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Modelling Systems: Practical Tools and Techniques in...
Foto dell'editore
Modelling Systems: Practical Tools and Techniques in Software Development
Editore:
Cambridge University Press, 1998
ISBN 10: 0521626056
ISBN 13: 9780521626057
Antico o usato
Rilegato
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 288 | Sprache: Englisch | Produktart: Bücher. Codice articolo 38628212/202
Quantità: 2 disponibili
Immagini fornite dal venditore
Modelling Systems: Practical Tools and Techniques in Software Development
Editore:
Cambridge University Press, 1998
ISBN 10: 0521626056
ISBN 13: 9780521626057
Antico o usato
Rilegato
Da: Bookstore Brengelman, Cincinnati, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: As New. Hardcover without DJ, CD included. Codice articolo 390200
Quantità: 1 disponibili
Foto dell'editore
Modelling Systems
Editore:
Cambridge University Press CUP, 1998
ISBN 10: 0521626056
ISBN 13: 9780521626057
Antico o usato
Rilegato
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 288. Codice articolo 262105753
Quantità: 1 disponibili
Foto dell'editore
Modelling Systems
Editore:
Cambridge University Press, 1998
ISBN 10: 0521626056
ISBN 13: 9780521626057
Antico o usato
Rilegato
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Used. pp. 288 25 Illus. Codice articolo 5742150
Quantità: 1 disponibili
Foto dell'editore
Modelling Systems
Editore:
Cambridge University Press, 1998
ISBN 10: 0521626056
ISBN 13: 9780521626057
Antico o usato
Rilegato
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Used. pp. 288. Codice articolo 182105747
Quantità: 1 disponibili