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: 0521623480
ISBN 13: 9780521623483
Antico o usato
Brossura
Da: More Than Words, Waltham, MA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. A sound copy with only light wear. Overall a solid copy at a great price! Codice articolo BOS-D-14d-00861
Compra usato
EUR 5,79
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: 1 disponibili