LEADER 04326nam  2200685Ia 450 
001 9910484097603321
005 20200520144314.0
010   $a3-642-01924-2
024 7 $a10.1007/978-3-642-01924-1
035   $a(CKB)1000000000753988
035   $a(SSID)ssj0000319807
035   $a(PQKBManifestationID)11243378
035   $a(PQKBTitleCode)TC0000319807
035   $a(PQKBWorkID)10338583
035   $a(PQKB)11096269
035   $a(DE-He213)978-3-642-01924-1
035   $a(MiAaPQ)EBC3064291
035   $a(PPN)136306411
035   $a(EXLCZ)991000000000753988
100   $a20090613d2009      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aReliable software technologies - Ada-Europe 2009 $e14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 ; proceedings /$fFabrice Kordon, Yvon Kermarrec (eds.)
205   $a1st ed. 2009.
210   $aBerlin ;$aNew York $cSpringer$d2009
215   $a1 online resource (XIV, 283 p.) 
225 1 $aLecture notes in computer science ;$v5570
225 1 $aLNCS sublibrary. SL 2, Programming and software engineering
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-01923-4 
320   $aIncludes bibliographical references and index.
327   $aRequirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition.
330   $aThis book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.
410  0$aLecture notes in computer science ;$v5570.
410  0$aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
517 3 $aAda-Europe 2009
517 3 $aAda-Europe International Conference on Reliable Software Technologies
517 3 $aFourteenth Ada-Europe International Conference on Reliable Software Technologies
606   $aComputer software$xReliability$vCongresses
606   $aAda (Computer program language)$vCongresses
615  0$aComputer software$xReliability
615  0$aAda (Computer program language)
676   $a005.13322gerDNB
686   $aDAT 263f$2stub
686   $aDAT 343f$2stub
686   $aDAT 356f$2stub
686   $aSS 4800$2rvk
701   $aKordon$b Fabrice$0863535
701   $aKermarrec$b Yvon$01759786
712 12$aAda-Europe International Conference on Reliable Software Technologies
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484097603321
996   $aReliable software technologies - Ada-Europe 2009$94198432
997   $aUNINA