Formal Object-Oriented Development by Kevin Lano
An 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 developmental practices.-
The B Language and Method
-
Formal Methods and Object Technology
-
Proof in VDM: Case Studies
-
A Theory and Practice of Program Development
-
Formal Methods in Human-Computer Interaction
-
Software Specification Methods
-
Specification Case Studies in RAISE
-
Industrial-Strength Formal Methods in Practice
-
Program Development by Refinement
-
On the Refinement Calculus
-
Proof in VDM: A Practitioner’s Guide
-
Notations for Software Design
-
High-Integrity System Specification and Design
-
Systems, Models and Measures
KEVIN LANO is a Lecturer in the Department of Computer Science, King's College, University of London. He has also taught at Imperial College. JOSE LUIZ FIADEIRO is Professor at the University of Leicester. He has extensive experience in lecturing, and has over 100 published papers. LUIS FILIPE DE ANDRADE is founding partner and President of ATX Software SA, a company at the leading edge of international research and development in the area of co-ordination based software development.
| SKU | Unavailable |
| ISBN 13 | 9783540199786 |
| ISBN 10 | 3540199780 |
| Title | Formal Object-Oriented Development |
| Author | Kevin Lano |
| Series | Formal Approaches To Computing And Information Technology |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1995-10-25 |
| Number of pages | 422 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |