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

Francisco Duran Vlad Rusu 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Francisco Durán and Vlad Rusu. 56, Electronic Proceedings in Theoretical Computer Science, pp.97, 2011, 〈10.4204/EPTCS.56〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00644190
Contributeur : Mister Dart <>
Soumis le : mercredi 23 novembre 2011 - 17:56:20
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

Collections

Citation

Francisco Duran, Vlad Rusu. Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering. Francisco Durán and Vlad Rusu. 56, Electronic Proceedings in Theoretical Computer Science, pp.97, 2011, 〈10.4204/EPTCS.56〉. 〈hal-00644190〉

Partager

Métriques

Consultations de la notice

147