Formal specification of object systems

This publication has 21 references indexed in Scilit:

• The Object-Oriented Database System Manifesto
  Published by Elsevier ,1990
• The Software Development Environment as a Knowledge Base Management System
  Published by Springer Nature ,1989
• Algebraische Spezifikation abstrakter Datentypen
  Published by Springer Nature ,1989
• IFO: a formal semantic database model
  ACM Transactions on Database Systems, 1987
• GALILEO: a strongly-typed, interactive conceptual language
  ACM Transactions on Database Systems, 1985
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• The Munich Project CIP
  Lecture Notes in Computer Science, 1985
• On Conceptual Modelling
  Published by Springer Nature ,1984
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976