Sign in
AMMSE
2011
2011
2011
Keyphrases
Publications
2011
Jeroen van den Bos
,
Mark Hills
,
Paul Klint
,
Tijs van der Storm
,
Jurgen J. Vinju
Rascal: From Algebraic Specification to Meta-Programming
AMMSE
(2011)
Peter Csaba Ölveczky
Formal Model Engineering for Embedded Systems Using Real-Time Maude
AMMSE
(2011)
Bertrand Boisvert
,
Louis Féraud
,
Sergei Soloviev
Typed lambda-terms in categorical attributed graph transformation
AMMSE
(2011)
Suzana Andova
,
Mark van den Brand
,
Luc Engelen
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
AMMSE
(2011)
Francisco Durán
,
Peter Csaba Ölveczky
,
José Eduardo Rivera
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
AMMSE
(2011)
Francisco Durán
,
Martin Gogolla
,
Manuel Roldán
Tracing Properties of UML and OCL Models with Maude
AMMSE
(2011)
volume 56, 2011
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011.
AMMSE
56 (2011)