Jean-Pierre Rosen, Alfred Strohmeier
Proceedings of the Eighth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2003.

@proceedings{AdaEurope-2003,
	address       = "Toulouse, France",
	editor        = "Jean-Pierre Rosen and Alfred Strohmeier",
	isbn          = "3-540-40376-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 2655,
	year          = 2003,
}

Contents (32 items)

15 ×#ada
5 ×#using
4 ×#realtime
3 ×#named
3 ×#testing
3 ×#uml
2 ×#analysis
2 ×#architecture
2 ×#bibliography
2 ×#case study

AdaEurope-2003-Leroy #ada

An Invitation to Ada 2005 (PL), pp. 1–23.

AdaEurope-2003-MeziniO #modelling

Modules for Crosscutting Models (MM, KO), pp. 24–44.

AdaEurope-2003-Kienzle #fault tolerance #overview #perspective

Software Fault Tolerance: An Overview (JK), pp. 45–67.

AdaEurope-2003-AmeyD

High Integrity Ravenscar (PA, BD), pp. 68–79.

AdaEurope-2003-BurnsL #verification

Adding Temporal Annotations and Associated Verification to Ravenscar Profile (AB, TML), pp. 80–91.

AdaEurope-2003-HolstiL #framework #platform #strict

Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software (NH, TL), pp. 92–101.

AdaEurope-2003-Lamm #ada #design #education #java

Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design (EL), pp. 102–112.

AdaEurope-2003-BrosgolW #ada #comparison #java #realtime

A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (BMB, AJW), pp. 113–128.

AdaEurope-2003-BriotGDCW #ada #memory management

Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.

AdaEurope-2003-BliebergerBS #analysis

Busy Wait Analysis (JB, BB, BS), pp. 142–152.

AdaEurope-2003-BliebergerB #evaluation #symbolic computation #using

Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.

AdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code

Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.

AdaEurope-2003-MartelSMH #visual notation

A Graphical Environment for GLADE (EM, FGS, JM, LH), pp. 182–195.

AdaEurope-2003-AlvesJH #ada #using #xml

The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.

AdaEurope-2003-Patinno-MartinezJR #fault tolerance #transaction

Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.

AdaEurope-2003-MinguetGFL #metric #using

Getting System Metrics Using POSIX Tracing Services (AEM, VLG, AGF, ACiL), pp. 220–231.

AdaEurope-2003-EvancoV #ada #architecture #fault

Some Architectural Features of Ada Systems Affecting Defects (WME, JMV), pp. 232–245.

AdaEurope-2003-KuballH #approach #certification

Evidential Volume Approach for Certification (SK, GH), pp. 246–257.

AdaEurope-2003-GreinKW #ada #overview #physics

A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.

AdaEurope-2003-Heaney #ada #data type #library #named

Charles: A Data Structure Library for Ada95 (MH), pp. 271–282.

AdaEurope-2003-FranchM #ada #library #quality #standard

A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.

AdaEurope-2003-Mikkonen #case study #experience #specification #tool support #using

Experiences on Developing and Using a Tool Support for Formal Specification (TM), pp. 297–308.

AdaEurope-2003-LinM #behaviour #object-oriented #programming #type system

A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 (TML, JAM), pp. 309–321.

AdaEurope-2003-MasmanoRRC #ada #linux #realtime

Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.

AdaEurope-2003-BurnsHW #ada #policy #scheduling

A Round Robin Scheduling Policy for Ada (AB, MGH, AJW), pp. 334–343.

AdaEurope-2003-GonzalezH #ada

A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 (FJMG, MGH), pp. 344–358.

AdaEurope-2003-AlonsoPZ #development #testing

A Test Environment for High Integrity Software Development (AA, JAdlP, JZ), pp. 359–267.

AdaEurope-2003-ChanCT #normalisation #random testing #strict #testing

Normalized Restricted Random Testing (KPC, TYC, DT), pp. 368–381.

AdaEurope-2003-JeppuKS #ada #realtime #safety #testing #using

Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.

AdaEurope-2003-Thom #ada #standard #uml

The Standard UML-Ada Profile (FT), pp. 394–404.

AdaEurope-2003-MazziniDNDLV #named #uml

HRT-UML: Taking HRT-HOOD onto UML (SM, MD, MDN, AD, GL, TV), pp. 405–416.

AdaEurope-2003-OrtizAPS #architecture #case study #evaluation #performance #realtime #uml #using

A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST (FJO, BÁ, JAP, PS), pp. 417–428.