Sold Out
Book Categories |
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
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionValidated Designs for Object-oriented Systems
X
This Item is in Your InventoryValidated Designs for Object-oriented Systems
X
You must be logged in to review the productsX
X
X
Add Validated Designs for Object-oriented Systems, 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 intermed, Validated Designs for Object-oriented Systems to the inventory that you are selling on WonderClubX
X
Add Validated Designs for Object-oriented Systems, 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 intermed, Validated Designs for Object-oriented Systems to your collection on WonderClub |