04641nam 22008175 450 991048409760332120251226203030.03-642-01924-210.1007/978-3-642-01924-1(CKB)1000000000753988(SSID)ssj0000319807(PQKBManifestationID)11243378(PQKBTitleCode)TC0000319807(PQKBWorkID)10338583(PQKB)11096269(DE-He213)978-3-642-01924-1(MiAaPQ)EBC3064291(PPN)136306411(EXLCZ)99100000000075398820100301d2009 u| 0engurnn|008mamaatxtccrReliable Software Technologies - Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings /edited by Fabrice Kordon, Yvon Kermarrec1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XIV, 283 p.) Programming and Software Engineering,2945-9168 ;5570Bibliographic Level Mode of Issuance: Monograph3-642-01923-4 Includes bibliographical references and index.Requirements 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.This 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.Programming and Software Engineering,2945-9168 ;5570Software engineeringComputer programmingCompilers (Computer programs)Electronic digital computersEvaluationComputersSoftware EngineeringProgramming TechniquesCompilers and InterpretersSystem Performance and EvaluationHardware Performance and ReliabilitySoftware engineering.Computer programming.Compilers (Computer programs).Electronic digital computersEvaluation.Computers.Software Engineering.Programming Techniques.Compilers and Interpreters.System Performance and Evaluation.Hardware Performance and Reliability.005.13322gerDNBDAT 263fstubDAT 343fstubDAT 356fstubSS 4800rvkKordon Fabrice863535Kermarrec Yvon1759786Ada-Europe International Conference on Reliable Software TechnologiesMiAaPQMiAaPQMiAaPQBOOK9910484097603321Reliable software technologies - Ada-Europe 20094198432UNINA