Software Technologies
15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers
Published on 21. July 2021
Book
Paperback/Softback
XII, 263 pages
978-3-030-83006-9 (ISBN)
Description
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.
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.
More details
Series
Edition
1st ed. 2021
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
35 s/w Abbildungen, 94 farbige Abbildungen
XII, 263 p. 129 illus., 94 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 16 mm
Weight
423 gr
ISBN-13
978-3-030-83006-9 (9783030830069)
DOI
10.1007/978-3-030-83007-6
Schweitzer Classification
Other editions
Additional editions
Marten van Sinderen | Leszek A. Maciaszek | Hans-Georg Fill
Software Technologies
15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers
E-Book
07/2021
Springer
€53.49
Available for download
Content
Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty.- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints.- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture.- MLCA: A Model-Learning-Checking Approach for IoT Systems.- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data.- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment.- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing.- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach.- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium.- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach.- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop.- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.