default search action
7th ENASE 2012: Wroclaw, Poland
- Leszek A. Maciaszek, Joaquim Filipe:
Evaluation of Novel Approaches to Software Engineering - 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers. Communications in Computer and Information Science 410, Springer 2013, ISBN 978-3-642-45421-9
Papers
- TheAnh Do, Alvis Cheuk M. Fong, Russel Pears:
Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage. 3-15 - Fernando Sérgio Barbosa, Ademar Aguiar:
Using Roles as Units of Composition. 16-32 - Pawel Kaczmarek:
Extending Service Selection Algorithms with Interoperability Analysis. 33-47 - Ricardo Pérez-Castillo, Barbara Weber, Mario Piattini:
Correlation of Business Activities Executed in Legacy Information Systems. 48-63 - Sun Ding, Hee Beng Kuan Tan:
Detection of Infeasible Paths: Approaches and Challenges. 64-78 - Xiaoping Che, Felipe Lalanne, Stephane Maag:
A Formal Monitoring Technique for SIP Conformance Testing. 79-94 - Ioana Sora:
Unified Modeling of Static Relationships between Program Elements. 95-109 - Raian Ali, Carlos Solís, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh:
Social Adaptation at Runtime. 110-127 - Alma María Gómez-Rodríguez, Juan Carlos González Moreno, David Ramos-Valcarcel, Francisco Javier Rodríguez-Martínez:
An Agent Oriented Development Process for Multimedia Systems, . 128-141 - Richa Sharma, K. K. Biswas:
A Semi-automated Approach towards Handling Inconsistencies in Software Requirements. 142-156 - Radoslaw Klimek:
Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications. 157-171
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.