Related Books

Validated Designs for Object-oriented Systems
Language: en
Pages: 402
Authors: John Fitzgerald
Categories: Computers
Type: BOOK - Published: 2005-02-03 - Publisher: Springer Science & Business Media

GET EBOOK

This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising soft
Validated Designs for Object-oriented Systems
Language: en
Pages: 402
Authors: John Fitzgerald
Categories: Computers
Type: BOOK - Published: 2005-11-25 - Publisher: Springer Science & Business Media

GET EBOOK

This book provides an introduction to practical formal modelling techniques in the context of object-oriented system design. It is aimed at both practising soft
Object-Oriented Analysis and Design for Information Systems
Language: en
Pages: 469
Authors: Raul Sidnei Wazlawick
Categories: Computers
Type: BOOK - Published: 2014-01-28 - Publisher: Elsevier

GET EBOOK

Object-Oriented Analysis and Design for Information Systems clearly explains real object-oriented programming in practice. Expert author Raul Sidnei Wazlawick e
Pattern-oriented Analysis and Design
Language: en
Pages: 416
Authors: Sherif M. Yacoub
Categories: Computers
Type: BOOK - Published: 2004 - Publisher: Addison-Wesley Professional

GET EBOOK

- Exploit the significant power of design patterns and make better design decisions with the proven POAD methodology - Improve software quality and reliability
Verified Software: Theories, Tools, Experiments
Language: en
Pages: 336
Authors: Rajeev Joshi
Categories: Computers
Type: BOOK - Published: 2012-01-10 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphi