Programming a Software Requirements-Specification Process

This publication has 15 references indexed in Scilit:

• Chiron-1: a user interface development system tailored to software environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A study of 12 specifications of the library problem
  IEEE Software, 1988
• A spiral model of software development and enhancement
  Computer, 1988
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• An overview of JSD
  IEEE Transactions on Software Engineering, 1986
• Object-oriented development
  IEEE Transactions on Software Engineering, 1986
• SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems
  IEEE Transactions on Software Engineering, 1986
• Testing Formal Specifications to Detect Design Errors
  IEEE Transactions on Software Engineering, 1985
• Structured Design Methodologies
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978
• PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems
  IEEE Transactions on Software Engineering, 1977