Meta-Object Facility - PDFSEARCH.IO - Document Search Engine

Meta-Object Facility
Results: 112

#	Item
1	AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me Add to Reading List Source URL: alloytools.org Language: English - Date: 2018-06-13 06:07:43 Mathematics Theoretical computer science Formal methods Model theory Conflict-driven clause learning Solver Alloy Metamodeling Meta-Object Facility Embedding First-order logic Mathematical logic
2	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.4.A – Teil 1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Data modeling Meta-Object Facility Metamodeling KM3 Object Constraint Language Generic Modeling Environment Semantics
3	Instantiation of the metamodel on a widely used GNU/Linux distribution Deliverable 2.2 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Software Computing Unified Modeling Language MANCOOSI Eclipse Modeling Framework Metamodeling XML Metadata Interchange Meta-Object Facility Eclipse ATLAS Transformation Language Object Management Group
4	Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨ Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Abstraction Data modeling Metamodeling Software design Meta-Object Facility Object Constraint Language KM3
5	Building Tools by Model Transformations in Eclipse Add to Reading List Source URL: melnais.mii.lu.lv Language: English - Date: 2007-09-28 15:23:02 Software engineering Unified Modeling Language Computing Software Eclipse ISO standards Systems engineering Metamodeling Scientific modeling MetaEdit+ Meta-Object Facility Object Process Methodology
6	Limitations of Automating Model Migration in Response to Metamodel Adaptation Markus Herrmannsdoerfer and Daniel Ratiu Institut f¨ ur Informatik Technische Universit¨ Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Unified Modeling Language Systems engineering ISO standards Model-driven architecture Metamodeling Domain-specific modeling Object Management Group Object Process Methodology Model transformation Generic Eclipse Modeling System Meta-Object Facility
7	Modularity: G: Interoperability and Composition of DSLs with Melange Thomas Degueule Inria, France Add to Reading List Source URL: src.acm.org Language: English - Date: 2016-06-08 12:49:33 Unified Modeling Language Scientific modeling Programming paradigms ISO standards Systems engineering Domain-specific language Metamodeling Aspect-oriented software development Declarative programming Kermeta Meta-Object Facility Modeling language
8	First version of the DSL based on the model developed in WP2 Deliverable 3.2 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Unified Modeling Language ISO standards Systems engineering Project management Deliverable ATLAS Transformation Language Domain-specific language MANCOOSI XML Metadata Interchange Metamodeling Package manager Meta-Object Facility
9	Automating Co-evolution in Model-Driven Engineering∗ Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio Dipartimento di Informatica Universit`a degli Studi di L’Aquila I–67100 L’Aquila, Italy Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Unified Modeling Language Metamodeling Metaclass Meta-Object Facility Object Process Methodology Model transformation Eclipse Modeling Framework Object Management Group KM3 Transformation language
10	Embedding Defect and Traceability Information in CIMand PIM-Level Software Models Jörg Rech and Mario Schmitt Fraunhofer IESE, Fraunhofer-Platz 1, 67663 Kaiserslautern, Germany +2210, Add to Reading List Source URL: ftp.informatik.rwth-aachen.de Language: English - Date: 2008-08-07 10:11:54 Unified Modeling Language ISO standards Diagrams Project management Systems Modeling Language Business Process Definition Metamodel Meta-Object Facility Object Management Group Business Process Model and Notation Metamodeling Eclipse Modeling Framework Profile