default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoDeVVa@MoDELS 2009: Denver, Colorado, USA
- Levi Lúcio, Stephan Weißleder:
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009. ACM 2009, ISBN 978-1-60558-876-6 - Victor Makarenkov, Pavel Jelnov
, Azzam Maraee, Mira Balaban:
Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm. 1:1-1:10 - Márk Asztalos, László Lengyel, Tihamer Levendovszky:
A formalism for describing modeling transformations for verification. 2:1-2:10 - Zekai Demirezen, Marjan Mernik, Jeffrey G. Gray, Barrett R. Bryant:
Verification of DSMLs using graph transformation: a case study with Alloy. 3:1-3:10 - Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar:
From UML to Alloy and back again. 4:1-4:10 - Siamak Haschemi:
Model transformations to satisfy all-configurations-transitions on statecharts. 5:1-5:10 - Beatriz Pérez Lamancha, Pedro Reales Mateo, Ignacio Garíía Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis:
Automated model-based testing using the UML testing profile and QVT. 6:1-6:10 - Michael Mlynarski, Baris Güldali, Melanie Späth, Gregor Engels:
From design models to test models by means of test ideas. 7:1-7:10 - Ivan Porres, Irum Rauf:
Generating class contracts from UML protocol statemachines. 8:1-8:10 - Anne Keller, Hans Schippers, Serge Demeyer:
Supporting inconsistency resolution through predictive change impact analysis. 9:1-9:10
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 2026-07-02 00:57 CEST 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:
