1 option
Software Technologies : 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers / edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- Communications in computer and information science 1865-0937 ; 1447
- Communications in Computer and Information Science, 1865-0937 ; 1447
- Language:
- English
- Subjects (All):
- Software engineering.
- Computers, Special purpose.
- Computer systems.
- Microprogramming.
- Computer networks.
- Computer programming.
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Control Structures and Microprogramming.
- Computer Communication Networks.
- Programming Techniques.
- Local Subjects:
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Computer System Implementation.
- Control Structures and Microprogramming.
- Computer Communication Networks.
- Programming Techniques.
- Physical Description:
- 1 online resource (XII, 263 pages) : 129 illustrations, 94 illustrations in color.
- Edition:
- 1st ed. 2021.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2021.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-83007-6
- 9783030830076
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.