Hubert B. Keller, Erhard Plödereder
Proceedings of the Fifth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2000.

@proceedings{AdaEurope-2000,
	address       = "Potsdam, Germany",
	editor        = "Hubert B. Keller and Erhard Plödereder",
	isbn          = "3-540-67669-4",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 1845,
	year          = 2000,
}

Contents (26 items)

12 ×#ada
5 ×#using
4 ×#analysis
4 ×#object-oriented
3 ×#design
3 ×#development
3 ×#implementation
3 ×#reliability
3 ×#source code
2 ×#java

AdaEurope-2000-Zimmermann #development

Support of Technology Development in the Information Society (RZ), p. 1.

AdaEurope-2000-Weiss #ada #java #monitoring

Kingcat MCAS — Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java (RW), pp. 2–3.

AdaEurope-2000-Pflug #ada #question

Ada after 10 Years of Usage — Is There a Commercial Future? (BP), p. 4.

AdaEurope-2000-PuenteRZ #kernel #realtime

An Open Ravenscar Real-Time Kernel for GNAT (JAdlP, JFR, JZ), pp. 5–15.

AdaEurope-2000-WellingsJSKWM #ada #object-oriented #programming

Object-Oriented Programming and Protected Objects in Ada 95 (AJW, BJ, BS, JK, TW, SM), pp. 16–28.

AdaEurope-2000-Kallberg #ada #question

Is an Ada Lint Necessary? (BK), pp. 29–40.

AdaEurope-2000-FlintD #ada #api #compilation #java #using

Using JavaTM APIs with Native Ada Compilers (SF, BD), pp. 41–55.

AdaEurope-2000-Ringler #analysis #execution #source code #worst-case

Static Worst-Case Execution Time Analysis of Synchronous Programs (TR), pp. 56–68.

AdaEurope-2000-NonakaCU #ada #development #self #source code

A Supporting Tool for Development of Self-Measurement Ada Programs (YN, JC, KU), pp. 69–81.

AdaEurope-2000-KienzleR #ada #on the #persistent #reliability #streaming

On Persistent and Reliable Streaming in Ada (JK, ABR), pp. 82–95.

AdaEurope-2000-MarcoF #component #library #re-engineering

Reengineering the Booch Component Library (JM, XF), pp. 96–111.

AdaEurope-2000-BriotBC #ada #design #implementation #named

GtkAda: Design and Implementation of a High Level Binding in Ada (EB, JB, AC), pp. 112–124.

AdaEurope-2000-RybinSFK #case study #experience #named

ASIS-for-GNAT: A Report of Practical Experiences (SR, AS, VF, AK), pp. 125–137.

AdaEurope-2000-HovaterMB #design #documentation #generative #interface #using

Generation of Interface Design Description Documents Using ASIS (SVH, WM, AB), pp. 138–148.

AdaEurope-2000-CloshenH #ada #implementation #programming #using

An Ada95 Programming Style Checker Using the GNAT ASIS Implementation (PC, HJH), pp. 149–160.

AdaEurope-2000-WielandHS #risk management

Enhancements in Software Project Risk Management (PW, FH, KS), pp. 161–172.

AdaEurope-2000-MauriS #analysis #embedded #reliability #safety #using

Constructing Reliable Embedded Systems Using the Results of System Safety Analysis (GM, SS), pp. 173–184.

AdaEurope-2000-BarrazaPCC #development #predict

An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction (NRB, JDP, BCF, FC), pp. 185–195.

AdaEurope-2000-Schmitt #ada #analysis #design #framework #implementation #object-oriented

Analysis, Design and Implementation of an Object-Oriented Framework in Ada95 (DS), pp. 196–210.

AdaEurope-2000-LacommeCCN #ada #uml

MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project (TL, SC, AC, FN), pp. 211–224.

AdaEurope-2000-BliebergerBS #ada #analysis #data flow #detection #source code

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.

AdaEurope-2000-SoundarajanF #exception #object-oriented #reasoning #using

Exceptions in OO Languages: Using Them and Reasoning about Them (NS, SF), pp. 238–251.

AdaEurope-2000-LinM #morphism #polymorphism

(True) Polymorphism in SPARK2000 (TML, JAM), pp. 252–265.

AdaEurope-2000-DeshpandeCT #behaviour #object-oriented #reliability #simulation

Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation (MD, FPC, JT), pp. 266–279.

AdaEurope-2000-KiteleyD #automation #integration #testing

Results of an Investigation into Software Integration Testing Automation (SK, JD), pp. 280–290.

AdaEurope-2000-ChenL #on the #set

On the Minimal Essential Subsets and Minimal Representative Sets (TYC, MFL), pp. 291–301.