default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMoDELS 2007: Nashville, USA
- Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil:
Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings. Lecture Notes in Computer Science 4735, Springer 2007, ISBN 978-3-540-75208-0
Model Transformation
- Perdita Stevens:
Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions. 1-15 - Joel Greenyer, Ekkart Kindler
:
Reconciling TGGs with QVT. 16-30 - Bert Vanhooff, Dhouha Ayed, Stefan Van Baelen, Wouter Joosen, Yolande Berbers:
UniTI: A Unified Transformation Infrastructure. 31-45
Modeling Constraints
- Anders Hessellund, Krzysztof Czarnecki, Andrzej Wasowski:
Guided Development with Multiple Domain-Specific Languages. 46-60 - Frédéric Massicotte, Mathieu Couture, Lionel C. Briand, Yvan Labiche:
Model-Driven, Network-Context Sensitive Intrusion Detection. 61-75 - 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. 76-90
Meta-Modeling
- Dragan Gasevic, Nima Kaviani, Marek Hatala:
On Metamodeling in Megamodels. 91-105 - Lukas Renggli, Stéphane Ducasse, Adrian Kuhn:
Magritte - A Meta-driven Approach to Empower Developers and End Users. 106-120 - Rodrigo Ramos, Olivier Barais, Jean-Marc Jézéquel:
Matching Model-Snippets. 121-135
Consistent Models
- Jochen Malte Küster, Ksenia Ryndina:
Improving Inconsistency Resolution with Side-Effect Evaluation and Costs. 136-150 - Praveen K. Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa:
Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. 151-165 - Frank Weil, Brian E. Mastenbrook, David Nelson, Paul H. Dietz, Aswin van den Berg:
Automated Semantic Analysis of Design Models. 166-180
Modeling Support
- Friedrich Steimann, Thomas Kühne:
Piecewise Modelling with State Subtypes. 181-195 - Jordi Cabot, Cristina Gómez:
Deriving Operation Contracts from UML Class Diagrams. 196-210 - Holger Kampffmeyer, Steffen Zschaler:
Finding the Pattern You Need: The Design Pattern Intent Ontology. 211-225
User Interface Design
- Noi Sukaviriya, Vibha Sinha, Thejaswini Ramachandra, Senthil Mani:
Model-Driven Approach for Managing Human Interface Design Life Cycle. 226-240 - Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann:
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications. 241-255 - Xulin Zhao, Ying Zou, Jen Hawkins, Bhadri Madapusi:
A Business-Process-Driven Approach for Generating E-Commerce User Interfaces. 256-270
Language Definition
- Arnaud Cuccuru, Chokri Mraidha, François Terrier, Sébastien Gérard:
Enhancing UML Extensions with Operational Semantics. 271-285 - Holger Krahn, Bernhard Rumpe, Steven Völkel:
Integrated Definition of Abstract and Concrete Syntax for Textual Languages. 286-300 - Jon Oldevik, Øystein Haugen:
Architectural Aspects in UML. 301-315
Modeling Methods
- Gabor Batori, Zoltán Theisz, Domonkos Asztalos:
Domain Specific Modeling Methodology for Reconfigurable Networked Systems. 316-330 - Kari Leppänen, Sari Leppänen, Markku Turunen:
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems. 331-345 - Minmin Han, Christine Hofmeister:
Relating Navigation and Request Routing Models in Web Applications. 346-359
Service and Process Modeling
- Vina Ermagan, Ingolf H. Krüger:
A UML2 Profile for Service Modeling. 360-374 - Marco Brambilla, Jordi Cabot, Sara Comai:
Automatic Generation of Workflow-Extended Domain Models. 375-389 - Alan W. Brown, Marc Delbaere, Simon K. Johnston:
A Practical Perspective on the Design and Implementation of Service-Oriented Solutions. 390-404
Model Analysis
- Ethan K. Jackson, Janos Sztipanovits:
Constructive Techniques for Meta- and Model-Level Reasoning. 405-419 - David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea:
A Metamodel-Based Approach for Analyzing Security-Design Models. 420-435 - Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray:
UML2Alloy: A Challenging Model Transformation. 436-450
Modeling Process
- Sascha Konrad, Heather Goldsby, Betty H. C. Cheng:
i2MAP : An Incremental and Iterative Modeling and Analysis Process. 451-466 - Silvia Abrahão, Emilia Mendes, Jaime Gómez, Emilio Insfrán:
A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation. 467-481 - Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel:
Model-Driven Engineering for Software Migration in a Large Industrial Context. 482-497
Aspects
- Philippe Lahire, Brice Morin, Gilles Vanwormhoudt, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel:
Introducing Variability into Aspect-Oriented Modeling Approaches. 498-513 - Jon Whittle, Ana Moreira, João Araújo, Praveen K. Jayaraman, Ahmed M. Elkhodary, Rasheed Rabbi:
An Expressive Aspect Composition Language for UML State Diagrams. 514-528 - Gefei Zhang, Matthias M. Hölzl, Alexander Knapp:
Enhancing UML State Machines with Aspects. 529-543
New Language Features
- Michal Smialek, Jacek Bojarski, Wiktor Nowakowski, Albert Ambroziewicz, Tomasz Straszak:
Complementary Use Case Scenario Representations Based on Domain Vocabularies. 544-558 - Charles André, Frédéric Mallet, Robert de Simone:
Modeling Time(s). 559-573 - Gregory Zoughbi, Lionel C. Briand, Yvan Labiche:
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. 574-588
Debugging Support
- Mark Hibberd, Michael Lawley, Kerry Raymond:
Forensic Debugging of Model Transformations. 589-604 - Orest Pilskalns, Scott Wallace, Filaret Ilas:
Runtime Debugging Using Reverse-Engineered UML. 605-619 - Kai Xu, Donglin Liang:
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions. 620-634
Statecharts
- Steffen Prochnow, Reinhard von Hanxleden:
Statechart Development Beyond WYSIWYG. 635-649 - Jörg Kienzle, Alexandre Denault, Hans Vangheluwe:
Model-Based Design of Computer-Controlled Game Character Behavior. 650-665 - Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger:
Model-Driven Construction of Certified Binaries. 666-681
Workshops, Tutorials and Panels
- Holger Giese:
Workshops and Symposia at MODELS 2007. 682-690 - Jeff Gray:
Tutorials at MODELS 2007. 691-694 - Jean-Michel Bruel:
Panels at MODELS 2007. 695
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.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
