國立虎尾科技大學 |

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 /
其他作者:	Fill, Hans-Georg.
面頁冊數:	XII, 263 p. 129 illus., 94 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Programming Techniques. -
電子資源:	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] :edited by Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill. - 1st ed. 2021. - XII, 263 p. 129 illus., 94 illus. in color.online resource. - Communications in Computer and Information Science,14471865-0937 ;. - Communications in Computer and Information Science,498.

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:

669781
Programming Techniques.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers /
LDR:03316nam a22004095i 4500 001 1048286
003 DE-He213
005 20210915141259.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030830076 $9 978-3-030-83007-6
024 7 $a 10.1007/978-3-030-83007-6 $2 doi
035 $a 978-3-030-83007-6
050 4 $a QA76.758
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
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.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XII, 263 p. 129 illus., 94 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Communications in Computer and Information Science, $x 1865-0937 ; $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 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Control Structures and Microprogramming. $3 669788
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 0 $a Computer programming. $3 527822
650 0 $a Computer communication systems. $3 1115394
650 0 $a Microprogramming . $3 1257366
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Special purpose computers. $3 1204562
650 0 $a Software engineering. $3 562952
700 1 $a Fill, Hans-Georg. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1283009
700 1 $a Maciaszek, Leszek A. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 815162
700 1 $a van Sinderen, Marten. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 891837
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030830069
776 0 8 $i Printed edition: $z 9783030830083
830 0 $a Communications in Computer and Information Science, $x 1865-0929 ; $v 498 $3 1253583
856 4 0 $u https://doi.org/10.1007/978-3-030-83007-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)