An Interactive Tool for Refining Software Specifications from a Formal Domain Model
Gary L. Anderson
Broschiertes Buch

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

Versandkostenfrei!
Versandfertig in über 4 Wochen
59,99 €
inkl. MwSt.
PAYBACK Punkte
30 °P sammeln!
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 manipulate the required objects to form a customized specification. The ...