ENGLISH

Formal Object-Oriented Development

By PhD (auth.) , MSc , Kevin Lano BSc

Book information

Publisher
Springer-Verlag London
Year
1995
ISBN
978-3-540-19978-6, 978-1-4471-3073-4
DOI
10.1007/978-1-4471-3073-4
Language
english
Format
PDF
Filesize
24 MB (25398880 bytes)
Series
Formal Approaches to Computing and Information Technology FACIT
Edition
1
Pages
422\434
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Software Engineering; Mathematical Logic and Forma

Description

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++.

Similar books