Skip to main content
SpringerLink
Log in

Evaluation of Novel Approaches to Software Engineering

7th International Conference, ENASE 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Leszek A. Maciaszek

    1. Department of Computing, Macquarie University, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joaquim Filipe

    1. INSTICC and IPS, Setúbal, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 410)

Included in the following conference series:

Conference proceedings info: ENASE 2012.

Buy print copy

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

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

      • TheAnh Do, A. C. M. Fong, Russel Pears
      Pages 3-15
      Download chapter PDF

    3. Using Roles as Units of Composition

      • Fernando Barbosa, Ademar Aguiar
      Pages 16-32
      Download chapter PDF

    4. Extending Service Selection Algorithms with Interoperability Analysis

      • Paweł Kaczmarek
      Pages 33-47
      Download chapter PDF

    5. Correlation of Business Activities Executed in Legacy Information Systems

      • Ricardo Pérez-Castillo, Barbara Weber, Mario Piattini
      Pages 48-63
      Download chapter PDF

    6. Detection of Infeasible Paths: Approaches and Challenges

      • Sun Ding, Hee Beng Kuan Tan
      Pages 64-78
      Download chapter PDF

    7. A Formal Monitoring Technique for SIP Conformance Testing

      • Xiaoping Che, Felipe Lalanne, Stephane Maag
      Pages 79-94
      Download chapter PDF

    8. Unified Modeling of Static Relationships between Program Elements

      • Ioana Şora
      Pages 95-109
      Download chapter PDF

    9. Social Adaptation at Runtime

      • Raian Ali, Carlos Solis, Inah Omoronyia, Mazeiar Salehie, Bashar Nuseibeh
      Pages 110-127
      Download chapter PDF

    10. An Agent Oriented Development Process for Multimedia Systems,

      • Alma M. Gómez-Rodríguez, Juan Carlos González-Moreno, David Ramos-Valcárcel, Francisco Javier Rodriguez-Martinez
      Pages 128-141
      Download chapter PDF

    11. A Semi-automated Approach towards Handling Inconsistencies in Software Requirements

      • Richa Sharma, K. K. Biswas
      Pages 142-156
      Download chapter PDF

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

      • Radosław Klimek
      Pages 157-171
      Download chapter PDF

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Evaluation of Novel Approaches to Software Engineering

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computing, Macquarie University, Sydney, Australia

    Leszek A. Maciaszek

  • INSTICC and IPS, Setúbal, Portugal

    Joaquim Filipe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation