LEADER 04578nam 22007215 450 001 996465679603316 005 20200702183004.0 010 $a3-319-39083-X 024 7 $a10.1007/978-3-319-39083-3 035 $a(CKB)3710000000711671 035 $a(DE-He213)978-3-319-39083-3 035 $a(MiAaPQ)EBC6281426 035 $a(MiAaPQ)EBC5578286 035 $a(Au-PeEL)EBL5578286 035 $a(OCoLC)951614061 035 $a(PPN)194077004 035 $a(EXLCZ)993710000000711671 100 $a20160530d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aReliable Software Technologies ? Ada-Europe 2016$b[electronic resource] $e21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /$fedited by Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XIV, 213 p. 59 illus.) 225 1 $aProgramming and Software Engineering ;$v9695 311 $a3-319-39082-1 327 $aWhy the Expressive Power of Programming Languages such as Ada Is Needed for Future Cyber Physical Systems -- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model -- Eliminating Data Race Warnings Using CSP -- Real-Time Stream Processing in Java -- Addressing the Regression Test Problem with Change Impact Analysis for Ada -- Test Case Prioritization Using Online Fault Detection Information -- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine -- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development -- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance -- Kronecker Algebra for Static Analysis of Barriers in Ada -- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling -- The Polling Effect on the Schedulability of Distributed Real-Time Systems -- Combining Time-Triggered Plans with Priority Scheduled Task Sets. . 330 $aThis book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems. 410 0$aProgramming and Software Engineering ;$v9695 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aSpecial purpose computers 606 $aComputer logic 606 $aMathematical logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aSpecial purpose computers. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a005 702 $aBertogna$b Marko$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPinho$b Luís Miguel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aQuiñones$b Eduardo$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465679603316 996 $aReliable Software Technologies ? Ada-Europe 2016$92809405 997 $aUNISA