ask others

AMMSE 2011

> Home > Series

- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1106-5962
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1106-5962
Francisco Durán, Vlad Rusu:
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. EPTCS 56, 2011
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1107-0063
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0063
Peter Csaba Ölveczky:
Formal Model Engineering for Embedded Systems Using Real-Time Maude. 3-13
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1107-0064
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0064
Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju:
Rascal: From Algebraic Specification to Meta-Programming. 15-32
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1107-0065
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0065
Bertrand Boisvert, Louis Féraud, Sergei Soloviev:
Typed lambda-terms in categorical attributed graph transformation. 33-47
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1107-0066
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0066
Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera:
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies. 49-63
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1107-0067
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0067
Suzana Andova, Mark van den Brand, Luc Engelen:
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. 65-79
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1107-0068
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1107-0068
Francisco Durán, Martin Gogolla, Manuel Roldán:
Tracing Properties of UML and OCL Models with Maude. 81-97

maintained by

, founded at