Computer Science – Software Engineering
Scientific paper
2011-06-29
Computer Science
Software Engineering
EPTCS 56, 2011
Scientific paper
10.4204/EPTCS.56
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 aim of this workshop is to gather researchers working on the development and application of algebraic methods to provide rigorous support to model-based software engineering. The topics relevant to the workshop are all those related to the use of algebraic methods in software engineering, including but not limited to: formally specifying and verifying model-based software engineering concepts and related ones (MDE, UML, OCL, MOF, DSLs, ...); tool support for the above; integration of formal and informal methods; and theoretical frameworks (algebraic, rewriting-based, category theory-based, ...). The workshop's main goal is to examine, discuss, and relate the existing projects within the algebraic community that address common open-issues in model-driven software engineering.
Durán Francisco
Rusu Vlad
No associations
LandOfFree
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-359506