![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 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](https://www.pdfsearch.io/img/a03244f9367baae13aa57eed24233839.jpg) Date: 2014-12-03 03:08:26Software 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, BelgiumAdd to Reading ListSource URL: www.db.informatik.uni-bremen.deDownload Document from Source Website File Size: 142,35 KBShare Document on Facebook
|