default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2000: Potsdam, Germany
- Hubert B. Keller, Erhard Plödereder:
Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Lecture Notes in Computer Science 1845, Springer 2000, ISBN 3-540-67669-4
Invited Presentations
- Rainer Zimmermann:
Support of Technology Development in the Information Society. 1 - Reto Weiss:
Kingcat MCAS - Monitoring, Control and Alarm System for a Luxury Motor Yacht Implemented in Ada and Java. 2-3 - Bryan Pflug:
Ada after 10 Years of Usage - Is There a Commercial Future? 4 - Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano:
An Open Ravenscar Real-Time Kernel for GNAT. 5-15
Real-Time and Safety-Critical Systems
- Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell:
Object-Oriented Programming and Protected Objects in Ada 95. 16-28 - Björn Källberg:
Is an Ada Lint Necessary? 29-40
Session: Tools
- Shayne Flint, Brian Dobbing:
Using JavaTM APIs with Native Ada Compilers. 41-55 - Thomas Ringler:
Static Worst-Case Execution Time Analysis of Synchronous Programs. 56-68 - Yusuke Nonaka, Jingde Cheng, Kazuo Ushijima:
A Supporting Tool for Development of Self-Measurement Ada Programs. 69-81
Session: APIs and Components
- Jörg Kienzle, Alexander B. Romanovsky
:
On Persistent and Reliable Streaming in Ada. 82-95 - Jordi Marco, Xavier Franch:
Reengineering the Booch Component Library. 96-111 - Emmanuel Briot, Joël Brobecker, Arnaud Charlet:
GtkAda: Design and Implementation of a High Level Binding in Ada. 112-124
Session: ASIS
- Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov:
ASIS-for-GNAT: A Report of Practical Experiences. 125-137 - Steven V. Hovater, William Marksteiner, Allen Butturini:
Generation of Interface Design Description Documents Using ASIS. 138-148 - Patrick Closhen, Hans-Jürgen Hoffmann:
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation. 149-160
Session: Risk and Reliability Management
- Peter Wieland, Frode Høgberg, Kristin Strømseng:
Enhancements in Software Project Risk Management. 161-172 - Giuseppe Mauri, Stefan Scheer:
Constructing Reliable Embedded Systems Using the Results of System Safety Analysis. 173-184 - Néstor R. Barraza, Jonás D. Pfefferman, Bruno Cernuschi-Frías, Félix Cernuschi:
An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction. 185-195
Session: UML
- Detlef Schmitt:
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95. 196-210 - Thierry Lacomme, Séverine Carles, Agusti Canals, François Normend:
MTS Integrating UML, HOOD, Ada in a Full Ada Operational Software Project. 211-224
Session: Formal Analysis Methods
- Johann Blieberger, Bernd Burgstaller, Bernhard Scholz:
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. 225-237 - Neelam Soundarajan, Stephen Fridella:
Exceptions in OO Languages: Using Them and Reasoning about Them. 238-251 - Tse-Min Lin, John A. McDermid:
(True) Polymorphism in SPARK2000. 252-265
Session: Testing
- Mahesh Deshpande, Frank P. Coyle, Jeff Tian:
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation. 266-279 - Simon Kiteley, Jonathan Draper:
Results of an Investigation into Software Integration Testing Automation. 280-290 - Tsong Yueh Chen, Man Fai Lau:
On the Minimal Essential Subsets and Minimal Representative Sets. 291-301
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-29 01:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
