Search results for "MoDELS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Christian Thum, Michael Schwind, Martin Schader	SLIM - A Lightweight Environment for Synchronous Collaborative Modeling.	MoDELS	2009	DBLP DOI BibTeX RDF	Real-Time Editor, Web 2.0, Collaborative Modeling
1	Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige	Abstracting Complex Languages through Transformation and Composition.	MoDELS	2009	DBLP DOI BibTeX RDF
1	Marko Boskovic, Wilhelm Hasselbring	Model Driven Performance Measurement and Assessment with MoDePeMART.	MoDELS	2009	DBLP DOI BibTeX RDF	Software Performance Measurement and Assessment, Transformational and Reactive Systems, Model Driven Engineering
1	Rahul Mohan, Vinay Kulkarni	Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way Forward.	MoDELS	2009	DBLP DOI BibTeX RDF	Modeling, Graphical User Interfaces, Code Generation, Meta Modeling
1	Jon Oldevik, Massimiliano Menarini, Ingolf Krüger	Model Composition Contracts.	MoDELS	2009	DBLP DOI BibTeX RDF	aspect-oriented development, design by contract, Model composition
1	Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel	Meta-model Pruning.	MoDELS	2009	DBLP DOI BibTeX RDF	Meta-model pruning, GPML, DSML, Kermeta, effective modelling domain, test input domain, UML
1	Ghizlane El-Boussaidi, Hafedh Mili	Detecting Patterns of Poor Design Solutions Using Constraint Propagation.	MoDELS	2008	DBLP DOI BibTeX RDF	Marking models, design patterns, transformations, constraint satisfaction problems
1	Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack	Constructing Models with the Human-Usable Textual Notation.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Tor Stålhane, Guttorm Sindre	Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF	safety hazards, experiment, Use cases, misuse cases
1	Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara	An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Nikola Milanovic, Ralf-Detlef Kutsche, Timo Baum, Mario Cartsburg, Hatice Elmasgünes, Marco Pohl, Jürgen Widiker	Model&Metamodel, Metadata and Document Repository for Software and Data Integration.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Javier J. Gutiérrez 0001, Clémentine Nebut, María José Escalona Cuaresma, Manuel Mejías, Isabel M. Ramos	Visualization of Use Cases through Automatically Generated Activity Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Toshihiro Obata, Teiichiro Inoue	General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool.	MoDELS	2008	DBLP DOI BibTeX RDF	Mode controller, high quality, embedded system, flexibility, Simulink, Stateflow
1	Jean-Rémy Falleri, Marianne Huchard, Mathieu Lafourcade, Clémentine Nebut	Metamodel Matching for Automatic Model Transformation Generation.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Pierre Kelsen, Qin Ma 0002	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens	Automatability of Coupled Evolution of Metamodels and Models in Practice.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Iulian Ober, Bernard Coulette, Younes Lakhrissi	Behavioral Modelling and Composition of Object Slices Using Event Observation.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Martin Monperrus, Jean-Marc Jézéquel, Joël Champeau, Brigitte Hoeltzener	A Model-Driven Measurement Approach.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Benoît Combemale, Laurent Broto, Xavier Crégut, Michel J. Daydé, Daniel Hagimont	Autonomic Management Policy Specification: From UML to DSML.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Jeff Kramer	Abstraction and Modelling - A Complementary Partnership.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Paul McIntosh, Margaret Hamilton 0001, Ron G. van Schyndel	X3D-UML: 3D UML State Machine Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF	X3D-UML, 3D UML, 3D Software Visualization, VRML, X3D
1	Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio	Managing Model Conflicts in Distributed Development.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Enrico Biermann, Claudia Ermel, Gabriele Taentzer	Precise Semantics of EMF Model Transformations by Graph Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF	Eclipse Modeling Framework, model transformation, graph transformation, Model-driven software development
1	Martin Gogolla, Mirco Kuhlmann, Fabian Büttner	A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Alexander Pretschner	Doctoral Symposium at MODELS 2008.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Avik Sinha, Matthew Kaplan 0003, Amit M. Paradkar, Clay Williams	Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Lars Pareto, Miroslaw Staron, Peter S. Eriksson	Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Michelle L. Crane, Jürgen Dingel	Towards a Formal Account of a Foundational Subset for Executable UML Models.	MoDELS	2008	DBLP DOI BibTeX RDF	formal mapping, semantics, Model-driven Engineering, activities, actions, Executable UML
1	Guillaume Waignier, Prawee Sriplakich, Anne-Françoise Le Meur, Laurence Duchien	A Model-Based Framework for Statically and Dynamically Checking Component Interactions.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis	Implementation of the Conformance Relation for Incremental Development of Behavioural Models.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Judith E. Y. Rossebø, Ragnhild Kobro Runde	Specifying Service Composition Using UML 2.x and Composition Policies.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Simona Bernardi 0001, José Merseguer, Dorina C. Petriu	Adding Dependability Analysis Capabilities to the MARTE Profile.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle 0001	MOOGLE: A Model Search Engine.	MoDELS	2008	DBLP DOI BibTeX RDF	Software Reuse, Model-Driven Development, Model Search
1	Pedro Nogueira Ramos	Contrary-to-Duties Constraints: From UML to Relational Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Contrary-To-Duties, Deontic Constraints, UML, Relational Model
1	Sander Vermolen, Eelco Visser	Heterogeneous Coupled Evolution of Software Languages.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Zef Hemel, Ruben Verhaaf, Eelco Visser	WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Matthias Gutheil, Bastian Kennel, Colin Atkinson 0001	A Systematic Approach to Connectors in a Multi-level Modeling Environment.	MoDELS	2008	DBLP DOI BibTeX RDF	Metamodeling, Association, Connector, Multi-Level Modeling
1	Bahman Zamani, Sahar Kayhani, Greg Butler	A Pattern Language Verifier for Web-Based Enterprise Applications.	MoDELS	2008	DBLP DOI BibTeX RDF	Profile, Model Driven Engineering, Pattern Language
1	Krzysztof Czarnecki 0001, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter (eds.)	Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings	MoDELS	2008	DBLP DOI BibTeX RDF
1	Brice Morin, Gilles Vanwormhoudt, Philippe Lahire, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel	Managing Variability Complexity in Aspect-Oriented Modeling.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Ariadi Nugroho, Bas Flaton, Michel R. V. Chaudron	Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density.	MoDELS	2008	DBLP DOI BibTeX RDF	Correlation Analyses, Unified Modeling Language, Quality Measure, Design Metrics
1	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.	MoDELS	2008	DBLP DOI BibTeX RDF	SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
1	Xavier Blanc 0001	Tutorials at MODELS 2008.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Heather Goldsby, Betty H. C. Cheng	Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon	A Model-Based Framework for Security Policy Specification, Deployment and Testing.	MoDELS	2008	DBLP DOI BibTeX RDF	Model-driven engineering methodology, Security, Metamodeling
1	Pablo Sánchez 0002, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland	Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Mikolás Janota, Victoria Kuzina, Andrzej Wasowski	Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Romain Robbes, Michele Lanza	Example-Based Program Transformation.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer	Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Zinovy Diskin	Algebraic Models for Bidirectional Model Synchronization.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Arnaud Cuccuru, Sébastien Gérard, Ansgar Radermacher	Meaningful Composite Structures.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Mara Abrahão, Emilio Insfrán, José A. Carsí	Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Don S. Batory, Maider Azanza, João Saraiva	The Objects and Arrows of Computational Design.	MoDELS	2008	DBLP DOI BibTeX RDF	Software product lines, model driven engineering, categories
1	Anders Hessellund, Andrzej Wasowski	Interfaces and Metainterfaces for Models and Metamodels.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Denis Hatebur, Maritta Heisel, Holger Schmidt 0001	A Formal Metamodel for Problem Frames.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Jan Jürjens, Daniel Reiß, David Trachtenherz	Model-Based Quality Assurance of Automotive Software.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Rasha Tawhid, Dorina C. Petriu	Integrating Performance Analysis in the Model Driven Development of Software Product Lines.	MoDELS	2008	DBLP DOI BibTeX RDF	UML, Performance Analysis, Software Product Line, MARTE, ATL, Model to model Transformation
1	Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, Richard W. Buskens	NAOMI - An Experimental Platform for Multi-modeling.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Michal Smialek	Educators Symposium at MODELS 2008.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Lijun Yu, Robert B. France, Indrakshi Ray	Scenario-Based Static Analysis of UML Class Models.	MoDELS	2008	DBLP DOI BibTeX RDF	Behavioral Properties, UML, Snapshot, Model Analysis
1	Andrea Brühlmann, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz	Enriching Reverse Engineering with Annotations.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Mohammad Al Saad, Nicolai Kamenzky, Jochen H. Schiller	Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Patrick Rauhut	3D Parametric Models for Aeroplanes - From Idea to Design.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker	Semantically Configurable Code Generation.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen, Erik Carlson, Kjell-Joar Alme, Øystein Haugen	The Future of Train Signaling.	MoDELS	2008	DBLP DOI BibTeX RDF	MoSiS, Train, model-driven development, signaling, DSL, interlocking
1	Hongzhi Liang, Zinovy Diskin, Jürgen Dingel, Ernesto Posse	A General Approach for Scenario Integration.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon S. Blair	An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Carmine Gravino, Giuseppe Scanniello, Genoveffa Tortora	An Empirical Investigation on Dynamic Modeling in Requirements Engineering.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Sudipto Ghosh	Panels at MODELS 2008.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Dominik Gessenharter	Mapping the UML2 Semantics of Associations to a Java Code Generation Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Java, UML, Code Generation, Associations
1	Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum	Model Transformation as an Optimization Problem.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Ingo Weisemöller, Andy Schürr	Formal Definition of MOF 2.0 Metamodel Components and Composition.	MoDELS	2008	DBLP DOI BibTeX RDF	MOF 2.0, Metamodeling, software components, reusability
1	Michel R. V. Chaudron	Workshops at MODELS 2008.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Frank Weil, Brian E. Mastenbrook, David Nelson, Paul Dietz, Aswin van den Berg	Automated Semantic Analysis of Design Models.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Silvia Mara Abrahão, Emilia Mendes, Jaime Gómez, Emilio Insfrán	A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation.	MoDELS	2007	DBLP DOI BibTeX RDF	Web Effort Estimation, OO-H, Model-driven development, Web Engineering, Functional Size Measurement
1	Marco Brambilla 0001, Jordi Cabot, Sara Comai	Automatic Generation of Workflow-Extended Domain Models.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann	Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Gabor Batori, Zoltán Theisz, Domonkos Asztalos	Domain Specific Modeling Methodology for Reconfigurable Networked Systems.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Xulin Zhao, Ying Zou 0001, Jen Hawkins, Bhadri Madapusi	A Business-Process-Driven Approach for Generating E-Commerce User Interfaces.	MoDELS	2007	DBLP DOI BibTeX RDF	Usability, Business process, Model driven engineering, Task model, User interface generation, Dialog model, Presentation model
1	Frédéric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche	Model-Driven, Network-Context Sensitive Intrusion Detection.	MoDELS	2007	DBLP DOI BibTeX RDF	OCL constraints, Intrusion Detection, UML modeling
1	Lukas Renggli, Stéphane Ducasse, Adrian Kuhn	Magritte - A Meta-driven Approach to Empower Developers and End Users.	MoDELS	2007	DBLP DOI BibTeX RDF	Business Application Development, Meta-Modeling, Meta-Data, Adaptive Object Model
1	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
1	Sagar Chaki, James Ivers, Peter Lee 0001, Kurt C. Wallnau, Noam Zeilberger	Model-Driven Construction of Certified Binaries.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	UML2Alloy: A Challenging Model Transformation.	MoDELS	2007	DBLP DOI BibTeX RDF
1	David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea	A Metamodel-Based Approach for Analyzing Security-Design Models.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Jeff Gray 0001	Tutorials at MODELS 2007.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Praveen K. Jayaraman, Jon Whittle 0001, Ahmed M. Elkhodary, Hassan Gomaa	Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis.	MoDELS	2007	DBLP DOI BibTeX RDF	model transformation, Software product lines, feature interaction
1	Steffen Prochnow, Reinhard von Hanxleden	Statechart Development Beyond WYSIWYG.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Perdita Stevens	Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions.	MoDELS	2007	DBLP DOI BibTeX RDF	bidirectional model transformation, QVT
1	Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil (eds.)	Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings	MoDELS	2007	DBLP DOI BibTeX RDF
1	Mark Hibberd, Michael Lawley, Kerry Raymond	Forensic Debugging of Model Transformations.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Sascha Konrad, Heather Goldsby, Betty H. C. Cheng	i2MAP : An Incremental and Iterative Modeling and Analysis Process.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Alexandre L. Correa, Cláudia M. L. Werner, Márcio de Oliveira Barros	An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Rodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel	Matching Model-Snippets.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Kai Xu 0002, Donglin Liang	Formally Defining a Graphical Language for Monitoring and Checking Object Interactions.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard	Enhancing UML Extensions with Operational Semantics.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Jörg Kienzle, Alexandre Denault, Hans Vangheluwe	Model-Based Design of Computer-Controlled Game Character Behavior.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Joel Greenyer, Ekkart Kindler	Reconciling TGGs with QVT.	MoDELS	2007	DBLP DOI BibTeX RDF	Query/View/Transformation (QVT), MDA, model transformation, Triple Graph Grammar (TGG), model based software engineering, model synchronization
1	Bert Vanhooff, Dhouha Ayed, Stefan Van Baelen, Wouter Joosen, Yolande Berbers	UniTI: A Unified Transformation Infrastructure.	MoDELS	2007	DBLP DOI BibTeX RDF
1	Dragan Gasevic, Nima Kaviani, Marek Hatala	On Metamodeling in Megamodels.	MoDELS	2007	DBLP DOI BibTeX RDF

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