Object-Oriented Specification Case Studies

By K. Lano

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.

• Format: Paperback
• Language: English
• ISBN: 0130970158
• ISBN13: 9780130970152
• Release Date: December 1969
• Publisher: Prentice Hall
• Length: 272 Pages
• Weight: 0.84 lbs.
• Dimensions: 0.5" x 6.8" x 9.2"