Integrating domain knowledge, requirements, and specifications

This publication has 16 references indexed in Scilit:

• Deriving specification from requirements
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The use of scenarios for the development and validation of specifications
  Published by American Institute of Aeronautics and Astronautics (AIAA) ,1989
• Integrating multiple specifications using domain goals
  Published by Association for Computing Machinery (ACM) ,1989
• A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition
  Published by Association for Computing Machinery (ACM) ,1989
• Constructing specifications by combining parallel elaborations
  IEEE Transactions on Software Engineering, 1989
• Declarative approach to information systems requirements
  Knowledge-Based Systems, 1988
• The FAA's Advanced Automation System: Strategies for Future Air Traffic Control Systems
  Computer, 1987
• Kestrel Institute
  Published by Elsevier ,1986
• Research on Knowledge-Based Software Environments at Kestrel Institute
  IEEE Transactions on Software Engineering, 1985
• Knowledge Representation as the Basis for Requirements Specifications
  Computer, 1985