東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Software technologies = 15th Interna...

ICSOFT (Conference) (2020 :)

Linked to FindBook

Google Book

Amazon

博客來

Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Software technologies/ edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill.
Reminder of title:	15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /
remainder title:	ICSOFT 2020
other author:	van Sinderen, Marten.
corporate name:	ICSOFT (Conference)
Published:	Cham :Springer International Publishing : : 2021.,
Description:	xii, 263 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Software engineering - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-83007-6
ISBN:	9783030830076

Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /
Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /[electronic resource] :ICSOFT 2020edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill. - Cham :Springer International Publishing :2021. - xii, 263 p. :ill., digital ;24 cm. - Communications in computer and information science,14471865-0929 ;. - Communications in computer and information science ;1447..

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.

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.

ISBN: 9783030830076

Standard No.: 10.1007/978-3-030-83007-6doiSubjects--Topical Terms:

696781
Software engineering
--Congresses.

LC Class. No.: QA76.758 / .I37 2021

Dewey Class. No.: 005.1

Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /
LDR:03022nmm a2200361 a 4500 001 2242064
003 DE-He213
005 20210720074452.0
006 m d
007 cr nn 008maaau
008 211207s2021 sz s 0 eng d
020 $a 9783030830076 $q (electronic bk.)
020 $a 9783030830069 $q (paper)
024 7 $a 10.1007/978-3-030-83007-6 $2 doi
035 $a 978-3-030-83007-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758 $b .I37 2021
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
072 7 $a UL $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .I17 2021
111 2 $a ICSOFT (Conference) $n (15th : $d 2020 : $c Online) $3 3500838
245 1 0 $a Software technologies $h [electronic resource] : $b 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / $c edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill.
246 3 $a ICSOFT 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xii, 263 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0929 ; $v 1447
505 0 $a 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.
520 $a 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.
650 0 $a Software engineering $x Congresses. $3 696781
650 0 $a Programming languages (Electronic computers) $v Congresses. $3 622523
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Control Structures and Microprogramming. $3 895886
650 2 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Programming Techniques. $3 892496
700 1 $a van Sinderen, Marten. $3 1569645
700 1 $a Maciaszek, Leszek A. $3 1245691
700 1 $a Fill, Hans-Georg. $3 3500839
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 1447. $3 3500840
856 4 0 $u https://doi.org/10.1007/978-3-030-83007-6
950 $a Computer Science (SpringerNature-11645)