Modelling Systems: Practical Tools and Techniques in Software Development - Brossura

Fitzgerald, John; Larsen, Peter Gorm

Brossura

ISBN 10: 0521623480 ISBN 13: 9780521623483

Casa editrice: Cambridge University Press, 1998

Riassunto

Textbook on software modelling that comes with a CD providing tool support.

Su questo libro

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.

Dettagli dell'edizione

• Editore: Cambridge University Press
• Data di pubblicazione: 1998
• Lingua: Inglese
• ISBN 10: 0521623480
• ISBN 13: 9780521623483
• Rilegatura: Copertina flessibile
• Numero di pagine: 288
• Contatto del produttore: non disponibile
• Persona responsabile: Avery; https://www.avery.fr/; ; chemin des peupliers 27; Dardilly; Francia