Amazon cover image
Image from Amazon.com

Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings / Albert Llamosí, Alfred Strohmeier (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 3063.Publication details: Berlin ; Hong Kong : Springer-Verlag, ©2004.Description: 1 online resource (xiii, 331 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540248415
  • 3540248412
Other title:
  • Ada-Europe 2004
Subject(s): Genre/Form: Additional physical formats: Print version:Ada-Europe International Conference on Reliable Software Technologies (9th : 2004 : Palma de Mallorca, Spain): Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedingsDDC classification:
  • 005.1 22
LOC classification:
  • QA76.76.R44
Other classification:
  • 54.51
Online resources:
Contents:
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.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references.

Print version record.

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.

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.

Powered by Koha