Skip to main content alibris logo

An Interactive Tool for Refining Software Specifications from a Formal Domain Model

by

Write The First Customer Review
An Interactive Tool for Refining Software Specifications from a Formal Domain Model - Anderson, Gary L, Dr.
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency
Browse related Subjects
+ Browse All Subjects

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 tedious and often error-prone manual task. The refinement process operates within the framework of a larger Knowledge-Based Software Engineering system. A generic object-oriented representation is used to store a domain model, which allows the specification tool to access, select, and ...

loading
An Interactive Tool for Refining Software Specifications from a Formal Domain Model 2012, Biblioscholar

ISBN-13: 9781249586197

Trade paperback