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.

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Miramar International Services LLC

Condizioni di vendita e spedizione

Condizioni di vendita

www.californiabooks.com

Diritto di recesso

Condizioni di spedizione

www.californiabooks.com

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 3 a 7 giorni lavorativi	Da 2 a 5 giorni lavorativi
Primo articolo	EUR 0.00	EUR 10.23

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.