The KBSA Requirements/specification Facet: ARIES
- 1 January 1991
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10683062,p. 48-56
- https://doi.org/10.1109/kbse.1991.638020
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- STATEMATE: a working environment for the development of complex reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Deriving specification from requirementsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Applying domain and design knowledge to requirements engineeringACM SIGOIS Bulletin, 1992
- Integrating domain knowledge, requirements, and specificationsJournal of Systems Integration, 1991
- The Requirements Apprentice: automated assistance for requirements acquisitionIEEE Transactions on Software Engineering, 1991
- The use of scenarios for the development and validation of specificationsPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1989
- Integrating multiple specifications using domain goalsPublished by Association for Computing Machinery (ACM) ,1989
- A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisitionPublished by Association for Computing Machinery (ACM) ,1989
- Constructing specifications by combining parallel elaborationsIEEE Transactions on Software Engineering, 1989
- A proposed perspective shift: viewing specification design as a planning problemPublished by Association for Computing Machinery (ACM) ,1989