Model driven engineering languages and systems 10th international conference, MODELS 2007, Nashville, USA, September 30-October 5, 2007, proceedings
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Berlin, Germany ; New York, New York :
Springer-Verlag
[2007]
|
| Edición: | 1st ed. 2007. |
| Colección: | Programming and Software Engineering ;
4735 |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714016206719 |
Tabla de Contenidos:
- Model Transformation
- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions
- Reconciling TGGs with QVT
- UniTI: A Unified Transformation Infrastructure
- Modeling Constraints
- Guided Development with Multiple Domain-Specific Languages
- Model-Driven, Network-Context Sensitive Intrusion Detection
- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications
- Meta-Modeling
- On Metamodeling in Megamodels
- Magritte – A Meta-driven Approach to Empower Developers and End Users
- Matching Model-Snippets
- Consistent Models
- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs
- Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis
- Automated Semantic Analysis of Design Models
- Modeling Support
- Piecewise Modelling with State Subtypes
- Deriving Operation Contracts from UML Class Diagrams
- Finding the Pattern You Need: The Design Pattern Intent Ontology
- User Interface Design
- Model-Driven Approach for Managing Human Interface Design Life Cycle
- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications
- A Business-Process-Driven Approach for Generating E-Commerce User Interfaces
- Language Definition
- Enhancing UML Extensions with Operational Semantics.
- Integrated Definition of Abstract and Concrete Syntax for Textual Languages
- Architectural Aspects in UML
- Modeling Methods
- Domain Specific Modeling Methodology for Reconfigurable Networked Systems
- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems
- Relating Navigation and Request Routing Models in Web Applications
- Service and Process Modeling
- A UML2 Profile for Service Modeling
- Automatic Generation of Workflow-Extended Domain Models
- A Practical Perspective on the Design and Implementation of Service-Oriented Solutions
- Model Analysis
- Constructive Techniques for Meta- and Model-Level Reasoning
- A Metamodel-Based Approach for Analyzing Security-Design Models
- UML2Alloy: A Challenging Model Transformation
- Modeling Process
- i 2 MAP: An Incremental and Iterative Modeling and Analysis Process
- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation
- Model-Driven Engineering for Software Migration in a Large Industrial Context
- Aspects
- Introducing Variability into Aspect-Oriented Modeling Approaches
- An Expressive Aspect Composition Language for UML State Diagrams
- Enhancing UML State Machines with Aspects
- New Language Features
- Complementary Use Case Scenario Representations Based on Domain Vocabularies
- Modeling Time(s)
- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
- Debugging Support
- Forensic Debugging of Model Transformations
- Runtime Debugging Using Reverse-Engineered UML
- Formally Defining a Graphical Language for Monitoring and Checking Object Interactions
- Statecharts
- Statechart Development Beyond WYSIWYG
- Model-Based Design of Computer-Controlled Game Character Behavior
- Model-Driven Construction of Certified Binaries
- Workshops, Tutorials and Panels
- Workshops and Symposia at MODELS 2007
- Tutorials at MODELS 2007
- Panels at MODELS 2007.
