| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas |
From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.  |
MoDELS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang |
Applying a Model-Based Approach to IT Systems Development Using SysML Extension. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier |
Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Floch, Tomofumi Yuki, Clement Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France |
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far? |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Steimann |
Constraint-Based Model Refactoring. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France |
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault |
Towards a General Composition Semantics for Rule-Based Model Transformation. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Lettner, Michael Tschernuth, Rene Mayrhofer |
A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos |
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Lind, Rogardt Heldal |
A Model-Based and Automated Approach to Size Estimation of Embedded Software Components. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Song, Gang Huang 0001, Franck Chauvel, Wei Zhang 0004, Yanchun Sun, Weizhong Shao, Hong Mei |
Instant and Incremental QVT Transformation for Runtime Models. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Schulte, Ethan K. Jackson |
Finding Models in Model-Based Development - (Abstract). |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Feinerer, Gernot Salzer, Tanja Sisel |
Reducing Multiplicities in Class Diagrams. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Cuccuru, Sébastien Gérard, François Terrier |
Defining MARTE's VSL as an Extension of Alf. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel |
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Axel Legay, Andrzej Wasowski |
Vision Paper: Make a Difference! (Semantically). |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maged Elaasar, Yvan Labiche |
Diagram Definition: A Case Study with the UML Class Diagram. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais |
MDE to Manage Communications with and between Resource-Constrained Systems. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Steel, Robin Drogemuller |
Domain-Specific Model Transformation in Building Quantity Take-Off. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann |
Vision Paper: Towards Model-Based Energy Testing. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Espinazo-Pagán, Jesús Sánchez Cuadrado, Jesús García Molina |
Morsa: A Scalable Approach for Persisting and Accessing Large Models. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitrijs Zaparanuks, Matthias Hauswirth |
Vision Paper: The Essence of Structural Models. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege |
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Tony Clark, Thomas Kühne (eds.) |
Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wisam Al Abed, Jörg Kienzle |
Aspect-Oriented Modelling for Distributed Systems. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Petre |
The Value in Muddling Around Modelling. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson |
A Toolchain for the Detection of Structural and Behavioral Latent System Properties. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar |
Early Experience with Agile Methodology in a Model-Driven Approach. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo |
EUnit: A Unit Testing Framework for Model Management Tasks. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian |
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Balaban, Michael Kifer |
Logic-Based Model-Level Software Development with F-OML. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux |
Modeling Model Slicers. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rixin Zhang, Ajay Krishnan |
Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey |
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero |
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Stenzel, Nina Moebius, Wolfgang Reif |
Formal Verification of QVT Transformations for Code Generation. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel |
Semantic Clone Detection for Model-Based Development of Embedded Systems. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Alexander Kraemer |
Engineering Android Applications Based on UML Activities. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José A. Cruz-Lemus |
Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres J. Ramirez, Betty H. C. Cheng |
Automatic Derivation of Utility Functions for Monitoring Software Requirements. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Iraqi-Houssaini, Mathias Kleiner, Lionel Roucoules |
Model-Based (Mechanical) Product Design. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong |
Correctness of Model Synchronization Based on Triple Graph Grammars. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Kainz, Christian Buckl, Alois Knoll |
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr |
Model-Based Coverage-Driven Test Suite Generation for Software Product Lines. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki |
Supporting Design Model Refactoring for Improving Class Responsibility Assignment. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Chimiak-Opoka |
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Sagar |
Creating Models for Simulating the Face. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Moffett, Alain Beaulieu, Jürgen Dingel |
Verifying UML-RT Protocol Conformance Using Model Checking. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
Semantically Configurable Consistency Analysis for Class and Object Diagrams. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Tisi, Salvador Martinez Perez, Frédéric Jouault, Jordi Cabot |
Lazy Execution of Model-to-Model Transformations. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola |
Towards Quality Driven Exploration of Model Transformation Spaces. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Fabry, Arturo Zambrano, Silvia E. Gordillo |
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Insfrán, Javier Gonzalez-Huerta, Silvia Abrahão |
Design Guidelines for the Development of Quality-Driven Model Transformations. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Könemann |
Capturing the Intention of Model Changes. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | António Miguel Rosado da Cruz, João Pascoal Faria |
A Metamodel-Based Approach for Automatic User Interface Generation. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Loniewski, Emilio Insfrán, Silvia Abrahão |
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Ambroziewicz, Michal Smialek |
Application Logic Patterns - Reusable Elements of User-System Interaction. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tripti Saxena, Gabor Karsai |
MDE-Based Approach for Generalizing Design Space Exploration. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Grossmann, Michael Schrefl, Markus Stumptner |
Model Driven Orchestration: Design for Service Compatibility. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Reimann, Mirko Seifert, Uwe Aßmann |
Role-Based Generic Model Refactoring. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Noyrit, Sébastien Gérard, François Terrier, Bran Selic |
Consistent Modeling Using Multiple UML Profiles. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck |
Taming EMF and GMF Using Model Transformation. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Kainz, Christian Buckl, Stephan Sommer, Alois Knoll |
Model-to-Metamodel Transformation for the Development of Component-Based Systems. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Voelter |
Embedded Software Development with Projectional Language Workbenches. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Lussenburg, Tijs van der Storm, Jurgen J. Vinju, Jos Warmer |
Mod4J: A Qualitative Case Study of Model-Driven Software Development. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jendrik Johannes, Uwe Aßmann |
Concern-Based (de)composition of Model-Driven Software Development Processes. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (eds.) |
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang 0004, Hong Mei |
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Pareto, Peter Eriksson, Staffan Ehnebom |
Architectural Descriptions as Boundary Objects in System and Design Work. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Berger, Georg Grossmann, Markus Stumptner, Michael Schrefl |
Metamodel-Based Information Integration at Industrial Scale. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Grönniger, Dirk Reiss, Bernhard Rumpe |
Towards a Semantics of Activity Diagrams with Semantic Variation Points. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Bagheri, Kevin J. Sullivan |
Monarch: Model-Based Development of Software Architectures. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Levi Lucio, Bruno Barroca, Vasco Amaral |
A Technique for Automatic Validation of Model Transformations. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Rodriguez Priego, Francisco José García Izquierdo, Angel Luis Rubio |
Modeling Issues: a Survival Guide for a Non-expert Modeler. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Denker, Jorge Ressia, Orla Greevy, Oscar Nierstrasz |
Modeling Features at Runtime. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Van Gorp, Rik Eshuis |
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró, András Balogh, Zoltan Balogh, András Ökrös |
Incremental Evaluation of Model Queries over EMF Models. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Song, Gang Huang 0001, Yingfei Xiong, Franck Chauvel, Yanchun Sun, Hong Mei |
Inferring Meta-models for Runtime System Data from the Clients of Management APIs. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin'ichi Shiraishi |
An AADL-Based Approach to Variability Modeling of Automotive Control Systems. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heather Goldsby, Betty H. C. Cheng |
Automatically Discovering Properties That Specify the Latent Behavior of UML Models. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Pardillo |
A Systematic Review on the Definition of UML Profiles. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige |
Inter-modelling: From Theory to Practice. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Schramm, André Preußner, Matthias Heinrich, Lars Vogel |
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
Disciplined Heterogeneous Modeling - Invited Paper. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Aurélio Almeida da Silva, Alix Mougenot, Reda Bendraou, Jacques Robin, Xavier Blanc |
Artifact or Process Guidance, an Empirical Study. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy |
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (eds.) |
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Shekoufeh Kolahdouz Rahimi |
Slicing of UML Models Using Model Transformations. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Gerth, Jochen Malte Küster, Markus Luckey, Gregor Engels |
Precise Detection of Conflicting Change Operations Using Process Model Terms. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Lehrmann Madsen, Birger Møller-Pedersen |
A Unified Approach to Modeling and Programming. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos |
transML: A Family of Languages to Model Model Transformations. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukman Ab Rahim, Jon Whittle |
Verifying Semantic Conformance of State Machine-to-Java Code Generators. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kühne |
An Observer-Based Notion of Model Inheritance. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Beaudoux, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel |
Active Operations on Collections. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hauke Fuhrmann, Reinhard von Hanxleden |
Taming Graphical Modeling. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Diniz da Costa, Viviane Torres da Silva, Alessandro Garcia, Carlos José Pereira de Lucena |
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Mäder, Jane Cleland-Huang |
A Visual Traceability Modeling Language. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claas Wilke, Michael Thiele, Christian Wende |
Extending Variability for OCL Interpretation. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")