Dirk Craeynest, Alfred Strohmeier
Proceedings of the Sixth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2001.

@proceedings{AdaEurope-2001,
	address       = "6th Ade-Europe International Conference Leuven, Belgium",
	editor        = "Dirk Craeynest and Alfred Strohmeier",
	isbn          = "3-540-42123-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 2043,
	year          = 2001,
}

Contents (32 items)

15 ×#ada
3 ×#implementation
3 ×#library
3 ×#realtime
2 ×#communication
2 ×#distributed
2 ×#fault
2 ×#kernel
2 ×#migration
2 ×#modelling

AdaEurope-2001-Lamsweerde #modelling #reliability #requirements

Building Formal Requirements Models for Reliable Software (AvL), pp. 1–20.

AdaEurope-2001-HeraudL #ada #interactive #using

Using Ada in Interactive Digital Television Systems (PH, TL), pp. 21–34.

AdaEurope-2001-Gaudel #approach #specification #testing

Testing from Formal Specifications, a Generic Approach (MCG), pp. 35–48.

AdaEurope-2001-Amey #logic

Logic versus Magic in Critical Systems (PA), pp. 49–67.

AdaEurope-2001-BrosgolD #java #question #realtime

Can Java Meet Its Real-Time Deadlines? (BMB, BD), pp. 68–87.

AdaEurope-2001-GellerichP #ada #alias

Parameter-Induced Aliasing in Ada (WG, EP), pp. 88–99.

AdaEurope-2001-ChenBY #ada #slicing

Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.

AdaEurope-2001-KuchumovRS #ada #library #named #object-oriented

OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.

AdaEurope-2001-PautetQT #distributed

Building Modern Distributed Systems (LP, TQ, ST), pp. 123–135.

AdaEurope-2001-PinhoV #communication #distributed #reliability

Reliable Communication in Distributed Computer-Controlled Systems (LMP, FV), pp. 136–147.

AdaEurope-2001-SantanaGEC #legacy #reuse #robust

Building Robust Applications by Reusing Non-robust Legacy Software (FGS, FJMG, JMSE, JCRC), pp. 148–159.

AdaEurope-2001-Tokar #ada #runtime

New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.

AdaEurope-2001-CrespoBT #ada #implementation

Complex Task Implementation in Ada (AC, PB, ST), pp. 167–178.

AdaEurope-2001-BernatB #ada #flexibility #implementation

Implementing a Flexible Scheduler in Ada (GB, AB), pp. 179–190.

AdaEurope-2001-Duret-Lutz #ada

Expression Templates in Ada (ADL), pp. 191–202.

AdaEurope-2001-Sanden #concurrent #design pattern #process #state machine

A Design Pattern for State Machines and Concurrent Activities (BS), pp. 203–214.

AdaEurope-2001-Lamm #component #library

Component Libraries and Language Features (EL), pp. 215–228.

AdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using

Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.

AdaEurope-2001-Kuball #assessment

Scenario-Based System Assessment (SK), pp. 241–252.

AdaEurope-2001-ChenL #detection #effectiveness #empirical #evaluation #fault #reduction #testing

Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation (TYC, MFL), pp. 253–265.

AdaEurope-2001-English #education #library #named #user interface

JEWL: A GUI Library for Educational Use (JE), pp. 266–277.

AdaEurope-2001-CaronKS #object-oriented

Object-Oriented Stable Storage Based on Mirroring (XC, JK, AS), pp. 278–289.

AdaEurope-2001-KienzleJRM #ada #transaction

Transaction Support for Ada (JK, RJP, ABR, MPM), pp. 290–304.

AdaEurope-2001-Rivas #ada #embedded #kernel #realtime

Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.

AdaEurope-2001-ZamoranoRP #ada #implementation #kernel #realtime

Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels (JZ, JFR, JAdlP), pp. 317–327.

AdaEurope-2001-Burns #ada #policy

Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.

AdaEurope-2001-OppenheimerZN #communication #interface #modelling

Modelling Communication Interfaces with COMIX (FO, DZ, WN), pp. 337–348.

AdaEurope-2001-Alves #ada #web #xml

Safe Web Forms and XML Processing with Ada (MAA), pp. 349–358.

AdaEurope-2001-TaylorK #ada #uml

Mapping UML to Ada (BT, EWK), pp. 359–370.

AdaEurope-2001-KallbergS #architecture #evolution

Ship System 2000, a Stable Architecture under Continuous Evolution (BK, RS), pp. 371–379.

AdaEurope-2001-WaroquiersVCHD #ada #migration #scalability

Migrating Large Applications from Ada83 to Ada95 (PW, SvV, DC, AH, ED), pp. 380–391.

AdaEurope-2001-VardanegaGP #migration

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK (TV, RG, JAdlP), pp. 392–404.