LEADER 04713nam 22007695 450 001 9910483815903321 005 20251226200550.0 010 $a3-540-68624-X 024 7 $a10.1007/978-3-540-68624-8 035 $a(CKB)1000000000440770 035 $a(SSID)ssj0000319806 035 $a(PQKBManifestationID)11247504 035 $a(PQKBTitleCode)TC0000319806 035 $a(PQKBWorkID)10338749 035 $a(PQKB)11750321 035 $a(DE-He213)978-3-540-68624-8 035 $a(MiAaPQ)EBC3068570 035 $a(PPN)12705149X 035 $a(EXLCZ)991000000000440770 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReliable Software Technologies - Ada-Europe 2008 $e13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /$fedited by Fabrice Kordon, Tullio Vardanega 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIV, 283 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5026 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-68621-5 320 $aIncludes bibliographical references and index. 327 $aA New Approach to Memory Partitioning in On-Board Spacecraft Software -- Design and Development of Component-Based Embedded Systems for Automotive Applications -- On the Timed Automata-Based Verification of Ravenscar Systems -- Operational Semantics of Ada Ravenscar -- Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives -- A Modelling Approach with Coloured Petri Nets -- A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets -- Concurrent Program Metrics Drawn by Quasar -- A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM -- A Framework for CFG-Based Static Program Analysis of Ada Programs -- A Type-Safe Database Interface -- StateML?+?: From Graphical State Machine Models to Thread-Safe Ada Code -- Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems -- A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions -- Increasing Confidence in Concurrent Software through Architectural Analysis -- Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness -- RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs -- Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project -- An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications -- Real-Time Distribution Middleware from the Ada Perspective. 330 $aThis book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5026 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aComputers, Special purpose 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aComputers, Special purpose. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a004.6 701 $aKordon$b Fabrice$0863535 701 $aVardanega$b T$g(Tullio)$01417637 712 12$aAda-Europe International Conference on Reliable Software Technologies 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483815903321 996 $aReliable software technologies--Ada-Europe 2008$94186893 997 $aUNINA