Model-based software design
Year: 1992
Type: article
Abstract: Domain-specific knowledge is required to create specifications, generate code, and understand existing systems. Our approach to automating software design is based on instantiating an application domain model with industry-specific knowledge and then using that model to achieve the operational goals of specification elicitation and verification, reverse engineering, and code generation. Although many different specification models can be created from any particular domain model, each specification model is consistent and correct with respect to the domain model.
Authors: Neil Iscoe, Zhengyang Liu, Guohui Feng, Britt Yenne, Larry Vansickle, Michael Ballantyne
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W787679314
