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
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
Annotating UML Models with Non-functional Properties for Quantitative Analysis. 79-90
W4 - Aspect-Oriented Modeling
- Jörg Kienzle, Jeff Gray
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
Towards Model Driven Engineering of Plastic User Interfaces. 191-200 - Tim Schattkowsky
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
Workshop on Models for Non-functional Properties of Component-Based Software - NfC. 210-216 - Antonino Sabetta, Dorina C. Petriu
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
From Requirements Documents to Feature Models for Aspect Oriented Product Line Implementation. 262-271
W10 - WUsCaM
- Hernán Astudillo
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
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
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.
last updated on 2025-01-02 18:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: