![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
14th ICSOFT 2019: Prague, Czech Republic - Selected Papers
- Marten van Sinderen, Leszek A. Maciaszek:
Software Technologies - 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised Selected Papers. Communications in Computer and Information Science 1250, Springer 2020, ISBN 978-3-030-52990-1
Software Engineering and Systems Development
- Ulrike Witteck, Denis Grießbach, Paula Herber:
Equivalence Class Definition for Automated Testing of Satellite On-Board Image Processing. 3-25 - Maya Daneva, Robin Bolscher:
What We Know About Software Architecture Styles in Continuous Delivery and DevOps? 26-39 - Stefan Huber, Lukas Demetz
, Michael Felderer:
Analysing the Performance of Mobile Cross-platform Development Approaches Using UI Interaction Scenarios. 40-57 - Amani Ayad, Imen Marsit, Sara Tawfig, Ji Meng Loh, Mohamed Nazih Omri, Ali Mili
:
Quantitative Analysis of Mutant Equivalence. 58-80 - Roman Wirtz, Maritta Heisel, Marvin Wagner:
Distributed Frames: Pattern-Based Characterization of Functional Requirements for Distributed Systems. 81-107 - Yousra Hafidi
, Laïd Kahloul, Mohamed Khalgui
:
Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and Faulty Components: A Case Study on SGrids. 108-129
Software Systems and Applications
- Marwa Ben M'Barek
, Amel Borgi, Sana Ben Hamida
, Marta Rukoz:
GA-PPI-Net: A Genetic Algorithm for Community Detection in Protein-Protein Interaction Networks. 133-155 - Rabéa Ameur-Boulifa
, Ana R. Cavalli
, Stephane Maag
:
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. 156-178 - Tatsuya Harada, Antonio Tejero-de-Pablos, Stefano Quer
, Francesco Savarese:
Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors. 179-204 - Ilyes Naidji
, Olfa Mosbahi
, Mohamed Khalgui
, Abdelmalik Bachir
:
Two-Stage Game Theoretic Approach for Energy Management in Networked Microgrids. 205-228
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.