Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
Zinovy DiskinT. S. E. MaibaumPublished in: ACCAT (2012)
Keyphrases
- formal semantics
- design patterns
- model driven engineering
- design rationale
- software engineering
- metamodel
- speech acts
- modeling language
- model driven
- model driven architecture
- software design
- object oriented
- logical language
- object oriented software
- design principles
- software architecture
- modelling language
- software systems
- first order logic
- owl dl ontology
- theorem prover
- artificial intelligence
- knowledge management
- learning process
- case study
- web services