High-Integrity Model-Based Development

[1]  K. Lano,et al.  Comparing verification techniques for model transformations , 2012, MoDeVVa '12.

[2]  Kevin Lano,et al.  Solving the TTC 2011 Model Migration Case with UML-RSDS , 2011, TTC.

[3]  Martin Gogolla,et al.  On validation of ATL transformation rules by transformation models , 2011, MoDeVVa.

[4]  Soichiro Hidaka,et al.  Graph-transformation verification using monadic second-order logic , 2011, PPDP.

[5]  Kevin Lano,et al.  Model-Driven Development of Model Transformations , 2011, ICMT@TOOLS.

[6]  Luís Ferreira Pires,et al.  Performance in Model Transformations: Experiments with ATL and QVT , 2011, ICMT@TOOLS.

[7]  Iman Poernomo,et al.  Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq , 2010, ICFEM.

[8]  Nora Szasz,et al.  A Type-Theoretic Framework for Certified Model Transformations , 2010, SBMF.

[9]  Kevin Lano,et al.  Specification and Verification of Model Transformations Using UML-RSDS , 2010, IFM.

[10]  Juan de Lara,et al.  transML: a family of languages to model model transformations , 2010, MODELS'10.

[11]  Marina Egea,et al.  Formal executable semantics for conformance in the MDE framework , 2010, Innovations in Systems and Software Engineering.

[12]  Juan de Lara,et al.  Verification and validation of declarative model-to-model transformations through invariants , 2010, J. Syst. Softw..

[13]  Arend Rensink,et al.  Repotting the Geraniums: On Nested Graph Transformation Rules , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[14]  Hartmut Ehrig,et al.  Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation , 2009, CALCO.

[15]  Reiko Heckel,et al.  Rewriting Logic Semantics and Verification of Model Transformations , 2009, FASE.

[16]  Kevin Lano,et al.  A compositional semantics of UML-RSDS , 2009, Software & Systems Modeling.

[17]  Michael Felderer,et al.  Querying UML Models using OCL and Prolog: A Performance Study , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[18]  Achim D. Brucker,et al.  HOL-OCL: A Formal Proof Environment for UML/OCL , 2008, FASE.

[19]  Thomas Baar,et al.  A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules , 2006, Ershov Memorial Conference.

[20]  Martin Gogolla,et al.  Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.

[21]  Martin Gogolla,et al.  On Formalizing the UML Object Constraint Language OCL , 1998, ER.

[22]  Kevin Lano,et al.  Slicing Techniques for UML Models , 2011, J. Object Technol..

[23]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

[24]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .