References

  1. U. Aßmann (2003): Invasive software composition. Springer, doi:10.1007/978-3-662-05082-8.
  2. Franck Barbier, Pierre Castéran, Eric Cariou & Olivier le Goaer (2013): Adaptive Software based on Correct-by-Construction Metamodels. Progressions and Innovations in Model-Driven Software Engineering, pp. 308325, doi:10.4018/978-1-4666-4217-1.ch013.
  3. A. Basu, M. Bozga & J. Sifakis (2006): Modeling Heterogeneous Real-time Components in BIP. Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM06), doi:10.1109/sefm.2006.27.
  4. Artur Boronat & José Meseguer (2010): An algebraic semantics for MOF, volume=22, ISSN=1433-299X. Form Asp Comp 3, pp. 269296, doi:10.1007/s00165-009-0140-9.
  5. Achim D. Brucker & Burkhart Wolff (2002): A Proposal for a Formal OCL Semantics in Isabelle/HOL. Lecture Notes in Computer Science, doi:10.1007/3-540-45685-6_8.
  6. Achim D Brucker & Burkhart Wolff (2008): HOL-OCL: a formal proof environment for UML/OCL. In: Fundamental Approaches to Software Engineering. Springer, pp. 97–100, doi:10.1007/978-3-540-78743-3_8.
  7. María Victoria Cengarle, Hans Grönniger & Bernhard Rumpe (2009): Variability within Modeling Language Definitions. Lecture Notes in Computer Science, pp. 670684, doi:10.1007/978-3-642-04425-0_54.
  8. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martı-Oliet, José Meseguer & José F Quesada (2002): Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), pp. 187243, doi:10.1016/s0304-3975(01)00359-0.
  9. David Delahaye (2000): A Tactic Language for the System Coq. Lecture Notes in Artificial Intelligence, pp. 8595, doi:10.1007/3-540-44404-1_7.
  10. Mathieu Giorgino, Martin Strecker, Ralph Matthes & Marc Pantel (2011): Verification of the Schorr-Waite algorithm–From trees to graphs. In: Logic-Based Program Synthesis and Transformation. Springer, pp. 67–83, doi:10.1007/978-3-642-20551-4_5.
  11. Florian Heidenreich, Jakob Henriksson, Jendrik Johannes & Steffen Zschaler (2009): On Language-Independent Model Modularisation. In: Shmuel Katz, Harold Ossher, Robert France & Jean-Marc Jézéquel: Transactions on Aspect-Oriented Software Development VI, Lecture Notes in Computer Science 5560. Springer Berlin Heidelberg, pp. 39–82, doi:10.1007/978-3-642-03764-1_2.
  12. J. Henriksson, F. Heidenreich, J. Johannes, S. Zschaler & U. A\IeCß mann (2008): Extending grammars and metamodels for reuse: the Reuseware approach. IET Software 2(3), pp. 165, doi:10.1049/iet-sen:20070060.
  13. Jendrik Johannes (2010): Component-based model-driven software development.. Dresden University of Technology.
  14. Mounira Kezadri, Benoît Combemale, Marc Pantel & Xavier Thirioux (2012): A proof assistant based formalization of MDE components. Formal Aspects of Component Software, pp. 223240, doi:10.1007/978-3-642-35743-5_14.
  15. Thomas Kühne (2006): Matters of (Meta-) Modeling. Software and Systems Modeling 5(4), pp. 369385, doi:10.1007/s10270-006-0017-9.
  16. L. Lamport (1995): How to write a proof. The American mathematical monthly 102(7), pp. 600–608, doi:10.2307/2974556.
  17. Shahar Maoz, Jan Oliver Ringert & Bernhard Rumpe (2011): Semantically Configurable Consistency Analysis for Class and Object Diagrams. Lecture Notes in Computer Science, pp. 153167, doi:10.1007/978-3-642-24485-8_12.
  18. OMG (2011): OMG Meta Object Facility (MOF) Core Specification (Version 2.4.1). Available on: http://www.omg.org/spec/MOF/2.4.1 2.4.1.
  19. OMG (2012): OMG Object Constraint Language (OCL), Version 2.3.1. Available at http://www.omg.org/spec/OCL/2.3.1/.
  20. Celia Picard & Ralph Matthes (2011): Coinductive Graph Representation: the Problem of Embedded Lists. ECEASST 39. Available at http://journal.ub.tu-berlin.de/eceasst/article/view/649.
  21. Iman Poernomo (2006): The meta-object facility typed. Proceedings of the 2006 ACM symposium on Applied computing - SAC 06, doi:10.1145/1141277.1141710.
  22. Iman Poernomo (2008): Proofs-as-Model-Transformations. Lecture Notes in Computer Science, pp. 214228, doi:10.1007/978-3-540-69927-9_15.
  23. Iman Poernomo & Jeffrey Terrell (2010): Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. Lecture Notes in Computer Science, pp. 5673, doi:10.1007/978-3-642-16901-4_6.
  24. José Raúl Romero, José Eduardo Rivera, Francisco Durán & Antonio Vallecillo (2007): Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9), pp. 187–207, doi:10.5381/jot.2007.6.9.a10.
  25. X. Thirioux, B. Combemale, X. Crégut & P.L. Garoche (2007): A Framework to Formalise the MDE Foundations. In: Richard Paige & Jean Bézivin: International Workshop on Towers of Models (TOWERS), Zurich, pp. 14–30.
  26. Javier Troya & Antonio Vallecillo (2010): Towards a Rewriting Logic Semantics for ATL. Lecture Notes in Computer Science, pp. 230244, doi:10.1007/978-3-642-13688-7_16.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org