![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
8. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.