Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering

Francisco Durán, Vlad Rusu

Over the past years there has been quite a lot of activity in the algebraic community about using algebraic methods for providing support to model-driven software engineering. The…