Dimitris Christodoulakis
Proceedings of the Ada-Europe International Conference: The Choice for ’92
Ada-Europe, 1991.

@proceedings{AdaEurope-1991,
	address       = "Athens, Greece",
	editor        = "Dimitris Christodoulakis",
	isbn          = "3-540-54092-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ada-Europe International Conference: The Choice for ’92}",
	volume        = 499,
	year          = 1991,
}

Contents (25 items)

19 ×#ada
5 ×#realtime
5 ×#using
3 ×#distributed
3 ×#process
3 ×#reuse
2 ×#embedded
2 ×#metric
2 ×#modelling
2 ×#testing

AdaEurope-1991-CurtisS #ada #modelling #using

Modelling the Temporal Summation of Neural Membranes Using the Ada Language (MCC, VJDS), pp. 2–19.

AdaEurope-1991-ElradW #3d #ada #using

The Use of Ada in Reactive Systems: A 3-Dimensional Model (TE, VW), pp. 20–36.

AdaEurope-1991-Maymir-Ducharme #ada #realtime #scheduling

Ada 9X Real-Time Scheduling Alternatives (FAMD), pp. 37–48.

AdaEurope-1991-Bjornson #ada

Information Engineering for Systems in Ada (SB), pp. 50–64.

AdaEurope-1991-TsalidisH #ada #metric

AFADA, a Measurement Tool for Ada (CTT, AEH), pp. 65–86.

AdaEurope-1991-Curley #ada #approach #benchmark #compilation #metric

An Approach To Benchmarking Ada Compilation Systems (TC), pp. 87–108.

AdaEurope-1991-Gudenberg #ada #parallel

Modellin SIMD — Type Parallel Arithmetic Operations in Ada (JWvG), pp. 110–124.

AdaEurope-1991-ChengU #ada #petri net #using

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.

AdaEurope-1991-Lundberg #ada #multi #performance

A Coprocessor for High Performance Multiprocessor Ada Tasking (LL), pp. 147–165.

AdaEurope-1991-GutzmannRR #development #network #process #testing

Software Project Activity Network for Managing the Development and Testing Process (KMG, DLR, JLR), pp. 168–192.

AdaEurope-1991-Welz #ada #safety

Ada in Safety Critical Applications (AW), pp. 193–198.

AdaEurope-1991-WillainBSV #ada #realtime

Real-Time Electronic Funds Transfer and Ada (JW, PB, JS, SvV), pp. 199–209.

AdaEurope-1991-LarreAGG #modelling #process

Introducing HOOD into Software Process Modelling Based Environments (JRL, NA, JJG, JG), pp. 212–226.

AdaEurope-1991-DelisT #ada #assessment #design #static analysis #using

Design Assessment of Ada Systems Using Static Analysis (AD, WMT), pp. 227–250.

AdaEurope-1991-SouposG #ada #distributed #object-oriented #transaction #using

Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS (PS, SG), pp. 252–259.

AdaEurope-1991-Baumgarten #ada #case study #comparative #distributed

Distributed Systems and Ada — Current Projects and Approaches Comparative Study’s Results (UB), pp. 260–278.

AdaEurope-1991-LevyRT #ada #configuration management #distributed

Reconfigurable Ada Distributed Control System Software (DCL, MCR, JLT), pp. 279–302.

AdaEurope-1991-BadaroM #ada #named #reuse #using

ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes (NB, TM), pp. 304–325.

AdaEurope-1991-SymsB #reuse

Software Reuse: Customer vs. Contractor Point-Counterpoint (TS, CLB), pp. 326–337.

AdaEurope-1991-Rosskopf #ada #reuse

Reusable Input/Output Packages for Ada Avionic Applications (AR), pp. 338–360.

AdaEurope-1991-FernandezP #component #library

Constructing a Pilot Library of Components for Avionic Systems (JLF, JAdlP), pp. 362–371.

AdaEurope-1991-Guaspari #automation #logic #specification

Formally Specifying the Logic of an Automatic Guidance Controller (DG), pp. 372–383.

AdaEurope-1991-ColombiniTP #ada #realtime

Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques (CC, AdT, RP), pp. 384–393.

AdaEurope-1991-GilbertTB #ada #embedded #experience #process #realtime #using

Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes (BG, MT, GB), pp. 394–403.

AdaEurope-1991-LippensA #embedded #realtime #scalability #testing

Testing and Integrating a Large Embedded Real-Time System (JML, JA), pp. 404–411.