Lars Asplund
Proceedings of the Third Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 1998.

@proceedings{AdaEurope-1998,
	address       = "Uppsala, Sweden",
	editor        = "Lars Asplund",
	isbn          = "3-540-64536-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 1411,
	year          = 1998,
}

Contents (25 items)

13 ×#ada
5 ×#realtime
3 ×#distributed
3 ×#object-oriented
2 ×#case study
2 ×#how
2 ×#named
2 ×#safety
2 ×#source code

AdaEurope-1998-Gasperoni #embedded

Embedded Opportunities (FG), pp. 1–13.

AdaEurope-1998-Chapront #ada #development #safety

Ada+B The Formula for Safety Critical Software Development (PC), pp. 13–18.

AdaEurope-1998-MilletB #java #migration #runtime #virtual machine

Porting the GNAT Tasking Runtime System to the Java Virtual Machine (LM, TB), pp. 19–28.

AdaEurope-1998-EmeryMN #ada #automation #how #process #question

Automating the Ada Binding Process for Java- How Far Can We Go? (DEE, RFM, KAN), pp. 29–40.

AdaEurope-1998-Ben-Ari #multi

Synchronizing Multiple Clients and Servers (MBA), pp. 41–52.

AdaEurope-1998-SchumacherN #ada #how #inheritance

How to Avoid the Inheritance Anomaly in Ada (GS, WN), pp. 53–64.

AdaEurope-1998-PautetT #distributed

Inside the Distributed Systems Annex (LP, ST), pp. 65–77.

AdaEurope-1998-Patino-MartinezJA #ada #fault tolerance #transaction

Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada (MPM, RJP, SA), pp. 78–89.

AdaEurope-1998-HarbourRGG #ada #execution #implementation #realtime #using

Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications (MGH, MAR, JJGG, JCPG), pp. 90–101.

AdaEurope-1998-EspinosaJCTG #ada #component #programming #realtime

Programming Hard Real-Time Systems with Optional Components in Ada (AE, VJ, CC, AT, AGF), pp. 102–111.

AdaEurope-1998-Moody #abstraction #object-oriented #realtime

Object Oriented Abstractions for Real-Time Distributes Systems (SAM), pp. 112–127.

AdaEurope-1998-Stift #ada #object-oriented #physics

(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative (MJS), pp. 128–139.

AdaEurope-1998-HagenauerP #ada #distributed #simulation

Ada 95 for a Distributed Simulation System (HH, WP), pp. 140–150.

AdaEurope-1998-HarbourSSJ #api #industrial #named

PINROB: A Portable API for Industrial Robots (MGH, RGS, AS, JJ), pp. 151–162.

AdaEurope-1998-StrohmeierFRB #named #testing

Quality-for-ASIS: A Portable Testing Facility for ASIS (AS, VF, SR, SB), pp. 163–175.

AdaEurope-1998-Tonndorf #ada #case study #compilation #experience

Ten Years of Tool Based Ada Compiler Validations. An Experience Report (MT), pp. 176–187.

AdaEurope-1998-ArabanS #library #object-oriented

A Two-Level Matching Mechanism for Object-Oriented Class Libraries (SA, ASMS), pp. 188–200.

AdaEurope-1998-LewisVM #distributed #requirements

Modern Avionics Requirements for the Distributed Systems Annex (BAL, SV, DJM), pp. 201–212.

AdaEurope-1998-FernandezAGPP #architecture #case study #evaluation #realtime

A Case Study in Quantitative Evaluation of Real-Time Software Architectures (JLF, BÁ, FJGI, ÁP, JAdlP), pp. 213–224.

AdaEurope-1998-Gonzalez-BarahonaQCB #ada #approach #communication #composition

Building Modular Communication Systems in Ada: The Simple_Com Approach (JMGB, PdlHQ, JCG, FJB), pp. 225–237.

AdaEurope-1998-BliebergerB #ada #analysis #source code

Symbolic Reaching Definitions Analysis of Ada Programs (JB, BB), pp. 238–250.

AdaEurope-1998-Wong #safety

Looking at Code With Your Safety Goggles On (KW), pp. 251–262.

AdaEurope-1998-BurnsDR #realtime #source code

The Ravenscar Tasking Profile for High Integrity Real-Time Programs (AB, BD, GR), pp. 263–275.

AdaEurope-1998-Saaltink #ada #using

Guidance on the Use of Ada95 in High Integrity Systems (SM, MS), pp. 276–287.

AdaEurope-1998-Frisberg #ada

Ada in the JAS 39 Gripen Flight Control System (BF), pp. 288–296.