de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Soltenborn, Christian: Quality assurance with dynamic meta modeling. 2013
Inhalt
Introduction
Motivation
Current State of Dynamic Meta Modeling
Objectives of this Thesis
Structure of this Thesis
I Foundations
Eclipse Modeling Framework
Metamodeling and MOF
Ecore Metamodel
The Eclipse Modeling Framework
UML Activities
Overview
Syntax
Semantics
GROOVE
Graph Transformation in GROOVE
State Space Exploration
Model Checking GROOVE Grammars
Tool Support
Dynamic Meta Modeling
Goals of and Requirements on DMM
Dynamic Meta Modeling
Evaluation of DMM's Current State
Summary
II Dynamic Meta Modeling ++
Language Definition of DMM++
Comparison of DMM and DMM++
Syntax
Semantics
Related Work
Summary
III Quality of DMM++ Specifications
Creating DMM Specifications
DMM and Model Transformations
From Syntax Metamodel to Runtime Metamodel
Creating DMM Rulesets
Related Work
Test-driven Semantics Specification
Test-Driven Semantics Specification
Coverage Criteria for Tests of DMM Specifications
Related Work
Summary
IV Quality of Models
Formulating and Verifying Requirements
Functional Requirements
Non-Functional Requirements
Related Work
Debugging Models
Visual Model Execution
Model Examination
Implementation
Related Work
Summary
Summary and Outlook
List of Figures, Listings and Tables, Bibliography, Appendix
List of Figures
List of Listings
List of Tables
Bibliography
Appendix
Custom OCL Operations
DMM: Static Semantics
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.