Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Σειρά: | Lecture Notes in Computer Science,
4364 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- W1 – Aspect-Oriented Modeling
- 9th International Workshop on Aspect-Oriented Modeling
- Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study
- Join Point Patterns: A High-Level Join Point Selection Mechanism
- W2 – Critical Systems Development
- Critical Systems Development Using Modeling Languages – CSDUML 2006 Workshop Report
- Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset
- Model Checking of UML 2.0 Interactions
- W3 – Reverse Engineering
- 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies
- A Unified Ontology-Based Process Model for Software Maintenance and Comprehension
- Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL
- W4 – Quality in Modeling
- The 1st Workshop on Quality in Modeling
- Consistency of Business Process Models and Object Life Cycles
- A Qualitative Investigation of UML Modeling Conventions
- W5 – Advanced User Interfaces
- Model Driven Development of Advanced User Interfaces (MDDAUI) – MDDAUI’06 Workshop Report
- A Model-Driven Approach to the Engineering of Multiple User Interfaces
- Model-Driven Dynamic Generation of Context-Adaptive Web User Interfaces
- W6 – Real-Time and Embedded Systems
- Modelling and Analysis of Real Time and Embedded Systems – Using UML
- Time Exceptions in Sequence Diagrams
- Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems
- W7 – OCL
- OCL for (Meta-)Models in Multiple Application Domains
- OCL-Based Validation of a Railway Domain Profile
- OCL Support in an Industrial Environment
- W8 – Integrating MDA and V&V
- Report on the 3rd MoDeVa Workshop – Model Design and Validation
- Towards Model-Driven Unit Testing
- Validation of Model Transformations – First Experiences Using a White Box Approach
- W9 – Model Size Metrics
- Summary of the 2006 Model Size Metrics Workshop
- Model Size Matters
- On the Application of Software Metrics to UML Models
- W10 – Models@run.time
- Summary of the Workshop Models@run.time at MoDELS 2006
- Using Runtime Models to Unify and Structure the Handling of Meta-information in Reflective Middleware
- Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems
- W11 – Multi-Paradigm Modeling
- Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools
- Think Global, Act Local: Implementing Model Management with Domain-Specific Integration Languages
- S1 – Doctoral Symposium
- MoDELS 2006 Doctoral Symposium
- Model Driven Security Engineering for the Realization of Dynamic Security Requirements in Collaborative Systems
- S2 – Educators Symposium
- Educators’ Symposium at MoDELS 2006
- If You’re Not Modeling, You’re Just Programming: Modeling Throughout an Undergraduate Software Engineering Program
- Teaching Software Modeling in a Simulated Project Environment
- Repository for Model Driven Development (ReMoDD)
- S3 – A Formal Semantics for UML
- 2 nd UML 2 Semantics Symposium: Formal Semantics for UML
- A UML Simulator Based on a Generic Model Execution Engine
- Queries and Constraints: A Comprehensive Semantic Model for UML2
- Analysis of UML Activities with Dynamic Meta Modeling Techniques.
