Software technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, revised selected papers

Machine generated contents note: Invited Paper -- What Do We Know and How Well Do We Know It? Current Knowledge About Software Engineering Practices / David Bud Gen -- Software Paradigm Trends -- Filtered Model-Driven Product Line Engineering with SuperMod: The Home Automation Case / Bernhard Westfechtel -- A Semantic Versioning Service Based on Formal Certification / Nikolaos Lagos -- An Eclipse IDE for Teaching Java-- / Pierluigi Crescenzi -- Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis / Maritta Heisel -- Integrating Model Driven and Model Checking to Mine Design Patterns / Antonella Santone -- R-UML: An UML Profile for Verification of Flexible Control Systems / Georg Frey -- Invariant Implementation for Domain Models Applying Incremental OCL Techniques / Manuel Quintela-Pumares -- An Ontological Analysis of a Proposed Theory for Software Development / Stephen MacDonell -- Software Engineering and Applications -- Specifying Business Process Outsourcing Requirements / Hanene Ben-Abdallah -- Supporting Deviations on Software Processes: A Literature Overview / Mohamed Ahmed Nacer -- Protection of Customers' and Suppliers' Knowledge in Software Development Projects with Fixed-Price Contract: Using Property Rights Theory / Cornelia Gaebert -- GQM-Based Definition and Evaluation of Software Project Success Indicators / Riccardo Mazza -- Dynamic Analysis Techniques to Reverse Engineer Mobile Applications / Roland Sako -- Annotating Goals with Concerns in Goal-Oriented Requirements Engineering / Motoshi Saeki -- A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines / Robert G. Pettit -- Model Checking Feature Interactions / Arne Skou -- Deriving Tailored UML Interaction Models from Scenario-Based Runtime Tests / Mark Strembeck -- Documenting and Designing QVTo Model Transformations Through Mathematics / Tim Willemse -- An Approach for the Automatic Adaptation of Domain-Specific Modeling Languages for Model-Driven Mobile Application Development / -- Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams / Joao Pascoal Faria -- Guiding Cloud Developers to Build Energy Aware Applications / Raphael Michel -- SPACES: Subjective sPaces Architecture for Contextualizing hEterogeneous Sources / Francesco Tisato431 page(s