


default search action
8th MoDELS Satellite Events 2005: Montego Bay, Jamaica
- Jean-Michel Bruel:

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
W1 - OCL
- Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer:

Tool Support for OCL and Related Formalisms - Needs and Trends. 1-9 - Wojciech J. Dzidek, Lionel C. Briand, Yvan Labiche

:
Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java. 10-19 - Thomas Baar:

OCL and Graph-Transformations - A Symbiotic Alliance to Alleviate the Frame Problem. 20-31
W2 - MoDeVA
- Benoit Baudry, Christophe Gaston, Sudipto Ghosh:

Report on the 2nd Workshop on Model Development and Validation - MoDeVa. 32-38 - Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion:

Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models. 39-47 - Sascha Konrad, Betty H. C. Cheng

:
Automated Analysis of Natural Language Properties for UML Models. 48-57
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 - Holger Giese, Martin Hirsch:

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. 67-78 - Huáscar Espinoza, Hubert Dubois, Sébastien Gérard

, Julio Luis Medina Pasaje, Dorina C. Petriu
, C. Murray Woodside:
Annotating UML Models with Non-functional Properties for Quantitative Analysis. 79-90
W4 - Aspect-Oriented Modeling
- Jörg Kienzle, Jeff Gray

, Dominik Stein:
Report of the 7th International Workshop on Aspect-Oriented Modeling. 91-99 - Thomas Cottenier, Aswin van den Berg, Tzilla Elrad:

Modeling Aspect-Oriented Compositions. 100-109 - Andrew Jackson, Siobhán Clarke

:
Towards a Generic Aspect Oriented Design Process. 110-119
W5 - MTiP
- Jean Bézivin, Bernhard Rumpe, Andy Schürr, Laurence Tratt:

Model Transformations in Practice Workshop. 120-127 - Frédéric Jouault, Ivan Kurtev

:
Transforming Models with ATL. 128-138 - Michael Lawley, Jim Steel:

Practical Declarative Model Transformation with Tefkat. 139-150
W6 - WiSME
- Krzysztof Czarnecki, Jean-Marie Favre, Martin Gogolla, Tom Mens

:
Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005). 151-158 - Manuel Wimmer, Gerhard Kramler:

Bridging Grammarware and Modelware. 159-168 - Jean Bézivin:

sNets: A First Generation Model Engineering Platform. 169-181
W7 - MDDAUI
- Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann:

Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). 182-190 - Jean-Sébastien Sottet

, Gaëlle Calvary, Jean-Marie Favre, Joëlle Coutaz, Alexandre Demeure, Lionel Balme:
Towards Model Driven Engineering of Plastic User Interfaces. 191-200 - Tim Schattkowsky

, Marc Lohmann:
UML Model Mappings for Platform Independent User Interface Design. 201-209
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 - Antonino Sabetta, Dorina C. Petriu

, Vincenzo Grassi, Raffaela Mirandola:
Abstraction-Raising Transformation for Generating Analysis Models. 217-226 - Claudia López

, Hernán Astudillo
:
Explicit Architectural Policies to Satisfy NFRs Using COTS. 227-236
W9 - MDD for Product-Lines
- Douglas C. Schmidt, Andrey Nechypurenko, Egon Wuchner:

Workshop 9 Summary. 237-246 - Gan Deng, Gunther Lenz, Douglas C. Schmidt:

Addressing Domain Evolution Challenges in Software Product Lines. 247-261 - Neil Loughran, Américo Sampaio

, Awais Rashid
:
From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation. 262-271
W10 - WUsCaM
- Hernán Astudillo

, Gonzalo Génova, Michal Smialek
, Juan Llorens Morillo
, Pierre Metz, Rubén Prieto-Díaz:
Use Cases in Model-Driven Software Engineering. 272-279 - Guy Genilloud, William F. Frank, Gonzalo Génova:

Use Cases, Actions, and Roles. 280-289 - Jon Whittle:

Specifying Precise Use Cases with Use Case Charts. 290-301
Educator's Symposium
- Holger Giese, Pascal Roques, Timothy Lethbridge

:
Summary of the Educator's Symposium. 302-305 - Gregor Engels, Jan Hendrik Hausmann, Marc Lohmann, Stefan Sauer:

Teaching UML Is Teaching Software Engineering Is Teaching Abstraction. 306-319 - Ludwik Kuzniarz, Miroslaw Staron

:
Best Practices for Teaching UML Based Software Development. 320-332
Doctorial Symposium
- Jeff Gray

:
MoDELS 2005 Doctoral Symposium Summary. 333-336 - Nelly Bencomo, Gordon S. Blair:

Preening: Reflection of Models in the Mirror a Meta-modelling Approach to Generate Reflective Middleware Configurations. 337-338 - Fabian Büttner:

Transformation-Based Structure Model Evolution. 339-340 - Ireri Ibarra-Alvarado, Richard K. Stobart

, Rudi Lutz:
Software Hazard Analysis for X-by-Wire Applications. 341-342 - André Karpistsenko:

Enhancement of Development Technologies for Agent-Based Software Engineering. 343-344 - Mark Mahoney:

Modeling Reactive Systems and Aspect-Orientation. 345-346 - Ellen Van Paesschen, Maja D'Hondt:

SelfSync: A Dynamic Round-Trip Engineering Environment. 347-352 - Jaime A. Pavlich-Mariscal

, Steven A. Demurjian, Laurent D. Michel:
A Framework for Composable Security Definition, Assurance, and Enforcement. 353-354 - Stephan Roser, Bernhard Bauer:

Ontology-Based Model Transformation. 355-356 - Hiroshi Wada, Jun Suzuki:

Modeling Turnpike: A Model-Driven Framework for Domain-Specific Software Development. 357-358

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














