Reliable Software Technologies - Ada-Europe 2004

9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings

AvAlbert Llamosi,Alfred Strohmeier

Häftad, Engelska, 2004

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2004-06-01
Mått:155 x 235 x 20 mm
Vikt:534 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:331
Upplaga:2004
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540220114

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

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.