default search action
MoDeVVa@MoDELS 2013: Miami, FL, USA
- Frédéric Boulanger, Michalis Famelis, Daniel Ratiu:
Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013. CEUR Workshop Proceedings 1069, CEUR-WS.org 2013 - Stefan Mijatov, Philip Langer, Tanja Mayerhofer, Gerti Kappel:
A Framework for Testing UML Activities Based on fUML. 1-10 - Pascal André, Jean-Marie Mottu, Gilles Ardourel:
Building Test Harness From Service-based Component Models. 11-20 - Christian Prehofer:
Feature-based Development of State Transition Diagrams with Property Preservation. 21-30 - Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl:
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. 31-40 - Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff:
Applying Model Transformation and Event-B for Specifying an Industrial DSL. 41-50 - Jan Olaf Blech:
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. 51-60 - Nico Nachtigall, Benjamin Braatz, Thomas Engel:
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. 61-66 - Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter:
Research Questions for Validation and Verification in the Context of Model-Based Engineering. 67-76 - Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray:
An Approach to Analyzing Temporal Properties in UML Class Models. 77-86
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: