Workshop Proceedings
The workshop proceedings are now available in the IEEE Digital Library.
Case Study
The case study document describes the Canal Monitoring and Control System (CMCS).
Workshop Papers
Full research papers:
- Daniel Aceituna, Hyunsook Do, and Seok-Won Lee:
Interactive Requirements Validation for Reactive Systems through Virtual Requirements Prototype (presentation) - Dominique Blouin, Eric Senn, and Skander Turki:
Defining an Annex Language to the Architecture Analysis and Design Language for Requirements Engineering Activities Support (presentation) - Fábio Levy Siqueira and Paulo Sérgio Muniz Silva:
Transforming an Enterprise Model into a Use Case Model Using Existing Heuristics (presentation) - Grzegorz Loniewski, Ausias Armesto, and Emilio Insfran:
An Architecture-Oriented Model-Driven Requirements Engineering Approach (presentation) - Gunter Mussbacher, Jörg Kienzle, and Daniel Amyot:
Transformation of Aspect-oriented Requirements Specifications for Reactive Systems into Aspect-oriented Design Specifications (presentation) - Jelena Marincic, Angelika Mader, and Roel Wieringa:
Validation of Embedded System Verification Models (presentation) - Miguel Goulão, Ana Moreira, João Araújo, and João Pedro Santos:
Streamlining Scenario Modeling with Model-Driven Development: A Case Study (presentation) - Nicolas Sannier, Benoit Baudry, and Thuy Nguyen:
Formalizing Standards and Regulations Variability in Longlife Projects - A Challenge for Model-Driven Engineering (presentation)
Short position paper:
- J.-Pierre Corriveau, Soheila Bashardoust, and Vojislav D. Radonjic:
Requirements Verification in the Presence of Variability - On the Feasibility of a Model-Driven Approach (presentation)
Workshop Discussions
- Requirements Graphs and Scenario Notations
- Scenario and Variability Modeling
- Verification and Validation
Group Photo
Access to the workshop materials is password-protected and restricted to workshop participants. Please email modre2011-info at site.uottawa.ca with access requests.