FAME: Formalizing and Managing Evolution in Model-Driven Engineering

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
FAME
 
Project Title (de) Projekttitel (de)
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
 
Project Title (en) Projekttitel (en)
FAME: Formalizing and Managing Evolution in Model-Driven Engineering
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT10-018
 

Publications

Filter:
Author:  Kaufmann, Petra
Author:  Gabmeyer, Sebastian

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Feature-Based Classification of Formal Verification Techniques for Software ModelsBericht Report2014
2Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina A Classification of Model Checking-Based Verification Approaches for Software ModelsKonferenzbeitrag Inproceedings 2013
3Bill, Robert ; Gabmeyer, Sebastian ; Kaufmann, Petra ; Seidl, Martina OCL meets CTL: Towards CTL-Extended OCL Model CheckingKonferenzbeitrag Inproceedings 2013
4Kaufmann, Petra ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina On Formalizing EMF Modeling Operations with Graph TransformationsKonferenzbeitrag Inproceedings 2012
5Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2012
6Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012
7Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2011