Take a photo of a barcode or cover
126 pages • missing pub info (view editions)
ISBN/UID: 9781249586197
Format: Paperback
Language: English
Publisher: Biblioscholar
Edition Pub Date: 03 October 2012
Description
This work examines the process for refining a software specification from a formal object-oriented domain model. This process was implemented with interactive software to demonstrate the feasibility and benefits of automating what has been a tedio...
Community Reviews
Content Warnings
126 pages • missing pub info (view editions)
ISBN/UID: 9781249586197
Format: Paperback
Language: English
Publisher: Biblioscholar
Edition Pub Date: 03 October 2012
Description
This work examines the process for refining a software specification from a formal object-oriented domain model. This process was implemented with interactive software to demonstrate the feasibility and benefits of automating what has been a tedio...
Community Reviews
Content Warnings