Skip to main content
Springer Nature Link
Account

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

  2. Joaquim Filipe

    1. INSTICC and IPS, Setúbal, Portugal

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.

  • 4052 Accesses

  • 2 Citations

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

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

    3. Using Roles as Units of Composition

      • Fernando Barbosa, Ademar Aguiar
      Pages 16-32

    4. Extending Service Selection Algorithms with Interoperability Analysis

      • Paweł Kaczmarek
      Pages 33-47

    5. Correlation of Business Activities Executed in Legacy Information Systems

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

    6. Detection of Infeasible Paths: Approaches and Challenges

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

    7. A Formal Monitoring Technique for SIP Conformance Testing

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

    8. Unified Modeling of Static Relationships between Program Elements

      • Ioana Şora
      Pages 95-109

    9. Social Adaptation at Runtime

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

    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

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

      • Richa Sharma, K. K. Biswas
      Pages 142-156

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

      • Radosław Klimek
      Pages 157-171

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Evaluation of Novel Approaches to Software Engineering

Editors and Affiliations

  • Department of Computing, Macquarie University, Sydney, Australia

    Leszek A. Maciaszek

  • INSTICC and IPS, Setúbal, Portugal

    Joaquim Filipe

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top