Sinossi
This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising software engineers with some prior experience of object-oriented design/programming and at intermediate or advanced students studying object-oriented design or modelling in a short course. The following features make this book particularly attractive to potential instructors: § The relationship with UML and object-oriented programming makes it easy to integrate with the mainstream computing curriculum. Although the book is about formal methods, it does not have to be treated as a specialist topic. § The use of tools and an accessible modelling language improves student motivation. § The industry-based examples and case studies add to the credibility of the approach. § The light touch approach means that the material appeals to students with a wider range of abilities than is the case in a conventional formal methods text. § Support materials as listed above.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
I - Models and Software Development Introduction Building a Model in VDM++: an Overview VDM++ Tool Support II - Modelling Object-oriented Systems in VDM++ Defining Data Defining Functionality Modelling Unordered Collections Modelling Ordered Collections Modelling Relationships III - Modelling in Practice: Three Case Studies Model Structuring: The Enigma Cipher Combining Views: The CSLaM System TradeOne: From Enterprise Architecture to Business Application IV - From Models to Code Concurrency in VDM++ Model Quality Implementing in Java A - Solutions to exercises Bibliography List of Acronyms Subject Index Definitions Index
Product Description
VALIDATED DESIGNS FOR OBJECT-ORIENTED SYSTEMS by JOHN S., FITZGERAL,PETER G, 9781852338817
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 Validated Designs For Object-oriented Systems
Foto dell'editore
Validated Designs for Object-Oriented Systems
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9781852338817. Codice articolo 3965427
Compra usato
EUR 17,30
Spedizione EUR 15,59
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems.
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 4 su 5 stelle
89 figs., XII, 402 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Codice articolo 36247HB
Compra usato
EUR 13,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-1852338814
Compra nuovo
EUR 68,30
Spedizione EUR 5,98
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Validated Designs for Object-oriented Systems
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781852338817_new
Compra nuovo
EUR 77,56
Spedizione EUR 13,74
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Validated Designs for Object-Oriented Systems
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Presents formal modelling techniques in a context that will be familiar to practitioners and students with no prior experience of formalism, namely object-oriented designAdvocates formal modelling as an enhancement to common design practice. Codice articolo 4289830
Compra nuovo
EUR 66,42
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili