Articoli correlati a Validated Designs For Object-oriented Systems

Validated Designs For Object-oriented Systems - Rilegato

Larsen, Peter Gorm; Mukherjee, Paul; Plat, Nico; Verhoef, Marcel

 
9781852338817: Validated Designs For Object-oriented Systems
Rilegato
ISBN 10: 1852338814 ISBN 13: 9781852338817
Casa editrice: Springer-Verlag New York Inc, 2005

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.

Editore
Springer-Verlag New York Inc
Data di pubblicazione
2005
Lingua
Inglese
ISBN 10 
1852338814
ISBN 13 
9781852338817
Rilegatura
Copertina rigida
Numero di pagine
402
Redattore
Fitzgerald John
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Germania