On the use of a formal requirements engineering language: The Generalized Railroad Crossing Problem

This publication has 16 references indexed in Scilit:

• Application modelling in heterogeneous environments using an object specification language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Specification and verification of reactive system behaviour: The Railroad Crossing example
  Real-Time Systems, 1996
• On the frame problem in procedure specifications
  IEEE Transactions on Software Engineering, 1995
• A Guided Tour through the ICARUS Project
  ACM SIGSOFT Software Engineering Notes, 1995
• Object-oriented logical specification of time-critical systems
  ACM Transactions on Software Engineering and Methodology, 1994
• Towards a duration calculus proof assistant in PVS
  Published by Springer Nature ,1994
• The generalized railroad crossing: a case study in formal verification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Goal-directed requirements acquisition
  Science of Computer Programming, 1993
• Language support for the specification and development of composite systems
  ACM Transactions on Programming Languages and Systems, 1987
• A requirements modeling language and its logic
  Information Systems, 1986