LEADER 03486nam  22006615  450 
001 9910349459903321
005 20200703011427.0
010   $a3-319-75632-X
024 7 $a10.1007/978-3-319-75632-5
035   $a(CKB)4100000002485493
035   $a(DE-He213)978-3-319-75632-5
035   $a(MiAaPQ)EBC6314233
035   $a(MiAaPQ)EBC5579474
035   $a(Au-PeEL)EBL5579474
035   $a(OCoLC)1066192097
035   $a(PPN)224637827
035   $a(EXLCZ)994100000002485493
100   $a20180210d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLectures on Runtime Verification $eIntroductory and Advanced Topics /$fedited by Ezio Bartocci, Yliès Falcone
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (VII, 233 p. 28 illus.) 
225 1 $aProgramming and Software Engineering ;$v10457
311   $a3-319-75631-1 
327   $aAn Introduction to Runtime Verification -- Discovering Concurrency Errors -- Monitoring Events That Carry Data -- Runtime Error Reaction and Prevention -- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and Distributed Systems -- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges.
330   $aThe idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of concurrency errors, monitoring events that carry data, runtime error reaction and prevention, monitoring of cyber-physical systems, runtime verification for decentralized and distributed systems and an industrial application of runtime verification techniques in financial transaction systems.
410  0$aProgramming and Software Engineering ;$v10457
606   $aSoftware engineering
606   $aComputers
606   $aComputer logic
606   $aComputer system failures
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aThe Computing Profession$3https://scigraph.springernature.com/ontologies/product-market-codes/I24075
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aComputer logic.
615  0$aComputer system failures.
615 14$aSoftware Engineering.
615 24$aThe Computing Profession.
615 24$aLogics and Meanings of Programs.
615 24$aSystem Performance and Evaluation.
676   $a004
702   $aBartocci$b Ezio$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFalcone$b Yliès$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349459903321
996   $aLectures on Runtime Verification$92174075
997   $aUNINA