@book(assmann2003invasive, author = "U. A{\ss }mann", year = "2003", title = "Invasive software composition", publisher = "Springer", doi = "10.1007/978-3-662-05082-8", ) @article(barbierhal00840748, author = "Franck Barbier and Pierre Cast\IeC {\'e}ran and Eric Cariou and Olivier le Goaer", year = "2013", title = "{Adaptive Software based on Correct-by-Construction Metamodels}", journal = "Progressions and Innovations in Model-Driven Software Engineering", pages = "308\IeC {\textendash }325", doi = "10.4018/978-1-4666-4217-1.ch013", ) @article(basu2006modeling, author = "A. Basu and M. Bozga and J. Sifakis", year = "2006", title = "Modeling Heterogeneous Real-time Components in BIP", journal = "Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM\IeC {\textquoteright }06)", doi = "10.1109/sefm.2006.27", ) @article(DBLP:journals/fac/BoronatM10, author = "Artur Boronat and Jos\IeC {\'e} Meseguer", year = "2010", title = "{An algebraic semantics for MOF}, volume={22}, ISSN={1433-299X}", journal = "Form Asp Comp", number = "3", pages = "269\IeC {\textendash }296", doi = "10.1007/s00165-009-0140-9", ) @article(brucker2002proposal, author = "Achim D. Brucker and Burkhart Wolff", year = "2002", title = "{A Proposal for a Formal OCL Semantics in Isabelle/HOL}", journal = "Lecture Notes in Computer Science", doi = "10.1007/3-540-45685-6\_8", ) @incollection(brucker2008hol, author = "Achim D Brucker and Burkhart Wolff", year = "2008", title = "{HOL-OCL: a formal proof environment for UML/OCL}", booktitle = "Fundamental Approaches to Software Engineering", publisher = "Springer", pages = "97--100", doi = "10.1007/978-3-540-78743-3\_8", ) @article(cengarle2008system, author = "Mar\IeC {\'\i }a Victoria Cengarle and Hans Gr\IeC {\"o}nniger and Bernhard Rumpe", year = "2009", title = "{Variability within Modeling Language Definitions}", journal = "Lecture Notes in Computer Science", pages = "670\IeC {\textendash }684", doi = "10.1007/978-3-642-04425-0\_54", ) @article(clavel2002maude, author = "Manuel Clavel and Francisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\i }-Oliet and Jos{\'e} Meseguer and Jos{\'e} F Quesada", year = "2002", title = "Maude: specification and programming in rewriting logic", journal = "Theoretical Computer Science", volume = "285", number = "2", pages = "187\IeC {\textendash }243", doi = "10.1016/s0304-3975(01)00359-0", ) @article(delahaye2000tactic, author = "David Delahaye", year = "2000", title = "A Tactic Language for the System Coq", journal = "Lecture Notes in Artificial Intelligence", pages = "85\IeC {\textendash }95", doi = "10.1007/3-540-44404-1\_7", ) @incollection(giorgino2011verification, author = "Mathieu Giorgino and Martin Strecker and Ralph Matthes and Marc Pantel", year = "2011", title = "{Verification of the Schorr-Waite algorithm--From trees to graphs}", booktitle = "Logic-Based Program Synthesis and Transformation", publisher = "Springer", pages = "67--83", doi = "10.1007/978-3-642-20551-4\_5", ) @incollection(Heidenreich2009, author = "Florian Heidenreich and Jakob Henriksson and Jendrik Johannes and Steffen Zschaler", year = "2009", title = "{On Language-Independent Model Modularisation}", editor = "Shmuel Katz and Harold Ossher and Robert France and Jean-Marc J\IeC {\'e}z\IeC {\'e}quel", booktitle = "Transactions on Aspect-Oriented Software Development VI", series = "Lecture Notes in Computer Science", volume = "5560", publisher = "Springer Berlin Heidelberg", pages = "39--82", doi = "10.1007/978-3-642-03764-1\_2", ) @article(henriksson2008extending, author = "J. Henriksson and F. Heidenreich and J. Johannes and S. Zschaler and U. A\IeC {\ss }mann", year = "2008", title = "{Extending grammars and metamodels for reuse: the Reuseware approach}", journal = "IET Software", volume = "2", number = "3", pages = "165", doi = "10.1049/iet-sen:20070060", ) @phdthesis(johannes2010component, author = "Jendrik Johannes", year = "2010", title = "Component-based model-driven software development.", school = "Dresden University of Technology", ) @article(kezadri2011proof, author = "Mounira Kezadri and Beno\IeC {\^\i }t Combemale and Marc Pantel and Xavier Thirioux", year = "2012", title = "{A proof assistant based formalization of MDE components}", journal = "Formal Aspects of Component Software", pages = "223\IeC {\textendash }240", doi = "10.1007/978-3-642-35743-5\_14", ) @article(kuhne2006matters, author = "Thomas K\IeC {\"u}hne", year = "2006", title = "{Matters of (Meta-) Modeling}", journal = "Software and Systems Modeling", volume = "5", number = "4", pages = "369\IeC {\textendash }385", doi = "10.1007/s10270-006-0017-9", ) @article(lamport1995write, author = "L. Lamport", year = "1995", title = "How to write a proof", journal = "The American mathematical monthly", volume = "102", number = "7", pages = "600--608", doi = "10.2307/2974556", ) @article(maoz2011semantically, author = "Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe", year = "2011", title = "{Semantically Configurable Consistency Analysis for Class and Object Diagrams}", journal = "Lecture Notes in Computer Science", pages = "153\IeC {\textendash }167", doi = "10.1007/978-3-642-24485-8\_12", ) @article(omg2011mof, author = "OMG", year = "2011", title = "{OMG Meta Object Facility (MOF) Core Specification (Version 2.4.1)}", journal = "Available on: http://www.omg.org/spec/MOF/2.4.1", volume = "2.4.1", ) @misc(omg2012ocl, author = "OMG", year = "2012", title = "{OMG Object Constraint Language (OCL), Version 2.3.1}", url = "http://www.omg.org/spec/OCL/2.3.1/", ) @article(2011.314, author = "Celia Picard and Ralph Matthes", year = "2011", title = "{Coinductive Graph Representation: the Problem of Embedded Lists}", journal = "ECEASST", volume = "39", url = "http://journal.ub.tu-berlin.de/eceasst/article/view/649", ) @article(DBLP:conf/sac/Poernomo06, author = "Iman Poernomo", year = "2006", title = "{The meta-object facility typed}", journal = "Proceedings of the 2006 ACM symposium on Applied computing - SAC \IeC {\textquoteright }06", doi = "10.1145/1141277.1141710", ) @article(DBLP:conf/icmt/Poernomo08, author = "Iman Poernomo", year = "2008", title = "{Proofs-as-Model-Transformations}", journal = "Lecture Notes in Computer Science", pages = "214\IeC {\textendash }228", doi = "10.1007/978-3-540-69927-9\_15", ) @article(DBLP:conf/icfem/PoernomoT10, author = "Iman Poernomo and Jeffrey Terrell", year = "2010", title = "{Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq}", journal = "Lecture Notes in Computer Science", pages = "56\IeC {\textendash }73", doi = "10.1007/978-3-642-16901-4\_6", ) @article(DBLP:journals/jot/RomeroRDV07, author = "Jos{\'e} Ra{\'u}l Romero and Jos{\'e} Eduardo Rivera and Francisco Dur{\'a}n and Antonio Vallecillo", year = "2007", title = "Formal and Tool Support for {Model Driven Engineering} with {Maude}", journal = "Journal of Object Technology", volume = "6", number = "9", pages = "187--207", doi = "10.5381/jot.2007.6.9.a10", ) @inproceedings(towers07, author = "X. Thirioux and B. Combemale and X. Cr{\'e}gut and P.L. Garoche", year = "2007", title = "{A Framework to Formalise the MDE Foundations}", editor = "Richard Paige and Jean B{\'e}zivin", booktitle = "International Workshop on Towers of Models (TOWERS)", address = "Zurich", pages = "14--30", ) @article(DBLP:conf/icmt/TroyaV10, author = "Javier Troya and Antonio Vallecillo", year = "2010", title = "{Towards a Rewriting Logic Semantics for ATL}", journal = "Lecture Notes in Computer Science", pages = "230\IeC {\textendash }244", doi = "10.1007/978-3-642-13688-7\_16", )