A methodology for an incremental, logical specification of real-time systems

This publication has 11 references indexed in Scilit:

• TRIO, a logic formalism for the specification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Dealing with different time granularities in formal specifications of real-time systems
  Real-Time Systems, 1991
• TRIO: A logic language for executable specifications of real-time systems
  Journal of Systems and Software, 1990
• A taxonomy of part-whole relations
  Cognitive Science, 1987
• Composite object support in an object-oriented database system
  Published by Association for Computing Machinery (ACM) ,1987
• Database theory—past and future
  Published by Association for Computing Machinery (ACM) ,1987
• RT-ASLAN: A specification language for real-time systems
  IEEE Transactions on Software Engineering, 1986
• Knowledge Representation as the Basis for Requirements Specifications
  Computer, 1985
• What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks
  Computer, 1983
• Determining Type, Part, Color, and Time Relationships
  Computer, 1983