Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems

Download “Seamless Object-Oriented Software Architecture: Analysis and Design of Reliable Systems” by Kim Waldén and Jean-Marc Nerson for free in pdf format. This book shows how a consistent set of object-oriented abstractions can be applied throughout the process, based on three major ideas: seamlessness, reversibility, and contracting.

Book Description

This book is also one of a select few in the OOAD literature that pays serious attention to the question of software reliability, by using some elements of formal reasoning, in particular assertions, as a way to specify semantic properties of a system at the earliest possible stage.

The book is intended for software professionals as well as for students at the graduate and undergraduate levels. We believe it can be read by anyone who has acquired a general understanding of the problems of software engineering, and who has some inclination for abstract thinking.

Table of Contents

• Object-oriented software development
• The BON approach
• The static model—classes and clusters
• Static relations
• The dynamic model
• Issues of a general method
• The BON process
• BON standard activities
• A conference management system
• A video recorder
• Relational and object-oriented coexistence
• Exercises

Download Free PDF / Read Online