Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars
- Jessica Winkelmann
- Gabriele Taentzer
- et al.
- 2008
- Electronic Notes in Theoretical Computer Science
Paper
Publications
11 results at Electronic Notes in Theoretical Computer Science
The Role of Visual Modeling and Model Transformations in Business-driven Development
- Jana Koehler
- Rainer Hauser
- et al.
- 2008
- Electronic Notes in Theoretical Computer Science
PaperBPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning
- Ke Xu
- Ying Liu
- et al.
- 2008
- Electronic Notes in Theoretical Computer Science
PaperToward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ
- Shady Copty
- Shmuel Ur
- 2007
- Electronic Notes in Theoretical Computer Science
PaperReal-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
- Michael Backes
- 2006
- Electronic Notes in Theoretical Computer Science
PaperDefault theories over monadic languages
- Michael Kaminski
- Julia Mosin
- 2005
- Electronic Notes in Theoretical Computer Science
Conference paperToward a programming model for building reliable systems with distributed state
- John Field
- Carlos Varela
- 2003
- Electronic Notes in Theoretical Computer Science
Conference paperHypergeometric functions in Exact Geometric Computation
- Zilin Du
- Maria Eleftheriou
- et al.
- 2002
- Electronic Notes in Theoretical Computer Science
Conference paperModel checking the garbage collection mechanism of SMV
- Cindy Eisner
- 2001
- Electronic Notes in Theoretical Computer Science
Workshop paperModel checking semi-continuous time models using BDDs
- Sérgio Campos
- Márcio Teixeira
- et al.
- 2001
- Electronic Notes in Theoretical Computer Science
Workshop paper