Aries: The Requirements/specification Facet For Kbsa
Abstract
This report describes a knowledge-based assistant for Acquisition of Requirements and Incremental Evolution of Specifications (ARIES). ARIES is a system developed by the University of Southern California Information Sciences Institute and Lockheed Sanders to address the needs of the Knowledge-Based Software Assistant (KBSA) for the early phases of a system life cycle. ARIES supports the evolutionary development of formal system specifications in a multi-presentational environment in which informal application requirements are captured and elaborated using representations familiar to users and applications engineers. ARIES, through the formalization of activities and creation of a knowledge base, enables extensive machine support for evaluation and reuse of system design artifacts. The concepts explored in this effort will be of interest to anyone interested in: (1) what lies ahead for computer aided software engineering; (2) identifying the key issues for automating the software development process; (3) the value of knowledge-based approaches to formal system development; and (4) the benefits of having a wide spectrum of representations available to the design process.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 1992
- Accession Number
- ADA260944
Entities
People
- David R. Harris
- Kevin M. Benner
- Martin S. Feather
- W. L. Johnson
Organizations
- University of Southern California