@proceedings {466, title = {Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond}, journal = {7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS{\textquoteright}2012)}, year = {2012}, month = {To appear}, doi = {10.4204/EPTCS}, url = {http://forthcoming.eptcs.org/}, attachments = {http://gsd.uwaterloo.ca/sites/default/files/Accat12-paper7.pdf}, author = {Diskin, Zinovy and Tom Maibaum} }