Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

TitleCategory Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
Publication TypeConference Proceedings
Year of Publication2012
AuthorsDiskin, Z., and T. Maibaum
Conference Name7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012)
Series TitleEPTCS
Date PublishedTo appear
URLhttp://forthcoming.eptcs.org/
DOI10.4204/EPTCS
Refereed DesignationRefereed
AttachmentSize
Accat12-paper7.pdf617.24 KB