default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th ECMFA 2012: Lyngby, Denmark
- Antonio Vallecillo
, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos:
Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings. Lecture Notes in Computer Science 7349, Springer 2012, ISBN 978-3-642-31490-2 - Ed Seidewitz:
Executable UML: From Multi-domain to Multi-core. 1 - Henrik Lönn:
Models Meeting Automotive Design Challenges. 2-3 - Sébastien Mosser, Mireille Blay-Fornarino, Laurence Duchien:
A Commutative Model Composition Operator to Support Software Adaptation. 4-19 - Anjelika Votintseva, Petra Witschel, Nikolaus Regnat, Philipp Emanuel Stelzig:
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings. 20-31 - Mirco Kuhlmann, Martin Gogolla:
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. 32-48 - Maged Elaasar, Yvan Labiche:
Model Interchange Testing: A Process and a Case Study. 49-61 - Thomas Goldschmidt, Wolfgang Mahnke:
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters. 62-73 - Lionel C. Briand, Yvan Labiche, Yanhua Liu:
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing. 74-89 - Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel:
Model Transformations for Migrating Legacy Models: An Industrial Case Study. 90-101 - István Ráth, Ábel Hegedüs, Dániel Varró:
Derived Features for EMF by Integrating Advanced Model Queries. 102-117 - Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige:
A Lightweight Approach for Managing XML Documents with MDE Languages. 118-132 - Tao Yue, Shaukat Ali:
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. 133-145 - Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens:
Badger: A Regression Planner to Resolve Design Model Inconsistencies. 146-161 - Gefei Zhang:
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines. 162-177 - Rolf-Helge Pfeiffer, Andrzej Wasowski:
TexMo: A Multi-language Development Environment. 178-193 - Colin Atkinson, Ralph Gerbig, Bastian Kennel:
On-the-Fly Emendation of Multi-level Models. 194-209 - Jan Rieke, Oliver Sudmann:
Specifying Refinement Relations in Vertical Model Transformations. 210-225 - Razieh Behjati, Shiva Nejati, Tao Yue, Arnaud Gotlieb, Lionel C. Briand:
Model-Based Automated and Guided Configuration of Embedded Software Systems. 226-243 - Fabian Büttner, Jordi Cabot:
Lightweight String Reasoning for OCL. 244-258 - Juan de Lara, Esther Guerra:
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering. 259-274 - Gabor Batori, Zoltán Theisz, Domonkos Asztalos:
Metamodel Based Methodology for Dynamic Component Systems. 275-286 - Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr:
Bidirectional Model Transformation with Precedence Triple Graph Grammars. 287-302 - Tahir Naseer Qureshi, De-Jiu Chen, Martin Törngren:
A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. 303-318 - Petr C. Smolik, Pavel Vitkovsky:
Code Generation Nirvana. 319-327 - Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock, Steve King:
A Plug-in Based Approach for UML Model Simulation. 328-339 - Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos:
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. 340-351 - Ning Ge, Marc Pantel:
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. 352-367 - Gergely Varró, Anthony Anjorin, Andy Schürr:
Unification of Compiled and Interpreter-Based Pattern Matching Techniques. 368-383 - Lars Hamann, Oliver Hofrichter, Martin Gogolla:
OCL-Based Runtime Monitoring of Applications with Protocol State Machines. 384-399 - Clément Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel:
On Model Subtyping. 400-415 - Ulrich Winkler, Mathias Fritzsche, Wasif Gilani, Alan Marshall:
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer. 416-427 - Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith:
Solving Acquisition Problems Using Model-Driven Engineering. 428-443
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 2025-12-17 20:49 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:
