Jean-Michel Bruel (ed.)

Satellite Events at the MoDELS 2005 Conference

MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers
Herausgegeben:Bruel, Jean-Michel

• Broschiertes Buch

Produktbeschreibung

The 30 revised full papers were carefully selected for inclusion in the book and are presented along with an educators's and a doctorial symposium section comprising additional 13 short articles. The papers are organized in topical sections representing the various workshops

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 3844
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 11663430, 978-3-540-31780-7
• 2006
• Seitenzahl: 376
• Erscheinungstermin: 25. Januar 2006
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 569g
• ISBN-13: 9783540317807
• ISBN-10: 3540317805
• Artikelnr.: 26433921

Autorenporträt

Jean-Michel Bruel, Université de Pau, France

Inhaltsangabe

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.