OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling

DOI10.1007/978-3-642-28279-9_12zbMath1312.68228OpenAlexW1618795344MaRDI QIDQ3224006

Stephen W. Clyde, Stephen W. Liddle, David W. Embley, Scott N. Woodfield

Publication date: 9 March 2012

Published in: Conceptual Modelling and Its Theoretical Foundations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28279-9_12

Mathematics Subject Classification ID

Logic in computer science (03B70) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) General topics in the theory of data (68P01)

Cites Work

• Conceptual Modeling of Information Systems
• Foundations of Temporal Conceptual Data Models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling