Rapid prototyping using executable requirements specifications

This publication has 5 references indexed in Scilit:

• Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them
  IEEE Transactions on Software Engineering, 1985
• The Design of a Family of Application-Oriented Requirements Languages
  Computer, 1982
• The automatic generation and execution of function test plans for electronic switching systems
  Published by Association for Computing Machinery (ACM) ,1978
• PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems
  IEEE Transactions on Software Engineering, 1977
• Structured Analysis for Requirements Definition
  IEEE Transactions on Software Engineering, 1977