โ Scribed by Kevin Lano BSc, MSc, PhD (auth.)
No coin nor oath required. For personal study only.
Formal Object-Oriented Development provides a comprehensive overview of the use of formal object-oriented methods; it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing deveopmental practices.
The text is extensively illustrated, both with tutorial and self-assessment excercises and with examples of industrial applications from the reactive systems domain. This book will be of interest to academic and industrial researchers, software engineering practitioners and consultants, and will also provide invaluable reading material for students learning Z++ and VDM++.
Front Matter....Pages i-xiii
Introduction....Pages 1-14
The Software Development Process....Pages 15-43
From Analysis to Formal Specification....Pages 44-83
Specification Notations and Techniques....Pages 84-136
Design and Refinement....Pages 137-175
Proof Methods and Techniques....Pages 176-218
Concurrent and Real-time Behaviour....Pages 219-256
Implementation and Code Generation....Pages 257-285
Case Studies....Pages 286-313
Back Matter....Pages 314-422
Software Engineering; Mathematical Logic and Formal Languages
๐ SIMILAR VOLUMES
I have read your editorial and I am very much happy to read that.I thought that this book must be good one.
There is more to "object-oriented" than application programming. Object-oriented methods have revolutionized the way analysts, designers, software engineers, project managers, and tool builders construct entire software systems. Object-Oriented System Development will help you to better understand
This is a good book for a very general overview of object oriented systems development. It does not refer to any particular language, so I don't know why the other reviewer said it included C++. This book is good but a better book is Criag Larman's "Applying UML and Patterns".
Addresses how program teams can develop complex entertainment software within the constraints of deadlines, budgets and changing technologies. Topics covered in the book include writing reusable code; writing multi-platform titles efficiently and using iterative techniques in programming.