Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a new "silver bullet". Surprisin...
Main Authors: | Zinovy Diskin, Tom Maibaum |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2012-08-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1209.1433v1 |
Similar Items
-
Differences in the formalization of the semantic category of definiteness / indefiniteness
by: Danuta Roszko, et al.
Published: (2015-11-01) -
Formal theory of internal categories
by: Renato Betti
Published: (1996-12-01) -
Formal category theory : adjointness for 2-Cartegories /
by: Gray, John W. (John Walker), 1931-
Published: (1974) -
Semantic model driven engineering
by: Milward, D
Published: (2020) -
Conformance theory development: semantics, formal models, algorithms
by: Igor Burdonov, et al.
Published: (2018-10-01)