Ada in Europe: Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings [1 ed.] 3540607579, 9783540607571
This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankf
219 65 5MB
English Pages 464 [466] Year 1996
Table of contents :
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
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
![Ada in Europe: Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings [1 ed.]
3540607579, 9783540607571](https://ebin.pub/img/200x200/ada-in-europe-second-international-eurospace-ada-europe-symposium-frankfurt-main-germany-october-26-1995-proceedings-1nbsped-3540607579-9783540607571.jpg)
- Author / Uploaded
- Jean-François Kaufeler (auth.)
- Marcel Toussaint (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![Ada in Europe: First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings [1 ed.]
3540588221, 9783540588221](https://ebin.pub/img/200x200/ada-in-europe-first-international-eurospace-ada-europe-symposium-copenhagen-denmark-september-2630-1994-proceedings-1nbsped-3540588221-9783540588221.jpg)
![Ada - Europe '93: 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings [1 ed.]
3540568026, 9783540568025](https://ebin.pub/img/200x200/ada-europe-93-12th-ada-europe-international-conference-ada-sans-frontieres-paris-france-june-1418-1993-proceedings-1nbsped-3540568026-9783540568025.jpg)
![Disinformation in Open Online Media: Second Multidisciplinary International Symposium, MISDOOM 2020, Leiden, The Netherlands, October 26–27, 2020, Proceedings [1st ed.]
9783030618407, 9783030618414](https://ebin.pub/img/200x200/disinformation-in-open-online-media-second-multidisciplinary-international-symposium-misdoom-2020-leiden-the-netherlands-october-2627-2020-proceedings-1st-ed-9783030618407-9783030618414.jpg)
![Medical Data Analysis: Second International Symposium, ISMDA 2001 Madrid, Spain, October 8–9, 2001 Proceedings [1 ed.]
3540427341, 9783540427346](https://ebin.pub/img/200x200/medical-data-analysis-second-international-symposium-ismda-2001-madrid-spain-october-89-2001-proceedings-1nbsped-3540427341-9783540427346.jpg)
