Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
| Σειρά: | Lecture Notes in Computer Science,
3844 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- W1 – OCL
- Tool Support for OCL and Related Formalisms – Needs and Trends
- Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java
- OCL and Graph-Transformations – A Symbiotic Alliance to Alleviate the Frame Problem
- W2 – MoDeVA
- Report on the 2nd Workshop on Model Development and Validation – MoDeVa
- Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
- Automated Analysis of Natural Language Properties for UML Models
- W3 – MARTES
- Modeling and Analysis of Real-Time and Embedded Systems
- Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
- Annotating UML Models with Non-functional Properties for Quantitative Analysis
- W4 – Aspect-Oriented Modeling
- Report of the 7th International Workshop on Aspect-Oriented Modeling
- Modeling Aspect-Oriented Compositions
- Towards a Generic Aspect Oriented Design Process
- W5 – MTiP
- Model Transformations in Practice Workshop
- Transforming Models with ATL
- Practical Declarative Model Transformation with Tefkat
- W6 – WiSME
- Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME’2005)
- Bridging Grammarware and Modelware
- sNets: A First Generation Model Engineering Platform
- W7 – MDDAUI
- Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)
- Towards Model Driven Engineering of Plastic User Interfaces
- UML Model Mappings for Platform Independent User Interface Design
- W8 – NfC
- Workshop on Models for Non-functional Properties of Component-Based Software – NfC
- Abstraction-Raising Transformation for Generating Analysis Models
- Explicit Architectural Policies to Satisfy NFRs Using COTS
- W9 – MDD for Product-Lines
- Workshop 9 Summary
- Addressing Domain Evolution Challenges in Software Product Lines
- From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation
- W10 – WUsCaM
- Use Cases in Model-Driven Software Engineering
- Use Cases, Actions, and Roles
- Specifying Precise Use Cases with Use Case Charts
- Educator’s Symposium
- Summary of the Educator’s Symposium
- Teaching UML Is Teaching Software Engineering Is Teaching Abstraction
- Best Practices for Teaching UML Based Software Development
- Doctorial Symposium
- MoDELS 2005 Doctoral Symposium Summary
- Preening: Reflection of Models in the Mirror a Meta-modelling Approach to Generate Reflective Middleware Configurations
- Transformation-Based Structure Model Evolution
- Software Hazard Analysis for X-by-Wire Applications
- Enhancement of Development Technologies for Agent-Based Software Engineering
- Modeling Reactive Systems and Aspect-Orientation
- SelfSync: A Dynamic Round-Trip Engineering Environment
- A Framework for Composable Security Definition, Assurance, and Enforcement
- Ontology-Based Model Transformation
- Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development.
