Skip to main content
  • Conference proceedings
  • © 2016

Software Technologies

10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

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

Conference series link(s): ICSOFT: International Conference on Software Technologies

Conference proceedings info: ICSOFT 2015.

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-30142-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (23 papers)

  1. Front Matter

    Pages I-XV
  2. Software Paradigm Trends

    1. Front Matter

      Pages 17-17
    2. Filtered Model-Driven Product Line Engineering with SuperMod: The Home Automation Case

      • Felix Schwägerl, Thomas Buchmann, Bernhard Westfechtel
      Pages 19-41
    3. A Semantic Versioning Service Based on Formal Certification

      • Jean-Yves Vion-Dury, Nikolaos Lagos
      Pages 42-62
    4. An Eclipse IDE for Teaching Java–

      • Lorenzo Bettini, Pierluigi Crescenzi
      Pages 63-78
    5. Integrating Model Driven and Model Checking to Mine Design Patterns

      • Mario L. Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
      Pages 99-117
    6. R-UML: An UML Profile for Verification of Flexible Control Systems

      • Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
      Pages 118-136
    7. Invariant Implementation for Domain Models Applying Incremental OCL Techniques

      • Alberto-Manuel Fernández-Álvarez, Daniel Fernández-Lanvin, Manuel Quintela-Pumares
      Pages 137-154
    8. An Ontological Analysis of a Proposed Theory for Software Development

      • Diana Kirk, Stephen MacDonell
      Pages 155-171
  3. Software Engineering and Applications

    1. Front Matter

      Pages 173-173
    2. Specifying Business Process Outsourcing Requirements

      • Mouna Rekik, Khouloud Boukadi, Hanene Ben-Abdallah
      Pages 175-190
    3. Supporting Deviations on Software Processes: A Literature Overview

      • Manel Smatti, Mourad Oussalah, Mohamed Ahmed Nacer
      Pages 191-209
    4. GQM-Based Definition and Evaluation of Software Project Success Indicators

      • Luigi Lavazza, Enrico Frumento, Riccardo Mazza
      Pages 228-249
    5. Dynamic Analysis Techniques to Reverse Engineer Mobile Applications

      • Philippe Dugerdil, Roland Sako
      Pages 250-268
    6. Annotating Goals with Concerns in Goal-Oriented Requirements Engineering

      • Shinpei Hayashi, Wataru Inoue, Haruhiko Kaiya, Motoshi Saeki
      Pages 269-286

Other Volumes

  1. Software Technologies

    10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

About this book

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.

The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems. 

Keywords

  • applied computing
  • business information systems
  • context-aware systems
  • distributed systems
  • domain engineering
  • enterprise computing
  • formal methods
  • mobile computing
  • model-driven development
  • model checking
  • modeling
  • Service Oriented Architecture (SOA)
  • Service Oriented Computing (SOC)
  • software engineering
  • software project management
  • software testing and maintenance

Editors and Affiliations

  • University of Haute Alsace, Mulhouse, France

    Pascal Lorenz

  • Universidade da Coimbra, Coimbra, Portugal

    Jorge Cardoso

  • Macquarie University, Sydney, Australia

    Leszek A. Maciaszek

  • Information Systems Group, Enschede, The Netherlands

    Marten van Sinderen

Bibliographic Information

Buying options

eBook USD 79.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-30142-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 99.99
Price excludes VAT (USA)