Albert Llamosí, Alfred Strohmeier
Proceedings of the Ninth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2004.

@proceedings{AdaEurope-2004,
	address       = "Palma de Mallorca, Spain",
	editor        = "Albert Llamosí and Alfred Strohmeier",
	isbn          = "3-540-22011-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 3063,
	year          = 2004,
}

Contents (26 items)

17 ×#ada
4 ×#realtime
3 ×#named
3 ×#scheduling
2 ×#formal method
2 ×#framework
2 ×#implementation
2 ×#linux
2 ×#middleware
2 ×#on the

AdaEurope-2004-Gogolla #formal method #problem

Benefits and Problems of Formal Methods (MG), pp. 1–15.

AdaEurope-2004-Olive #concept #development #information management #on the

On the Role of Conceptual Schemas in Information Systems Development (AO), pp. 16–34.

AdaEurope-2004-Vinoski #middleware #overview

An Overview of Middleware (SV), pp. 35–51.

AdaEurope-2004-BreuerG #concurrent #detection #kernel #linux

Static Deadlock Detection in the Linux Kernel (PTB, MGV), pp. 52–64.

AdaEurope-2004-Sward #ada #legacy #source code

Extracting Ada 95 Objects from Legacy Ada Programs (RES), pp. 65–77.

AdaEurope-2004-BurgstallerBS #ada #on the #source code

On the Tree Width of Ada Programs (BB, JB, BS), pp. 78–90.

AdaEurope-2004-CamposGH #ada #embedded #realtime

The Chance for Ada to Support Distribution and Real-Time in Embedded Systems (JLC, JJG, MGH), pp. 91–105.

AdaEurope-2004-VergnaudHPK #distributed #middleware #named #reliability

PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications (TV, JH, LP, FK), pp. 106–119.

AdaEurope-2004-Nadrchal #on the fly #realtime #requirements

Event Language for Real-Time On-the-Fly Control According to the Initial Requirements (SPN), pp. 120–131.

AdaEurope-2004-ZamoranoAPP #ada #implementation

Implementing Execution-Time Clocks for the Ada Ravenscar Profile (JZ, AA, JAP, JAdlP), pp. 132–143.

AdaEurope-2004-MasmanoRRC #linux #realtime

Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux (MM, JR, IR, AC), pp. 144–155.

AdaEurope-2004-BurnsWT #ada #scheduling

Supporting Deadlines and EDF Scheduling in Ada (AB, AJW, STT), pp. 156–165.

AdaEurope-2004-RogersW #ada #named

OpenAda: Compile-Time Reflection for Ada 95 (PR, AJW), pp. 166–177.

AdaEurope-2004-VrandecicS #ada #using #xml

XML4Ada95 Accessing XML Using the DOM in Ada95 (ZV, DS), pp. 178–189.

AdaEurope-2004-GiriMJK #ada #approach #random #safety #testing

A Randomised Test Approach to Testing Safety Critical Ada Code (SKG, AM, YVJ, KK), pp. 190–199.

AdaEurope-2004-ChanCT #random testing #testing

Good Random Testing (KPC, TYC, DT), pp. 200–212.

AdaEurope-2004-AlvarezPOSN #ada #education #framework #platform #realtime #using

Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada (BÁ, JAP, FJO, PS, PJNL), pp. 213–224.

AdaEurope-2004-AmeyW #ada #c #uml

High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.

AdaEurope-2004-HagenauerMP #ada

Ada Meets Giotto (HH, NM, WP), pp. 237–248.

AdaEurope-2004-HiltonH #ada #logic #programmable

High-Integrity Interfacing to Programmable Logic with Ada (AJH, JGH), pp. 249–260.

AdaEurope-2004-RealBGSC #ada

Dynamic Ceiling Priorities: A Proposal for Ada0Y (JR, AB, FJMG, ES, AC), pp. 261–272.

AdaEurope-2004-MinguetFGB #ada #policy #scheduling

Mixing Scheduling Policies in Ada (AEM, AGF, VLG, ATB), pp. 273–282.

AdaEurope-2004-RivasGH #ada #framework #implementation #scheduling

Implementing an Application-Defined Scheduling Framework for Ada Tasking (MAR, FJMG, MGH), pp. 283–296.

AdaEurope-2004-Alves #ada #formal method #persistent

A Theory of Persistent Containers and Its Application to Ada (MAA), pp. 297–308.

AdaEurope-2004-Heaney #named

Shortcuts: A Critical Look (MH), pp. 309–320.

AdaEurope-2004-Gasperoni #ada

Vector Processing in Ada (FG), pp. 321–331.