Marcel Toussaint
Proceedings of the Second International Eurospace/Ada-Europe Symposium
Ada-Europe, 1995.

@proceedings{AdaEurope-1995,
	address       = "Frankfurt/Main, Germany",
	editor        = "Marcel Toussaint",
	isbn          = "3-540-60757-9",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Eurospace/Ada-Europe Symposium}",
	volume        = 1031,
	year          = 1995,
}

Contents (36 items)

25 ×#ada
7 ×#named
5 ×#object-oriented
4 ×#distributed
4 ×#realtime
3 ×#design
3 ×#modelling
2 ×#analysis
2 ×#approach
2 ×#assessment

AdaEurope-1995-Kaufeler #ada #assessment #named

Ada: A Sceptical Assessment (JFK), pp. 1–3.

AdaEurope-1995-Mangold #ada #approach #named #question

Ada95 — An Approach to Overcome the Software Crisis? (KM), pp. 4–10.

AdaEurope-1995-Richard-Foy #ada #safety

Safe Ada Executive: An Executive for Ada Safety Critical Applications (MRF), pp. 11–20.

AdaEurope-1995-DavidPCC #ada #fault tolerance #realtime

Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems (PD, TP, AC, JFC), pp. 21–50.

AdaEurope-1995-Brown #ada #safety

The Practical Application of Safety Techniques on an Ada Based Project (RB), pp. 51–57.

AdaEurope-1995-TaurisanoW #ada

Ada in Mixed Language Applications (GT, IW), pp. 58–70.

AdaEurope-1995-Kempe #ada #classification #data type #semistructured data

Heterogeneous Data Structures and Cross-Classification of Objects with Ada95 (MK), pp. 71–80.

AdaEurope-1995-Bundgaard #ada #compilation

An ANDF Based Ada 95 Compiler System (JB), pp. 81–98.

AdaEurope-1995-RognesS #ada #performance

Performance Tuning of a Check-Out System Coded in Ada (BR, PIS), pp. 99–110.

AdaEurope-1995-MonfortR #development

Ariane 5: Development of the On-Board Software (JNM, VQR), pp. 111–123.

AdaEurope-1995-Laurens #ada

PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S (AL), pp. 124–138.

AdaEurope-1995-RybinSZ #implementation #problem

ASIS for GNAT: Goals, Problems and Implementation Strategy (SR, AS, EZ), pp. 139–151.

AdaEurope-1995-BailesBCS #ada

KBSE and Ada — Object and Enabling Technology (PAB, PB, MC, EJS), pp. 152–163.

AdaEurope-1995-BirusKKRT #ada #realtime

Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems (TB, PK, EK, JR, JLT), pp. 164–169.

AdaEurope-1995-DaviesR #ada #using

The Use of Ada for the ENVISAT-1 Simulator (BD, DAR), pp. 170–177.

AdaEurope-1995-Molenmaker

Objects at Use in Nautical Simulators (KM), pp. 178–186.

AdaEurope-1995-ObermayerSL #distributed #interactive #interface #named #simulation

DIS — An Interface to Distributed Interactive Simulation (PEO, GS, RL), pp. 187–190.

AdaEurope-1995-GargaroKPT #ada #named

PARIS — Partitioned Ada for Remotely Invoked Services (AG, YK, LP, ST), pp. 191–205.

AdaEurope-1995-KermarrecP #ada #distributed #programming

Programming Distributed Systems with Both Ada 95 and PVM (YK, LP), pp. 206–216.

AdaEurope-1995-ChoukairK #ada #approach #corba #distributed #object-oriented #programming

Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach (ZC, YK), pp. 217–227.

AdaEurope-1995-GerlichK #distributed #parallel

Distributed and Parallel Systems and HOOD 4 (RG, MK), pp. 228–243.

AdaEurope-1995-BattagliaS #named #re-engineering

ReverseNICE: A Re-Engineering Methodology and Supporting Tool (MB, GS), pp. 244–248.

AdaEurope-1995-SchneeweissAV #ada #analysis #modelling #object-oriented

Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95 (HS, VA, OV), pp. 249–270.

AdaEurope-1995-Simoens #analysis #design #development #lifecycle #metric #object-oriented

The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycle (RS), pp. 271–283.

AdaEurope-1995-BuchsBR #algebra #modelling #validation

Modeling and Validation of Tasks with Algebraic Structured Nets (DB, CB, PR), pp. 284–297.

AdaEurope-1995-Sanden #concurrent #design #problem

Design of Concurrent Software Based on Problem Concurrency (BS), pp. 298–310.

AdaEurope-1995-Matthewman #ada #empirical #named

ECLIPS — A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada (AM), pp. 311–330.

AdaEurope-1995-AlapideCCQ #ada

Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application (AA, SC, MC, SQ), pp. 331–343.

AdaEurope-1995-CroxfordS

Breaking Through the V and V Bottleneck (MC, JS), pp. 344–354.

AdaEurope-1995-Bossard #ada #assessment #design #modelling #realtime

Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada (FB), pp. 355–364.

AdaEurope-1995-CornwellW #object-oriented #realtime #specification #transaction

Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD (PC, AJW), pp. 365–378.

AdaEurope-1995-BattiniMM #ada #evaluation

Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC) (FB, PLM, MM), pp. 379–388.

AdaEurope-1995-Bjornfot #ada #automaton

Ada and Timed Automata (LB), pp. 389–405.

AdaEurope-1995-Barbey #ada #object-oriented #source code #testing

Testing Ada 95 Object-Oriented Programs (SB), pp. 406–418.

AdaEurope-1995-Heitz #ada #automation #c++ #code generation #reliability #reuse #using

Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets (MH), pp. 419–438.

AdaEurope-1995-Gabai #ada #french #library #named #validation

LAMPBADA: Logiciel d’Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool) (DDG), pp. 444–455.