Abstract is missing.
- Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural CoverageTheAnh Do, Alvis Cheuk M. Fong, Russel Pears. 3-15 [doi]
- Using Roles as Units of CompositionFernando Sérgio Barbosa, Ademar Aguiar. 16-32 [doi]
- Extending Service Selection Algorithms with Interoperability AnalysisPawel Kaczmarek. 33-47 [doi]
- Correlation of Business Activities Executed in Legacy Information SystemsRicardo Pérez-Castillo, Barbara Weber, Mario Piattini. 48-63 [doi]
- Detection of Infeasible Paths: Approaches and ChallengesSun Ding, Hee Beng Kuan Tan. 64-78 [doi]
- A Formal Monitoring Technique for SIP Conformance TestingXiaoping Che, Felipe Lalanne, Stephane Maag. 79-94 [doi]
- Unified Modeling of Static Relationships between Program ElementsIoana Sora. 95-109 [doi]
- Social Adaptation at RuntimeRaian Ali, Carlos Solís, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh. 110-127 [doi]
- An Agent Oriented Development Process for Multimedia Systems, Alma María Gómez-Rodríguez, Juan Carlos González Moreno, David Ramos-Valcarcel, Francisco Javier Rodríguez-Martínez. 128-141 [doi]
- A Semi-automated Approach towards Handling Inconsistencies in Software RequirementsRicha Sharma, K. K. Biswas. 142-156 [doi]
- Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical SpecificationsRadoslaw Klimek. 157-171 [doi]