Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
Σειρά: | Lecture Notes in Computer Science,
4735 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.