Cantitate/Preț
Produs

Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers: Communications in Computer and Information Science, cartea 1447

Editat de Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill
en Limba Engleză Paperback – 21 iul 2021
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (3) 33140 lei  6-8 săpt.
  Springer International Publishing – 21 iul 2021 33140 lei  6-8 săpt.
  Springer Nature Switzerland – 19 iul 2023 50054 lei  6-8 săpt.
  Springer International Publishing – 18 iul 2022 52932 lei  6-8 săpt.

Din seria Communications in Computer and Information Science

Preț: 33140 lei

Preț vechi: 41426 lei
-20% Nou

Puncte Express: 497

Preț estimativ în valută:
6342 6887$ 5327£

Carte tipărită la comandă

Livrare economică 22 aprilie-06 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030830069
ISBN-10: 3030830063
Pagini: 263
Ilustrații: XII, 263 p. 129 illus., 94 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.39 kg
Ediția:1st ed. 2021
Editura: Springer International Publishing
Colecția Springer
Seria Communications in Computer and Information Science

Locul publicării:Cham, Switzerland

Cuprins

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.