Proceedings of the Fifth Ada-Europe International Conference on Reliable Software Technologies
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.