東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Software technologies = 15th Interna...

ICSOFT (Conference) (2020 :)

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Software technologies/ edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill.
其他題名:	15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /
其他題名:	ICSOFT 2020
其他作者:	van Sinderen, Marten.
團體作者:	ICSOFT (Conference)
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	xii, 263 p. :ill., digital ;24 cm.
內容註:	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
標題:	Software engineering - Congresses. -
電子資源:	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)