![]() |
![]() |
![]() |
![]() |
|
![]() ![]() ![]() |
![]() |
![]() |
![]() |
|
The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. A diploma will be issued in the name of the authors and mailed to the contact author. Papers Reuse through Requirements Traceability Towards a Generic Approach for Model Composition On the Effectiveness of Manual and Automatic Unit Test Generation Goal Sketching with Activity Diagrams Daidalos II: Implementing a Scenario Driven Process Alternative/Exceptional Scenario Generation with Differential Scenario Assurance-Driven Design A Formal Definition of Complex Software An Approach to Addressing Entity Model Variability within Software Product Lines Incremental Verification of Large Scale Workflows Based on Extended Correctness |
![]() |
|||
![]() |
||||
![]() |
||||
![]() |
||||
![]() |
![]() |
|||
![]() |
||||
![]() |
||||
![]() |
![]() |
|||
![]() |
![]() |
Copyright (c) 2006-2010, IARIA