Evaluation of novel approaches to software engineering, 7th international conference: revised selected papers : ENASE 2012, Warsaw, Poland, June 29-30, 2012

Información General

• Autores: Leszek A. Maciaszek (ed. lit.), Joaquim Filipe (ed. lit.)
• Editores: Springer Alemania
• Año de publicación: 2013
• País: Alemania
• Idioma: inglés
• ISBN: 978-3-642-45421-9
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Dynamic Symbolic Execution Guided by Data Dependency Analysis for High Structural Coverage

    TheAnh Do, A. C. M. Fong, Russel Pears

    págs. 3-15

    

  • Using Roles as Units of Composition

    Fernando Barbosa, Ademar Aguiar

    págs. 16-32

    

  • Extending Service Selection Algorithms with Interoperability Analysis

    Paweł Kaczmarek

    págs. 33-47

    

  • Correlation of Business Activities Executed in Legacy Information Systems

    Ricardo Pérez Castillo, Barbara Weber, Mario G. Piattini Velthuis

    págs. 48-63

    

  • Detection of Infeasible Paths: Approaches and Challenges

    Sun Ding, Hee Beng Kuan Tan

    págs. 64-78

    

  • A Formal Monitoring Technique for SIP Conformance Testing

    Xiaoping Cheng, Felipe Lalanne, Stephane Maag

    págs. 79-94

    

  • Unified Modeling of Static Relationships between Program Elements

    Ioana Şora

    págs. 95-109

    

  • Social Adaptation at Runtime

    Raian Ali, Carlos Solis, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh

    págs. 110-127

    

  • An Agent Oriented Development Process for Multimedia Systems

    Alma María Gómez Rodríguez, Juan Carlos González Moreno, David Ramos Valcárcel, Francisco Javier Rodríguez Martínez

    págs. 128-141

    

  • A Semi-automated Approach towards Handling Inconsistencies in Software Requirements

    Richa Sharma, K.K. Biswas

    págs. 142-156

    

  • Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications

    Radosław Klimek

    págs. 157-171