Formal Specification and Analysis of Domain Specific Models Using Maude
暂无分享,去创建一个
[1] Juan de Lara,et al. Automatic Generation of Model-to-Model Transformations from Rule-Based Specifications of Operational Semantics , 2007 .
[2] Antonio Vallecillo,et al. Adding Behavioral Semantics to Models , 2007 .
[3] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..
[4] Antonio Vallecillo,et al. Invariant-Driven Strategies for Maude , 2005, Electron. Notes Theor. Comput. Sci..
[5] Peter Csaba Ölveczky,et al. The Maude Formal Tool Environment , 2007, CALCO.
[6] Reiko Heckel,et al. Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.
[7] Juan de Lara,et al. Analysing Graph Transformation Rules through OCL , 2008, ICMT@TOOLS.
[8] Thomas Baar,et al. Semantics of OCL specified with QVT , 2008, Software & Systems Modeling.
[9] Antonio Vallecillo,et al. Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude , 2009, SLE.
[10] Gabor Karsai,et al. Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[11] Luciano Baresi,et al. On the Use of Alloy to Analyze Graph Transformation Systems , 2006, ICGT.
[12] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.
[13] Juan de Lara,et al. Translating Model Simulators to Analysis Models , 2008, FASE.
[14] Sherif Abdelwahed,et al. Semantic Anchoring with Model Transformations , 2005, ECMDA-FA.
[15] Chokri Mraidha,et al. Enhancing UML extensions with operational semantics behaviored profiles with templates , 2007, MODELS'07.
[16] Albert Zündorf,et al. Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java , 1998, TAGT.
[17] Artur Boronat,et al. Automatic Support for Traceability in a Generic Model Management Framework , 2005, ECMDA-FA.
[18] José Meseguer,et al. The Maude LTL Model Checker , 2004, WRLA.
[19] Alberto Verdejo,et al. Deduction, Strategies, and Rewriting , 2007, STRATEGIES@IJCAR.
[20] José Meseguer,et al. Equational abstractions , 2008, Theor. Comput. Sci..
[21] Juan de Lara,et al. Defining visual notations and their manipulation through meta-modelling and graph transformation , 2004, J. Vis. Lang. Comput..
[22] Reiko Heckel,et al. Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML , 2000, UML.
[23] Martin Gogolla,et al. Realizing Graph Transformations by Pre- and Postconditions and Command Sequences , 2006, ICGT.
[24] Artur Boronat,et al. Algebraic Specification of a Model Transformation Engine , 2006, FASE.
[25] Jean Bézivin,et al. On the unification power of models , 2005, Software & Systems Modeling.
[26] Narciso Martí-Oliet,et al. Rewriting Logic as a Logical and Semantic Framework , 1996 .
[27] Bernhard Rumpe,et al. Meaningful modeling: what's the semantics of "semantics"? , 2004, Computer.
[28] Artur Boronat,et al. An algebraic semantics for MOF , 2009, Formal Aspects of Computing.
[29] Andrea Corradini,et al. A Static Analysis Technique for Graph Transformation Systems , 2001, CONCUR.
[30] Narciso Martí-Oliet,et al. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.
[31] Dániel Varró,et al. Automated formal verification of visual modeling languages by model checking , 2004, Software & Systems Modeling.
[32] José Meseguer,et al. Rewriting logic: roadmap and bibliography , 2002, Theor. Comput. Sci..
[33] Jean-Marc Jézéquel,et al. Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.
[34] Jean Bézivin,et al. KM3: A DSL for Metamodel Specification , 2006, FMOODS.
[35] Antonio Vallecillo,et al. Formal and Tool Support for Model Driven Engineering with Maude , 2007, J. Object Technol..
[36] A. G. Kleppe,et al. A Language Description is More than a Metamodel , 2007 .
[37] Juan de Lara,et al. AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.
[38] Antonio Vallecillo,et al. Adding Behavior to Models , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).
[39] MeseguerJosé. Conditional rewriting logic as a unified model of concurrency , 1992 .
[40] José Meseguer,et al. Specification and proof in membership equational logic , 2000, Theor. Comput. Sci..
[41] Iman Poernomo,et al. The meta-object facility typed , 2006, SAC.
[42] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .
[43] Iman Poernomo. Proofs-as-Model-Transformations , 2008, ICMT@TOOLS.