LEADER 04400nam 22007575 450 001 996464438103316 005 20230909074425.0 010 $a3-030-83007-1 024 7 $a10.1007/978-3-030-83007-6 035 $a(CKB)4100000011983332 035 $a(MiAaPQ)EBC6681014 035 $a(Au-PeEL)EBL6681014 035 $a(DE-He213)978-3-030-83007-6 035 $a(BIP)080794124 035 $a(PPN)258060786 035 $a(EXLCZ)994100000011983332 100 $a20210720d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Technologies$b[electronic resource] $e15th International Conference, ICSOFT 2020, Online Event, July 7?9, 2020, Revised Selected Papers /$fedited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (274 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1447 311 $a3-030-83006-3 327 $aShared 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. 330 $aThis 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. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1447 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aComputer systems 606 $aMicroprogramming 606 $aComputer networks 606 $aComputer programming 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer System Implementation 606 $aControl Structures and Microprogramming 606 $aComputer Communication Networks 606 $aProgramming Techniques 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aComputer systems. 615 0$aMicroprogramming. 615 0$aComputer networks. 615 0$aComputer programming. 615 14$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer System Implementation. 615 24$aControl Structures and Microprogramming. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 676 $a005.1 700 $avan Sinderen$b Marten$0853406 701 $aMaciaszek$b Leszek A$0150192 701 $aFill$b Hans-Georg$0992900 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464438103316 996 $aSoftware Technologies$92273627 997 $aUNISA