Stop the war!Остановите войну!
for scientists:
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 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 Mara 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
a service of 
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-04-19 19:17 CEST 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:
