國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Software technologies15th Internatio...

(1998 :)

Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Software technologiesedited 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.
團體作者:
出版者:	Cham :Springer International Publishing :2021.
面頁冊數:	xii, 263 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Software engineering
電子資源:	https://doi.org/10.1007/978-3-030-83007-6
ISBN:	9783030830076$q(electronic bk.)

Software technologies15th 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 ;229..

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$q(electronic bk.)

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

253562
Software engineering

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

Dewey Class. No.: 005.1

Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /
LDR:03022nmm a2200361 a 4500 001 605279
003 DE-He213
005 20210720074452.0
006 m d
007 cr nn 008maaau
008 211201s2021 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $3 253562
650 0 $a Programming languages (Electronic computers) $3 184586
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Control Structures and Microprogramming. $3 274663
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Programming Techniques. $3 274470
700 1 $a van Sinderen, Marten. $3 561570
700 1 $a Maciaszek, Leszek A. $3 495540
700 1 $a Fill, Hans-Georg. $3 356922
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 229. $3 547963
856 4 0 $u https://doi.org/10.1007/978-3-030-83007-6
950 $a Computer Science (SpringerNature-11645)