8. MoDELS Satellite Events 2005:
Montego Bay,
Jamaica
Jean-Michel Bruel (Ed.):
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.
Lecture Notes in Computer Science 3844 Springer 2006, ISBN 3-540-31780-5 BibTeX
W1 - OCL
W2 - MoDeVA
W3 - MARTES
- Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic:
Modeling and Analysis of Real-Time and Embedded Systems.
58-66
Electronic Edition (link) BibTeX
- Holger Giese, Martin Hirsch:
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.
67-78
Electronic Edition (link) BibTeX
- Huáscar Espinoza, Hubert Dubois, Sébastien Gérard, Julio L. Medina Pasaje, Dorina C. Petriu, C. Murray Woodside:
Annotating UML Models with Non-functional Properties for Quantitative Analysis.
79-90
Electronic Edition (link) BibTeX
W4 - Aspect-Oriented Modeling
W5 - MTiP
W6 - WiSME
W7 - MDDAUI
W8 - NfC
- Geri Georg, Jan Øyvind Aagedal, Raffaela Mirandola, Ileana Ober, Dorina C. Petriu, Wolfgang Theilmann, Jon Whittle, Steffen Zschaler:
Workshop on Models for Non-functional Properties of Component-Based Software - NfC.
210-216
Electronic Edition (link) BibTeX
- Antonino Sabetta, Dorina C. Petriu, Vincenzo Grassi, Raffaela Mirandola:
Abstraction-Raising Transformation for Generating Analysis Models.
217-226
Electronic Edition (link) BibTeX
- Claudia López, Hernán Astudillo:
Explicit Architectural Policies to Satisfy NFRs Using COTS.
227-236
Electronic Edition (link) BibTeX
W9 - MDD for Product-Lines
W10 - WUsCaM
Educator's Symposium
Doctorial Symposium
- Jeff Gray:
MoDELS 2005 Doctoral Symposium Summary.
333-336
Electronic Edition (link) BibTeX
- Nelly Bencomo, Gordon S. Blair:
Preening: Reflection of Models in the Mirror a Meta-modelling Approach to Generate Reflective Middleware Configurations.
337-338
Electronic Edition (link) BibTeX
- Fabian Büttner:
Transformation-Based Structure Model Evolution.
339-340
Electronic Edition (link) BibTeX
- Ireri Ibarra-Alvarado, Richard K. Stobart, Rudi Lutz:
Software Hazard Analysis for X-by-Wire Applications.
341-342
Electronic Edition (link) BibTeX
- Andre Karpistsenko:
Enhancement of Development Technologies for Agent-Based Software Engineering.
343-344
Electronic Edition (link) BibTeX
- Mark Mahoney:
Modeling Reactive Systems and Aspect-Orientation.
345-346
Electronic Edition (link) BibTeX
- Ellen Van Paesschen, Maja D'Hondt:
SelfSync: A Dynamic Round-Trip Engineering Environment.
347-352
Electronic Edition (link) BibTeX
- Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel:
A Framework for Composable Security Definition, Assurance, and Enforcement.
353-354
Electronic Edition (link) BibTeX
- Stephan Roser, Bernhard Bauer:
Ontology-Based Model Transformation.
355-356
Electronic Edition (link) BibTeX
- Hiroshi Wada, Jun Suzuki:
Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development.
357-358
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:44:20 2009
by Michael Ley (ley@uni-trier.de)
