EPTCS 56 - AMMSE 2011
Francisco Durán, Vlad Rusu (Eds.): Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering. 2011 EPTCS 56 [ contents ]- Peter Csaba Ölveczky: Formal Model Engineering for Embedded Systems Using Real-Time Maude. ... 3-13
- Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju: Rascal: From Algebraic Specification to Meta-Programming. ... 15-32
- Bertrand Boisvert, Louis Féraud, Sergei Soloviev: Typed lambda-terms in categorical attributed graph transformation. ... 33-47
- Francisco Durán, Peter Csaba Ölveczky, José Eduardo Rivera: Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies. ... 49-63
- 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
- Francisco Durán, Martin Gogolla, Manuel Roldán: Tracing Properties of UML and OCL Models with Maude. ... 81-97
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team