Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2011

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

Résumé

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.

Dates et versions

hal-00644190 , version 1 (23-11-2011)

Identifiants

Citer

Francisco Duran, Vlad Rusu (Dir.). Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering. Francisco Durán and Vlad Rusu. Electronic Proceedings in Theoretical Computer Science, 56, pp.97, 2011, ⟨10.4204/EPTCS.56⟩. ⟨hal-00644190⟩
73 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More