Back to Results
First PageMeta Content
Software / Graph rewriting / VIATRA / Formal methods / Logic in computer science / Object Constraint Language / Model transformation language / Kermeta / Formal verification / Unified Modeling Language / Systems engineering / Software engineering


VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium
Add to Reading List

Document Date: 2014-12-03 03:08:26


Open Document

File Size: 142,35 KB

Share Result on Facebook

Company

Object Management Group / /

Country

Germany / Belgium / Austria / Canada / Luxembourg / /

/

Facility

University of Montreal / King’s College / University of Namur / Vienna University of Technology / University of Bremen / /

IndustryTerm

web interface / satellite systems / web demo / graph transformation applications / model driven software / state/transition systems / model transformation tools / software development / workshop web pages / /

Organization

University of Namur / University of Bremen / King’s College London / University of Montreal / Vienna University of Technology / /

Person

T. Mens / Ulrike Golas / Claudia Ermel / Martin Gogolla / Frank Hermann / Shekoufeh Kolahdouz Rahimi / Felix Klar / Alain Pierre / Gabriele Taentzer / Gianluigi Morelli / Martina Seidl / Tony Clark / Lars Hamann / Robert Bill / Kevin Lano / Andy Schürr / Susann Gottmann / Lara / Nico Nachtigall / Frank Hilken / Benjamin Braatz / Petra Kaufmann / Hartmut Ehrig / Esther Guerra / Sebastian Gabmeyer / P. Van Gorp / Fernando Orejas / Karsten Ehrig / Thomas Engel / /

Position

Model / /

ProgrammingLanguage

Model Transformation / Kermeta / Object Constraint Language / QVT / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

Technology

Simulation / /

URL

http /

SocialTag