MoDELS A

53 papers

YearTitle / Authors
2011A Critical Review of Applied MDA for Embedded Devices: Identification of Problem Classes and Discussing Porting Efforts in Practice.
Michael Lettner, Michael Tschernuth, Rene Mayrhofer
2011A Model-Based and Automated Approach to Size Estimation of Embedded Software Components.
Kenneth Lind, Rogardt Heldal
2011A Precise Style for Business Process Modelling: Results from Two Controlled Experiments.
Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero
2011A Toolchain for the Detection of Structural and Behavioral Latent System Properties.
Adam C. Jensen, Betty H. C. Cheng, Heather Goldsby, Edward C. Nelson
2011An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms.
Shaukat Ali, Lionel C. Briand, Andrea Arcuri, Suneth Walawege
2011Applying a Model-Based Approach to IT Systems Development Using SysML Extension.
Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang
2011Aspect-Oriented Modelling for Distributed Systems.
Wisam Al Abed, Jörg Kienzle
2011Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation.
Gerd Kainz, Christian Buckl, Alois C. Knoll
2011Automatic Derivation of Utility Functions for Monitoring Software Requirements.
Andres J. Ramirez, Betty H. C. Cheng
2011CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011Constraint-Based Model Refactoring.
Friedrich Steimann
2011Correctness of Model Synchronization Based on Triple Graph Grammars.
Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong
2011Creating Models for Simulating the Face.
Mark Sagar
2011Defining MARTE's VSL as an Extension of Alf.
Arnaud Cuccuru, Sébastien Gérard, François Terrier
2011Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal.
Ali Koudri, Arnaud Cuccuru, Sebastien Gerard, François Terrier
2011Diagram Definition: A Case Study with the UML Class Diagram.
Maged Elaasar, Yvan Labiche
2011Domain-Specific Model Transformation in Building Quantity Take-Off.
Jim Steel, Robin Drogemuller
2011EUnit: A Unit Testing Framework for Model Management Tasks.
Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo
2011Early Experience with Agile Methodology in a Model-Driven Approach.
Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar
2011Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches.
Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos
2011Engineering Android Applications Based on UML Activities.
Frank Alexander Kraemer
2011Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain.
Johan Fabry, Arturo Zambrano, Silvia E. Gordillo
2011Finding Models in Model-Based Development - (Abstract).
Wolfram Schulte, Ethan K. Jackson
2011Formal Verification of QVT Transformations for Code Generation.
Kurt Stenzel, Nina Moebius, Wolfgang Reif
2011From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.
Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki, Hartmut Ehrig, Frank Hermann, Fernando Orejas
2011Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension.
Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genoveffa Tortora, Marcela Genero, José A. Cruz-Lemus
2011Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
2011Instant and Incremental QVT Transformation for Runtime Models.
Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, Weizhong Shao, Hong Mei
2011Lazy Execution of Model-to-Model Transformations.
Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot
2011Logic-Based Model-Level Software Development with F-OML.
Mira Balaban, Michael Kifer
2011MDE to Manage Communications with and between Resource-Constrained Systems.
Franck Fleurey, Brice Morin, Arnor Solberg, Olivier Barais
2011Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework.
Joanna Chimiak-Opoka
2011Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings
Jon Whittle, Tony Clark, Thomas Kühne
2011Model-Based (Mechanical) Product Design.
Mehdi Iraqi-Houssaini, Mathias Kleiner, Lionel Roucoules
2011Model-Based Coverage-Driven Test Suite Generation for Software Product Lines.
Harald Cichos, Sebastian Oster, Malte Lochau, Andy Schürr
2011Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?
Antoine Floch, Tomofumi Yuki, Clément Guy, Steven Derrien, Benoît Combemale, Sanjay V. Rajopadhye, Robert B. France
2011Modeling Model Slicers.
Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux
2011Morsa: A Scalable Approach for Persisting and Accessing Large Models.
Javier Espinazo-Pagán, Jesús Sánchez Cuadrado, Jesús García Molina
2011Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible.
Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey
2011Reasoning about Metamodeling with Formal Specifications and Automatic Proofs.
Ethan K. Jackson, Tihamer Levendovszky, Daniel Balasubramanian
2011Reducing Multiplicities in Class Diagrams.
Ingo Feinerer, Gernot Salzer, Tanja Sisel
2011Semantic Clone Detection for Model-Based Development of Embedded Systems.
Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel
2011Semantically Configurable Consistency Analysis for Class and Object Diagrams.
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
2011Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior.
Mickael Clavreul, Sébastien Mosser, Mireille Blay-Fornarino, Robert B. France
2011Supporting Design Model Refactoring for Improving Class Responsibility Assignment.
Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
2011The Value in Muddling Around Modelling.
Marian Petre
2011Towards Quality Driven Exploration of Model Transformation Spaces.
Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
2011Towards a General Composition Semantics for Rule-Based Model Transformation.
Dennis Wagelaar, Massimo Tisi, Jordi Cabot, Frédéric Jouault
2011Using Delta Model for Collaborative Work of Industrial Large-Scaled E/E Architecture Models.
Rixin Zhang, Ajay Krishnan
2011Verifying UML-RT Protocol Conformance Using Model Checking.
Yann Moffett, Alain Beaulieu, Jürgen Dingel
2011Vision Paper: Make a Difference! (Semantically).
Uli Fahrenberg, Axel Legay, Andrzej Wasowski
2011Vision Paper: The Essence of Structural Models.
Dmitrijs Zaparanuks, Matthias Hauswirth
2011Vision Paper: Towards Model-Based Energy Testing.
Claas Wilke, Sebastian Götz, Jan Reimann, Uwe Aßmann