| Description |
1 online resource (viii, 171 pages) |
| Series |
Communications in computer and information science, 1865-0929 ; 410 |
|
Communications in computer and information science ; 410.
|
| Contents |
Papers. Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage / TheAnh Do, A.C.M. Fong and Russel Pears -- Using Roles as Units of Composition / Fernando Barbosa and Ademar Aguiar -- Extending Service Selection Algorithms with Interoperability Analysis / Paweł Kaczmarek -- Correlation of Business Activities Executed in Legacy Information Systems / Ricardo Pérez-Castillo, Barbara Weber and Mario Piattini -- Detection of Infeasible Paths: Approaches and Challenges / Sun Ding and Hee Beng Kuan Tan -- A Formal Monitoring Technique for SIP Conformance Testing / Xiaoping Che, Felipe Lalanne and Stephane Maag -- Unified Modeling of Static Relationships between Program Elements / Ioana Şora -- Social Adaptation at Runtime / Raian Ali, Carlos Solis, Inah Omoronyia, Mazeiar Salehie and Bashar Nuseibeh -- An Agent Oriented Development Process for Multimedia Systems, / Alma M. Gómez-Rodríguez, Juan Carlos González-Moreno, David Ramos-Valcárcel [and others] -- A Semi-automated Approach towards Handling Inconsistencies in Software Requirements / Richa Sharma and K.K. Biswas -- Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications / Radosław Klimek |
| Summary |
This book constitutes the thoroughly refereed proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012, held in Wroclaw, Poland, in June 2012. The 11 full papers presented were carefully reviewed and selected from 54 submissions. The papers cover various topics in software engineering and focus on the comparison of novel approaches with established traditional practices and by evaluating them against software quality criteria |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
| Notes |
Includes author index |
| Subject |
Software engineering -- Congresses
|
|
Software Design
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Maciaszek, Leszek, editor
|
|
Filipe, Joaquim, editor
|
| ISBN |
9783642454226 |
|
3642454224 |
|
3642454216 |
|
9783642454219 |
|
