Real-time constraints in a rapid prototyping language

This publication has 19 references indexed in Scilit:

• A prototyping language for real-time software
  IEEE Transactions on Software Engineering, 1988
• Rapidly prototyping real-time systems
  IEEE Software, 1988
• On synchronization in hard-real-time systems
  Communications of the ACM, 1988
• A computer-aided prototyping system
  IEEE Software, 1988
• Knowledge-based support for rapid software prototyping
  IEEE Expert, 1988
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986
• Real-Time Euclid: A language for reliable real-time systems
  IEEE Transactions on Software Engineering, 1986
• Requirements-based testing of real-time systems: Modeling for testability
  Computer, 1985
• An Operational Approach to Requirements Specification for Embedded Systems
  IEEE Transactions on Software Engineering, 1982
• Specifying Software Requirements for Complex Systems: New Techniques and Their Application
  IEEE Transactions on Software Engineering, 1980