A Requirements Modeling Language and Its Logic

This publication has 14 references indexed in Scilit:

• Maintaining knowledge about temporal intervals
  Communications of the ACM, 1983
• Operational specification as the basis for rapid prototyping
  ACM SIGSOFT Software Engineering Notes, 1982
• The temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1981
• Temporal aspects of logical procedure definition
  Information Systems, 1980
• Data and activities
  ACM SIGMOD Record, 1980
• A language facility for designing database-intensive applications
  ACM Transactions on Database Systems, 1980
• CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications
  IEEE Transactions on Software Engineering, 1979
• Database abstractions
  ACM Transactions on Database Systems, 1977
• The Proper Treatment of Quantification in Ordinary English
  Published by Springer Nature ,1973
• Temporal Logic
  Published by Springer Nature ,1971