AutomatedFormal Verification of Model Tranformations
暂无分享,去创建一个
[1] Reiko Heckel,et al. Consistency-Preserving Model Evolution through Transformations , 2002, UML.
[2] Jon Whittle. Transformations and Software Modeling Languages: Automating Transformations in UML , 2002, UML.
[3] Heinrich Hussmann,et al. Experiments with XMI Based Transformations of Software Models , 2001 .
[4] Andy Schürr,et al. Specification of Graph Translators with Triple Graph Grammars , 1994, WG.
[5] Luciano Baresi,et al. On Formalizing UML with High-Level Petri Nets , 2001, Concurrent Object-Oriented Programming and Petri Nets.
[6] Reiko Heckel,et al. Extended Model Relations with Graphical Consistency Conditions , 2002 .
[7] Reiko Heckel,et al. Confluence of Typed Attributed Graph Transformation Systems , 2002, ICGT.
[8] Stuart Kent,et al. A Relational Approach to Defining Transformations in a Metamodel , 2002, UML.
[9] Reiko Heckel,et al. Defining and validating transformations of UML models , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.
[10] Juan de Lara,et al. AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.
[11] César Muñoz,et al. An Overview of SAL , 2000 .
[12] Dragan Milicev,et al. Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environments , 2002, IEEE Trans. Software Eng..
[13] Dániel Varró,et al. CheckVML: A Tool for Model Checking Visual Modeling Languages , 2003, UML.
[14] Dániel Varró,et al. Automated formal verification of visual modeling languages by model checking , 2004, Software & Systems Modeling.
[15] Dániel Varró,et al. VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[16] Jean Bézivin,et al. MTRANS : A general framework , based on XSLT , for model transformations , 2001 .
[17] Diego Latella,et al. Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker , 1999, Formal Aspects of Computing.
[18] Diego Latella,et al. Dependability analysis in the early phases of UML-based system design , 2001, Comput. Syst. Sci. Eng..
[19] Reiko Heckel,et al. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model , 2001, UML.
[20] István Majzik,et al. Quantitative analysis of dependability critical systems based on UML statechart models , 2000, HASE.
[21] Dániel Varró,et al. Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models , 2002, UML.
[22] Dániel Varró,et al. A Formal Semantics of UML Statecharts by Model Transition Systems , 2002, ICGT.
[23] Hartmut Ehrig,et al. On Formal Semantics and Integration of Object-Oriented Modeling Languages , 2000, Bull. EATCS.
[24] András Pataricza,et al. Semi-decisions in the validation of dependable systems 1 , 2001 .
[25] Dániel Varró,et al. Designing the automatic transformation of visual languages , 2002, Sci. Comput. Program..