Skip to main content
SpringerLink
Log in
Book cover

Software Technologies

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Pascal Lorenz

    1. University of Haute Alsace, Mulhouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jorge Cardoso

    1. Universidade da Coimbra, Coimbra, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Leszek A. Maciaszek

    1. Macquarie University, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Marten van Sinderen

    1. Information Systems Group, Enschede, The Netherlands

    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 586)

Included in the following conference series:

Conference proceedings info: ICSOFT 2015.

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 EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  3. Software Paradigm Trends

    1. Front Matter

      Pages 17-17
      Download chapter PDF

    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. Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis

      • Rene Meis, Maritta Heisel
      Pages 79-98

    6. 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

    7. R-UML: An UML Profile for Verification of Flexible Control Systems

      • Mohamed Oussama Ben Salem, Olfa Mosbahi, Mohamed Khalgui, Georg Frey
      Pages 118-136

    8. Invariant Implementation for Domain Models Applying Incremental OCL Techniques

      • Alberto-Manuel Fernández-Álvarez, Daniel Fernández-Lanvin, Manuel Quintela-Pumares
      Pages 137-154

    9. An Ontological Analysis of a Proposed Theory for Software Development

      • Diana Kirk, Stephen MacDonell
      Pages 155-171

  4. Software Engineering and Applications

    1. Front Matter

      Pages 173-173
      Download chapter PDF

    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. Protection of Customers’ and Suppliers’ Knowledge in Software Development Projects with Fixed-Price Contract: Using Property Rights Theory

      • Cornelia Gaebert
      Pages 210-227

    5. GQM-Based Definition and Evaluation of Software Project Success Indicators

      • Luigi Lavazza, Enrico Frumento, Riccardo Mazza
      Pages 228-249

    6. Dynamic Analysis Techniques to Reverse Engineer Mobile Applications

      • Philippe Dugerdil, Roland Sako
      Pages 250-268

    7. Annotating Goals with Concerns in Goal-Oriented Requirements Engineering

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

    8. A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines

      • Julie Street Fant, Hassan Gomaa, Robert G. Pettit
      Pages 287-306
Back to top

Other volumes

  1. Software Technologies

Keywords

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. 

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

Publish with us

Policies and ethics

Back to top

Search

Navigation