Evaluation of Novel Approaches to Software Engineering

8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

  • Joaquim Filipe
  • Leszek A. Maciaszek
Conference proceedings ENASE 2013

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

Table of contents

  1. Front Matter
  2. Imen Derbel, Lamia Labed Jilani, Ali Mili
    Pages 16-32
  3. Tahar Gherbi, Isabelle Borne, Djamel Meslati
    Pages 64-80
  4. Damian Grela, Krzysztof Sapiecha, Joanna Strug
    Pages 81-93
  5. Fernando Barbosa, Ademar Aguiar
    Pages 94-109
  6. Bilal Raza, Stephen G. MacDonell, Tony Clear
    Pages 126-140
  7. Youcef Baghdadi, Ricardo Pérez-Castillo
    Pages 151-163
  8. Federico Toledo Rodríguez, Matías Reina, Fabián Baptista, Macario Polo Usaola, Beatriz Pérez Lamancha
    Pages 164-173
  9. Abhishek Dharmapurikar, Benjamin J. R. Wierwille, Jayashree Ramanthan, Rajiv Ramnath
    Pages 203-217
  10. María Fernández-Ropero, Ricardo Pérez-Castillo, Mario Piattini
    Pages 218-228
  11. Iván Santiago, Juan M. Vara, Valeria de Castro, Esperanza Marcos
    Pages 229-240
  12. Feliu Trias, Valeria de Castro, Marcos López-Sanz, Esperanza Marcos
    Pages 241-256
  13. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration.

Keywords

business information systems business process modeling formal verification requirements engineering software models

Editors and affiliations

  • Joaquim Filipe
    • 1
  • Leszek A. Maciaszek
    • 2
  1. 1.INSTICC and IPS, EstefanilhaSetúbalPortugal
  2. 2.Department of ComputingMacquarie UniversitySydneyAustralia

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-54092-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54091-2
  • Online ISBN 978-3-642-54092-9
  • Series Print ISSN 1865-0929
  • Series Online ISSN 1865-0937
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace