Towards object-oriented conceptual modeling

This publication has 18 references indexed in Scilit:

• Temporal Reasoning over Deontic Specifications
  Journal of Logic and Computation, 1991
• Describing, structuring and implementing objects
  Published by Springer Nature ,1991
• Logics of Modal Terms for Systems Specification
  Journal of Logic and Computation, 1990
• Specification and verification of database dynamics
  Acta Informatica, 1988
• The INFOLOG linear tense propositional logic of events and transactions
  Information Systems, 1986
• An algebraic model of sybtypes in object-oriented languages (draft)
  ACM SIGPLAN Notices, 1986
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976
• OBJECTS
  International Journal of General Systems, 1974