000 | 03267nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-319-75632-5 | ||
003 | DE-He213 | ||
005 | 20240730174939.0 | ||
007 | cr nn 008mamaa | ||
008 | 180210s2018 sz | s |||| 0|eng d | ||
020 |
_a9783319756325 _9978-3-319-75632-5 |
||
024 | 7 |
_a10.1007/978-3-319-75632-5 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aLectures on Runtime Verification _h[electronic resource] : _bIntroductory and Advanced Topics / _cedited by Ezio Bartocci, Yliès Falcone. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aVII, 233 p. 28 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10457 |
|
505 | 0 | _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. | |
520 | _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. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputers. _98172 |
|
650 | 0 |
_aProfessions. _984435 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aElectronic digital computers _xEvaluation. _921495 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aThe Computing Profession. _984437 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _932047 |
700 | 1 |
_aBartocci, Ezio. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9114770 |
|
700 | 1 |
_aFalcone, Yliès. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9114771 |
|
710 | 2 |
_aSpringerLink (Online service) _9114772 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319756318 |
776 | 0 | 8 |
_iPrinted edition: _z9783319756332 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10457 _9114773 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-75632-5 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c89702 _d89702 |