Object-oriented specification case studies / edited by K. Lano and H. Haughton.
Contributor(s): Lano, K | Haughton, H.
Material type: BookSeries: Prentice Hall object-oriented series.Publisher: New York : Prentice Hall, 1994Description: xx, 236 p. : ill. ; 24 cm.ISBN: 0130970158 .Subject(s): Object-oriented programming (Computer science) -- Case studies | Computer software -- Development -- Case studiesDDC classification: 005.12Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00013454 |
Total holds: 0
Enhanced descriptions from Syndetics:
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.
Includes bibliographical references (p. 222-232) and index..