Cantitate/Preț
Produs
Total produse
Vezi coșul
Software Technologies de Marten van Sinderen

Software Technologies: 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

Din seria Communications in Computer and Information Science

Preț: 32665 lei

Preț vechi: 40831 lei
-20%

Puncte Express: 490
Paperback (3) de la 32665 lei

Carte tipărită la comandă

Livrare economică 07-21 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030830069
ISBN-10: 3030830063
Pagini: 276
Ilustrații: XII, 263 p. 129 illus., 94 illus. in color.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.42 kg
Ediția:1st edition 2021
Editura: Springer
Colecția Communications in Computer and Information Science
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.