|
|
Kevin Lano, Howard Haughton
ISBN: 9780130970152
Format: Paperback
Publisher:Pearson Education Limited
Write a review
This work aims to provide an introduction to the rapidly-growing area at the intersection of the fields of object-orientation and formal methods: formal approaches to system specification using object-oriented techniques.
Object-orientation and formal methods are widely regarded as two fields with significant potential for influence on the future of software engineering. This book aims to provide an introduction to the rapidly-growing area at the intersection of these fields: formal approaches to system specification using object-oriented techniques.
| ISBN | 0130970158 | | Pages | 272 | | ISBN13 | 9780130970152
(What's this?) | | Weight (grammes) | 377 | | Publisher | Pearson Education Limited | | Published in | Harlow | | Imprint | Prentice-Hall | | Series editor | Meyer, Bertrand | | Format | Paperback | | Series title | Prentice-Hall Object-Oriented S. | | Publication date | 01 Oct 1993 | | Height (mm) | 235 | | Library of Congress | QA76.64.O2 | | Width (mm) | 178 | | DEWEY | 005.133 | | Spine width (mm) | 13 | | DEWEY edition | DC20 | | Academic level | Professional / Scholarly |
|
| |
| | | Editor's Foreword | | | | | | Foreword | | | | | | Preface | | | | 1 | | Specification and Analysis Techniques in Object-oriented Methods by K. Lano and M. Tobin | | 1 | | 2 | | A Comparative Description of Object-oriented Specification Languages by K. Lano and H. Haughton | | 20 | | 3 | | Object-oriented Specification Languages in the Software Life Cycle by K. Lano and H. Haughton | | 55 | | 4 | | The Unix Filing System: A MooZ Specification by Silvio Lemos Meira and Cassio Souza Santos and Ana Lucia C. Cavalcanti | | 80 | | 5 | | An Object-Z Specification of a Mobile Phone System by Gordon Rose and Roger Duke | | 110 | | 6 | | Object-oriented Specification in VDM++ by Swapan Mitra | | 130 | | 7 | | Specifying a Concept-recognition System in Z[superscript ++] by K. Lano and H. Haughton | | 137 | | 8 | | Specification in OOZE with Examples by Antonio A. Alencar and Joseph A. Goguen | | 158 | | 9 | | Refinement in Fresco by Alan Wills | | 184 | | 10 | | SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk by Silvio Lemos Meira and Cassio Souza dos Santos | | 202 | | | | Glossary | | 219 | | | | Bibliography | | 222 | | | | Index | | 233 |
|
|
|
|
|
Enlarge
