Ada in Europe: Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings

Ada: A sceptical assessment....Pages 1-3
Ada95 — An approach to overcome the software crisis?....Pages 4-10
Safe Ada Executive: An executive for Ada safety critical applications....Pages 11-20
Developing fault tolerant software in Ada for real-time dependable systems....Pages 21-50
The practical application of safety techniques on an Ada based project....Pages 51-57
Ada in mixed language applications....Pages 58-70
Heterogeneous data structures and cross-classification of objects with Ada 95....Pages 71-80
An ANDF based Ada 95 compiler system....Pages 81-98
Performance tuning of a check-out system coded in Ada....Pages 99-110
Ariane 5: Development of the on-board software....Pages 111-123
PRONAOS ground control center: First operational Ada application in C.N.E.S.....Pages 124-138
ASIS for GNAT: Goals, problems and implementation strategy....Pages 139-151
KBSE and Ada: Object and enabling technology....Pages 152-163
Extending the Ada 95 initial conditions for preelaboration for use in real-time systems....Pages 164-169
The use of Ada for the ENVISAT-1 simulator....Pages 170-177
Objects at use in nautical simulators....Pages 178-186
DIS — An interface to distributed interactive simulation....Pages 187-190
PARIS — Partitioned Ada for Remotely Invoked Services....Pages 191-205
Programming distributed systems with both Ada 95 and PVM....Pages 206-216
Distributed object oriented programming and interoperability for Ada 95: An OMG/CORBA approach....Pages 217-227
Distributed and parallel systems and HOOD4....Pages 228-243
ReverseNICE: A re-engineering methodology and supporting tool....Pages 244-248
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95....Pages 249-270
The introduction of an Object Oriented Analysis/Design method and Object Oriented Metrics in the software development life-cycle....Pages 271-283
Modelling and validation of tasks with algebraic structured nets....Pages 284-297
Design of concurrent software based on problem concurrency....Pages 298-310
ECLIPS — A successful experiment combining CCSDS SFDUs, X/Motif, HOOD and Ada....Pages 311-330
Applying Teamwork/Ada and RAISE for developing an Air Traffic Control application....Pages 331-343
Breaking through the V and V bottleneck....Pages 344-354
Periodic processing in hard real-time systems: Assessment of different design models in Ada....Pages 355-364
Transaction specification for object-oriented real-time systems in HRT-HOOD....Pages 365-378
Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC)....Pages 379-388
Ada and timed automata....Pages 389-405
Testing Ada 95 object-oriented programs....Pages 406-418
Achieving reusable and reliable client-server code using HOOD TM automated code generation for ADA95 and C++ targets....Pages 419-438
Round table discussion: “Tools and design methods” held on October 4, 1995....Pages 439-443
Lampbada....Pages 444-455