NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Knowledge-based requirements analysis for automating software developmentWe present a new software development paradigm that automates the derivation of implementations from requirements. In this paradigm, informally-stated requirements are expressed in a domain-specific requirements specification language. This language is machine-understable and requirements expressed in it are captured in a knowledge base. Once the requirements are captured, more detailed specifications and eventually implementations are derived by the system using transformational synthesis. A key characteristic of the process is that the required human intervention is in the form of providing problem- and domain-specific engineering knowledge, not in writing detailed implementations. We describe a prototype system that applies the paradigm in the realm of communication engineering: the prototype automatically generates implementations of buffers following analysis of the requirements on each buffer.
Document ID
19940004386
Document Type
Other
Authors
Markosian, Lawrence Z. (Reasoning Systems, Inc. Palo Alto, CA, United States)
Date Acquired
August 16, 2013
Publication Date
November 1, 1988
Publication Information
Publication: Research Inst. for Computing and Information Systems, RICIS 1988 Symposium
Subject Category
COMPUTER PROGRAMMING AND SOFTWARE
Funding Number(s)
CONTRACT_GRANT: N00039-86-C-0221
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry