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

New Economics Books

A wide ranged Editor Selection of economic books published within the last 3 months by the publishers (for now; Cambridge University Press, Edward Elgar, Elsevier, MIT Press, Palgrave MacMillan, Springer, Wiley, and World Scientific) which are reached out “the consensus of no copyright infringement exists” could be found under this title. Afterwards, JEL will continue to publish the economic books published within the last 3 months as listing them in its quarter edition. This is expected to enable the journal readers to follow the related literature and be aware of the new books. The list will continue to expand as accepting the books of new co-operated publishers and personal applications. The list order is organized according to book titles’ alphabetic priority