Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers

✍ Scribed by Marten van Sinderen, Leszek A. Maciaszek

• Publisher: Springer International Publishing;Springer
• Year: 2020
• Tongue: English
• Leaves: 238
• Series: Communications in Computer and Information Science 1250
• Edition: 1st ed.
• Category: Library

✦ Synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019.

The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.

✦ Table of Contents

Front Matter ....Pages i-xii
Front Matter ....Pages 1-1
Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing (Ulrike Witteck, Denis Grießbach, Paula Herber)....Pages 3-25
What We Know About Software Architecture Styles in Continuous Delivery and DevOps? (Maya Daneva, Robin Bolscher)....Pages 26-39
Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios (Stefan Huber, Lukas Demetz, Michael Felderer)....Pages 40-57
Quantitative Analysis of Mutant Equivalence (Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili)....Pages 58-80
Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems (Roman Wirtz, Maritta Heisel, Marvin Wagner)....Pages 81-107
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids (Yousra Hafidi, Laid Kahloul, Mohamed Khalgui)....Pages 108-129
Front Matter ....Pages 131-131
GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction Networks (Marwa Ben M’barek, Amel Borgi, Sana Ben Hmida, Marta Rukoz)....Pages 133-155
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems (Rabea Ameur-Boulifa, Ana Cavalli, Stephane Maag)....Pages 156-178
Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors (Tatsuya Harada, Antonio Tejero-de-Pablos, Stefano Quer, Francesco Savarese)....Pages 179-204
Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids (Ilyes Naidji, Olfa Mosbahi, Mohamed Khalgui, Abdelmalik Bachir)....Pages 205-228
Back Matter ....Pages 229-229

✦ Subjects

Computer Science; Software Engineering/Programming and Operating Systems; Special Purpose and Application-Based Systems; Computer Communication Networks; Computer System Implementation; Information Systems Applications (incl.Internet)