Sign in
OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling.
Stephen W. Clyde
David W. Embley
Stephen W. Liddle
Scott N. Woodfield
Published in:
Conceptual Modelling and Its Theoretical Foundations (2012)
Keyphrases
</>
object oriented systems
object oriented design
object oriented
software engineering
logical framework
software maintenance
artificial intelligence
source code
software systems
modeling method
multi agent
knowledge representation
logic programming
operational semantics