TY  - BOOK
AU  - Llamosi,Albert
AU  - Strohmeier,Alfred
ED  - Ada-Europe International Conference on Reliable Software Technologies
ED  - LINK (Online service)
TI  - Reliable software technologies: Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings 
T2  - Lecture notes in computer science
SN  - 9783540248415
AV  - QA76.76.R44 
U1  - 005.1 22
PY  - 2004///
CY  - Berlin, Hong Kong
PB  - Springer-Verlag
KW  - Computer software
KW  - Reliability
KW  - Congresses
KW  - Ada (Computer program language)
KW  - Logiciels
KW  - Fiabilité
KW  - Congrès
KW  - Ada (Langage de programmation)
KW  - fast
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references; Invited Papers -- Benefits and Problems of Formal Methods -- On the Role of Conceptual Schemas in Information Systems Development -- An Overview of Middleware -- Static Analysis -- Static Deadlock Detection in the Linux Kernel -- Extracting Ada 95 Objects from Legacy Ada Programs -- On the Tree Width of Ada Programs -- Distributed Systems -- The Chance for Ada to Support Distribution and Real-Time in Embedded Systems -- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications -- Event Language for Real-Time On-the-Fly Control According to the Initial Requirements -- Real-Time Systems -- Implementing Execution-Time Clocks for the Ada Ravenscar Profile -- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux -- Supporting Deadlines and EDF Scheduling in Ada -- Reflection and XML -- OpenAda: Compile-Time Reflection for Ada 95 -- XML4Ada95 Accessing XML Using the DOM in Ada95 -- Testing -- A Randomised Test Approach to Testing Safety Critical Ada Code -- Good Random Testing -- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada -- Critical Systems Modeling -- High Integrity Ada in a UML and C World -- Ada Meets Giotto -- High-Integrity Interfacing to Programmable Logic with Ada -- Scheduling -- Dynamic Ceiling Priorities: A Proposal for Ada0Y -- Mixing Scheduling Policies in Ada -- Implementing an Application-Defined Scheduling Framework for Ada Tasking -- Application Programming Interfaces -- A Theory of Persistent Containers and Its Application to Ada -- Shortcuts: A Critical Look -- Vector Processing in Ada
N2  - This book constitutes the refereed proceedings of the 9th International Conference on Reliable Software Technologies, Ada-Europe 2004, held in Palma de Mallorca, Spain in June 2004. The 23 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on static analysis, distributed systems, real-time systems, reflection and XML, testing, critical systems modeling, scheduling, and application programming interfaces
UR  - https://link.springer.com/10.1007/b97913
ER  -