Skip to main content
SpringerLink
Log in

Software Technologies

15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Marten van Sinderen

    1. Information Systems Group, Enschede, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leszek A. Maciaszek

    1. Wrocław University of Economics Institute of Business Informatics, Wrocław, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Hans-Georg Fill

    1. Universität Fribourg, Fribourg, Switzerland

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

Included in the following conference series:

Conference proceedings info: ICSOFT 2020.

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 (12 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Shared Autonomous Mobility on Demand: A Fuzzy-Based Approach and Its Performance in the Presence of Uncertainty

    • Rihab Khemiri, Mohamed Naija, Ernesto Exposito
    Pages 1-24

  3. Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints

    • Aicha Goubaa, Mohamed Kahlgui, Frey Georg, Zhiwu Li
    Pages 25-43

  4. R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture

    • Chams Eddine Choucha, Mohamed Oussama Ben Salem, Moahmed Khalgui, Laid Kahloul, Naima Souad Ougouti
    Pages 44-69

  5. MLCA: A Model-Learning-Checking Approach for IoT Systems

    • Sébastien Salva, Elliott Blot
    Pages 70-97

  6. A Real-Time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data

    • Besmir Sejdiu, Florije Ismaili, Lule Ahmedi
    Pages 98-113

  7. On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment

    • Chams Eddine Choucha, Mohamed Ramdani, Moahmed Khalgui, Laid Kahloul
    Pages 114-133

  8. A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing

    • Ulrike Witteck, Denis Grießbach, Paula Herber
    Pages 134-157

  9. Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach

    • Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
    Pages 158-183

  10. A Machine Learning Based Methodology for Web Systems Codeless Testing with Selenium

    • Phuc Nguyen, Stephane Maag
    Pages 184-202

  11. Multilevel Readability Interpretation Against Software Properties: A Data-Centric Approach

    • Thomas Karanikiotis, Michail D. Papamichail, Andreas L. Symeonidis
    Pages 203-226

  12. Efficient Verification of Reconfigurable Discrete-Event System Using Isabelle/HOL Theorem Prover and Hadoop

    • Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul
    Pages 227-241

  13. A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States

    • Patrick Kubiak, Stefan Rass, Martin Pinzger, Stephan Schneider
    Pages 242-261

  14. Back Matter

    Pages 263-263
    Download chapter PDF
Back to top

Other volumes

  1. Software Technologies

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. 


The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: 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 among others.

Editors and Affiliations

  • Information Systems Group, Enschede, The Netherlands

    Marten van Sinderen

  • Wrocław University of Economics Institute of Business Informatics, Wrocław, Poland

    Leszek A. Maciaszek

  • Universität Fribourg, Fribourg, Switzerland

    Hans-Georg Fill

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation