|  |  |  |  | |
|      |  |  |  | |
| 
 
 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 A Modeling Framework for the Development of Provably Secure E-Commerce   Applications Verification Algorithm of Evidence Life Cycles in Extended UML Activity   Diagrams The Most Important Service-Orieneted Antipatterns Redundant Coupling Detection Using Dynamic Dependence Analysis DEUCE: Separating Concerns in User   Interfaces Using a Process Modeling Language for the   Design and Implementation of Process-Driven Applications Goal Sketching: Towards Agile Requirements Engineering Group Decision-Making Processes in Industrial Software   Evolution |  | |||
|  | ||||
|  | ||||
|  | ||||
|  |  | |||
|  | ||||
|  | ||||
|  |  | |||
|  |  | 
Copyright (c) 2006, IARIA