default search action
1. RISE 2004: Luxembourg-Kirchberg, Luxembourg
- Nicolas Guelfi:
Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3475, Springer 2005, ISBN 3-540-25812-4 - Christopher Nelson, Jung Soo Kim:
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report. 1-10 - Anthony Savidis:
Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language. 11-22 - Colin Atkinson, Oliver Hummel:
Towards a Methodology for Component-Driven Design. 23-33 - Shanshan Jiang, Cyril Carrez, Finn Arve Aagesen:
Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification. 34-44 - María Alpuente, Moreno Falaschi, Alicia Villanueva:
A Symbolic Model Checker for tccp Programs. 45-56 - Levi Lucio, Luis Pedro, Didier Buchs:
A Methodology and a Framework for Model-Based Testing. 57-70 - Heejung Ohe, Byeong-Mo Chang:
An Exception Monitoring System for Java. 71-81 - Aurélien Campéas, Christophe Dony, Christelle Urtado, Sylvain Vauttier:
Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems. 82-92 - Sharareh Afsharian, Antonia Bertolino, Guglielmo De Angelis, Paola Iovanna, Raffaela Mirandola:
A Model Based Approach to Design Applications for Network Processor. 93-101 - Joakim Isaksson, Johan Lilius, Dragos Truscan:
A MOF-Based Metamodel for SA/RT. 102-111 - Elvinia Riccobene, Patrizia Scandurra:
Modelling SystemC Process Behavior by the UML Method State Machines. 112-121 - H. A. de Jong, A. Taeke Kooiker:
My Favorite Editor Anywhere. 122-131
Invited Paper
- Marc Born, Ina Schieferdecker, Olaf Kath, Chiaki Hirai:
Combining System Development and System Test in a Model-Centric Approach. 132-143
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.