Search results for "MoDELS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Mickael Clavreul, Sébastien Mosser 0001, Mireille Blay-Fornarino, Robert B. France	Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior.	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	Maged Elaasar, Yvan Labiche	Diagram Definition: A Case Study with the UML Class Diagram.	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	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	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	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	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	Antoine Floch, Tomofumi Yuki, Clément 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	Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi 0001, Motoshi Saeki	Supporting Design Model Refactoring for Improving Class Responsibility Assignment.	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	Kurt Stenzel, Nina Moebius, Wolfgang Reif	Formal Verification of QVT Transformations for Code Generation.	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	Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe	CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.	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	Marian Petre	The Value in Muddling Around Modelling.	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	Frank Alexander Kraemer	Engineering Android Applications Based on UML Activities.	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	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	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	Wolfram Schulte, Ethan K. Jackson	Finding Models in Model-Based Development - (Abstract).	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	Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux	Modeling Model Slicers.	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	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	Frank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki 0001, Zinovy Diskin, Yingfei Xiong 0001	Correctness of Model Synchronization Based on Triple Graph Grammars.	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	Uli Fahrenberg, Axel Legay, Andrzej Wasowski	Vision Paper: Make a Difference! (Semantically).	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	Zinovy Diskin, Yingfei Xiong 0001, Krzysztof Czarnecki 0001, Hartmut Ehrig, Frank Hermann 0001, Fernando Orejas	From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case.	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	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	Vinay Kulkarni, Souvik Barat, Uday Ramteerthkar	Early Experience with Agile Methodology in a Model-Driven Approach.	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	Andres J. Ramirez, Betty H. C. Cheng	Automatic Derivation of Utility Functions for Monitoring Software Requirements.	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	Hui Song, Gang Huang 0001, Franck Chauvel, Wei Zhang 0004, Yanchun Sun, Weizhong Shao, Hong Mei 0001	Instant and Incremental QVT Transformation for Runtime Models.	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	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	Wisam Al Abed, Jörg Kienzle	Aspect-Oriented Modelling for Distributed Systems.	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	Claas Wilke, Sebastian Götz, Jan Reimann 0002, Uwe Aßmann	Vision Paper: Towards Model-Based Energy Testing.	MoDELS	2011	DBLP DOI BibTeX RDF
1	Steffen Mazanek, Mark Minas	Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors.	MoDELS	2009	DBLP DOI BibTeX RDF	Diagram editor, syntax-based assistance, graph parsing
1	Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle 0001	A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty.	MoDELS	2009	DBLP DOI BibTeX RDF	Requirements engineering, uncertainty, goal models, dynamically adaptive systems
1	Zamira Daw, Marcus Vetter	Deterministic UML Models for Interconnected Activities and State Machines.	MoDELS	2009	DBLP DOI BibTeX RDF	deterministic behavior, state machine, Activity
1	Naeem Esfahani, Sam Malek, João Pedro Sousa, Hassan Gomaa, Daniel A. Menascé	A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	Autonomic Computing, Model Driven Development, Requirements Modeling, Pervasive Systems, Domain Specific Modeling Languages
1	Doron Drusinsky, Man-tak Shing	Using UML Statecharts with Knowledge Logic Guards.	MoDELS	2009	DBLP DOI BibTeX RDF	K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior
1	Christopher Wolfe, T. C. Nicholas Graham, W. Greg Phillips	An Incremental Algorithm for High-Performance Runtime Model Consistency.	MoDELS	2009	DBLP DOI BibTeX RDF	Adaptive groupware, incremental model transformation, runtime models
1	István Ráth, Gergely Varró, Dániel Varró	Change-Driven Model Transformations.	MoDELS	2009	DBLP DOI BibTeX RDF	Incremental model transformation, change models, change-driven transformations
1	Robert B. France, Martin Gogolla	Educators' Symposium at MODELS 2009.	MoDELS	2009	DBLP DOI BibTeX RDF
1	María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe	Variability within Modeling Language Definitions.	MoDELS	2009	DBLP DOI BibTeX RDF	UML, variability, formal semantics, Modeling languages
1	Stephen J. Mellor	Models. Models. Models. So What?	MoDELS	2009	DBLP DOI BibTeX RDF
1	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	genetic algorithms, UML, MDD, concurrent systems, data races, MARTE, model analysis
1	Jochen Malte Küster, Thomas Gschwind, Olaf Zimmermann	Incremental Development of Model Transformation Chains Using Automated Testing.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, automated testing
1	Gunter Mussbacher, Daniel Amyot, Jon Whittle 0001	Refactoring-Safe Modeling of Aspect-Oriented Scenarios.	MoDELS	2009	DBLP DOI BibTeX RDF	Aspect-oriented Use Case Maps, Aspects-oriented Modeling, User Requirements Notation
1	Frank Alexander Kraemer, Peter Herrmann	Automated Encapsulation of UML Activities for Incremental Development and Verification.	MoDELS	2009	DBLP DOI BibTeX RDF	UML Activities, UML State Machines, UML Streaming Parameters, Verification, Model Reuse, System Composition
1	Jonas Helming, Maximilian Koegel, Helmut Naughton, Jörn David, Aleksandar Shterev	Traceability-Based Change Awareness.	MoDELS	2009	DBLP DOI BibTeX RDF	Change awareness, operation-based, traceability, notification, unified model
1	Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree	Representation and Traversal of Large Clabject Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Clabject, Efficient Representation, Multi-Level Modeling
1	Ariadi Nugroho, Michel R. V. Chaudron	Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study.	MoDELS	2009	DBLP DOI BibTeX RDF	UML, Complexity, Coupling, Case Study, Defect Density
1	Mathias Kleiner, Patrick Albert, Jean Bézivin	Parsing SBVR-Based Controlled Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	constraints, model-driven engineering, configuration, parsing, SBVR, Controlled languages, model search
1	Christian Gerth, Jochen Malte Küster, Gregor Engels	Language-Independent Change Management of Process Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Process model change management, process model differences
1	Raphaël Chenouard, Frédéric Jouault	Automatically Discovering Hidden Transformation Chaining Constraints.	MoDELS	2009	DBLP DOI BibTeX RDF
1	John Lloyd, Jan Jürjens	Security Analysis of a Biometric Authentication System Using UMLsec and JML.	MoDELS	2009	DBLP DOI BibTeX RDF	UMLsec, Security analysis, biometric authentication, JML
1	Tao Yue 0002, Lionel C. Briand, Yvan Labiche	A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation.	MoDELS	2009	DBLP DOI BibTeX RDF	Use Case Template, Restriction Rules, Controlled Experiment, Use Case, Use Case Modeling, Analysis Model
1	Rodion Moiseev, Shinpei Hayashi, Motoshi Saeki	Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	assertion code, constraints, programming languages, OCL
1	Tobias Walter, Fernando Silva Parreiras, Steffen Staab	OntoDSL: An Ontology-Based Framework for Domain-Specific Languages.	MoDELS	2009	DBLP DOI BibTeX RDF	Technical Space, Reasoning Services, Ontologies, Domain-Specific Languages
1	Man-Kit Leung, Thomas Mandl 0002, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly	Scalable Semantic Annotation Using Lattice-Based Ontologies.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Shahar Maoz, Jani Metsä, Mika Katara	Model-Based Testing Using LSCs and S2A.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry	Modeling Modeling.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Grady Booch	Architectural Mining: The Other Side of the MDD.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Hartmut Ehrig, Claudia Ermel, Frank Hermann 0001, Ulrike Prange	On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, correctness, triple graph grammars
1	Lars Bendix, Pär Emanuelsson	Requirements for Practical Model Merge - An Industrial Perspective.	MoDELS	2009	DBLP DOI BibTeX RDF	parallel work, team co-ordination, version control, industrial experience, Model merge, diff
1	Yu Sun 0002, Jules White, Jeff Gray 0001	Model Transformation by Demonstration.	MoDELS	2009	DBLP DOI BibTeX RDF	Program inference, Refactoring, Model transformation
1	Milan Milanovic, Dragan Gasevic, Gerd Wagner 0001, Marek Hatala	Rule-Enhanced Business Process Modeling Language for Service Choreographies.	MoDELS	2009	DBLP DOI BibTeX RDF	R2ML, processes, metamodels, rules, MDE, BPMN
1	Michael Shtelma, Mario Cartsburg, Nikola Milanovic	Executable Domain Specific Language for Message-Based System Integration.	MoDELS	2009	DBLP DOI BibTeX RDF	domain specific language, System integration, model execution
1	Andy Schürr, Bran Selic (eds.)	Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings	MoDELS	2009	DBLP DOI BibTeX RDF
1	Stefan Jurack, Gabriele Taentzer	Towards Composite Model Transformations Using Distributed Graph Transformation Concepts.	MoDELS	2009	DBLP DOI BibTeX RDF	Eclipse, graph transformation, Distributed modeling
1	Arnaud Cuccuru, Ansgar Radermacher, Sébastien Gérard, François Terrier	Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Juan de Lara, Esther Guerra	Formal Support for QVT-Relations with Coloured Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Pau Giner, Vicente Pelechano	Test-Driven Development of Model Transformations.	MoDELS	2009	DBLP DOI BibTeX RDF	test-driven development, Model-to-model transformations
1	Lars Pareto, Peter S. Eriksson, Staffan Ehnebom	Concern Visibility in Base Station Development - An Empirical Investigation.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect oriented modeling (AOM), embedded systems, software architecture, Model driven development (MDD), viewpoints, base stations, concerns, telecommunication systems
1	Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry	Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.	MoDELS	2009	DBLP DOI BibTeX RDF	context description, property patterns, model checking, Formal methods, observers, timed automata
1	Stephan Weißleder	Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation.	MoDELS	2009	DBLP DOI BibTeX RDF	Industrial Cooperation, Model-Based Testing, State Machines, Mutation Analysis, Coverage Criteria
1	Shahar Maoz	Polymorphic Scenario-Based Specification Models: Semantics and Applications.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Christa Schwanninger, Iris Groher, Christoph Elsner, Martin Lehofer	Variability Modelling throughout the Product Line Lifecycle.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Petra Brosch, Philip Langer, Martina Seidl, Konrad Wieland, Manuel Wimmer, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger	An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example.	MoDELS	2009	DBLP DOI BibTeX RDF	by-example approach, Refactoring, composite operation
1	Joanna Chimiak-Opoka	OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language.	MoDELS	2009	DBLP DOI BibTeX RDF	Systematic development of OCL, OCL libraries, OCL testing, OCL documentation
1	Felienne Hermans, Martin Pinzger 0001, Arie van Deursen	Domain-Specific Languages in Practice: A User Study on the Success Factors.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Larry L. Constantine	Interaction Design and Model-Driven Development.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Ákos Horváth 0001, Dániel Varró	CSP(M): Constraint Satisfaction Problem over Models.	MoDELS	2009	DBLP DOI BibTeX RDF	Constraint satisfaction programming, graph transformation
1	Naouel Moha, Vincent Mahé, Olivier Barais, Jean-Marc Jézéquel	Generic Model Refactorings.	MoDELS	2009	DBLP DOI BibTeX RDF	Model Typing, Adaptation, Genericity, Refactoring, Aspect Weaving
1	Franck Fleurey, Arnor Solberg	A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Andrés Yie, Rubby Casallas, Dennis Wagelaar, Dirk Deridder	An Approach for Evolving Transformation Chains.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, Model Driven Engineering, Model composition
1	Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai	Automatic Domain Model Migration to Manage Metamodel Evolution.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Christian Soltenborn, Gregor Engels	Towards Test-Driven Semantics Specification.	MoDELS	2009	DBLP DOI BibTeX RDF	Semantics specification, model checking, testing
1	Manuel Wimmer, Angelika Kusel, Johannes Schönböck, Gerti Kappel, Werner Retschitzegger, Wieland Schwinger	Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets.	MoDELS	2009	DBLP DOI BibTeX RDF	QVT Relations, Debugging, Model Transformations, CPN
1	Jacques Klein, Jörg Kienzle, Brice Morin, Jean-Marc Jézéquel	Aspect Model Unweaving.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Christoph Wienands, Michael Golm	Anatomy of a Visual Domain-Specific Language Project in an Industrial Context.	MoDELS	2009	DBLP DOI BibTeX RDF	visual, code generation, Domain-specific language, textual
1	Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, Jean-Marc Jézéquel	Weaving Variability into Domain Metamodels.	MoDELS	2009	DBLP DOI BibTeX RDF

Publications at "MoDELS"( http://dblp.L3S.de/Venues/MoDELS )