Ada-Europe 1994: Copenhagen, Denmark
Marcel Toussaint (Ed.): Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Springer 1994 Lecture Notes in Computer Science ISBN 3-540-58822-1- Chris Anderson: Opening Address: Ada 9X. 1-10
- Peter Lützen Møller: Run-Time Check Elimination for Ada 9X. 11-23
- Jacques Sevestre, Jacques Brygier: Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model. 24-32
- Jordan R. Kayloe, Patricia K. Lawlis: Merging Ada 9X and C++ in a Graphics System Software Architecture. 33-42
- Patrick Rogers, Marc Pitarys: The AECSS Fault Tolerant Distributed Ada Testbed and Application. 43-59
- Jacques Hagelstein, Dominique Roelants: A Front-End to HOOD - The Clyder Requirements Engineering Method. 60-62
- A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson: Tool Support for High Integrity Ada Software. 63-75
- P. Taylor: Formal Methods for a Space Software Development Environment. 90-103
- Drasko M. Sotirovski, Slobodan S. Jovanovic, Philippe Kruchten: Beyond Abstract Data Types: Giving Life to Objects. 111-120
- Maurice Heitz: Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments. 130-146
- Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin: A New Approach for HOOD/Ada Mapping. 147-154
- Heinz Schneeweiss: Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods. 155-161
- Lewis Gray: How Should Military Ada Software be Documented?. 162-169
- John R. Rymer: Evolving an Ada Curriculum to 9X. 170-174
- Leslie P. Gale: Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment. 175-203
- Steen Ulrik Palm: Life*ADA: An APSE Integrating Multiple Compiler. 204-214
- Ingmar Ögren: Extended Application of Ada to Cover ECBS with O4S. 215-230
- Fernando J. Nuñez, Rafael Prades: Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints. 231-257
- Franco Correrini, Paolo Panaroni: ESSPASE - European Space Software Product Assurance Support Environment. 258-269
- S. Francola, M. Manigrasso: Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter. 270-281
- Gérard Brunet: A Knowledge-Based System for Diagnosis in Veterinary Medicine. 282-287
- F. Ciceri, L. Marradi: Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control. 288-301
- Steven A. Birnie: Safety Aspects of the Ariane 5 On-Board Software. 302-321
- Hervé Le Doeuff: Automatic Generation of Ada Source Code for the Rafale Mission Computer. 333-348
- Nasser Kettani: How to Avoid and Control Proliferation of New Ada Real Time Extensions. 349-354
- Patrick de Bondeli: A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X. 355-386
- Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski: Interfacing Computer Communications from Ada in a Diverse and Evolving Environment. 387-396
- Holger Noseck: Cost-Benefit Analysis for Software-Reuse - A Decision Procedure. 397-405
- Gilles M. Pitette, Jean-Yves Corniglion, Daniel Gepner, Jean-Marie Sers: Ex2: Intergrating Ada and Extra Support in a Doubly Portable Extended Executive Designed for Hard Real Time Systems. 406-420
- Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund: Distribution of Tasks within a Centrally Scheduled Local Area Network. 421-432
- Joyce L. Tokar: Handling Interrupts in Ada 9X. 433-439
- Jean Abadie, Béatrice Busquere: CEDEX - A Tool for the Selection of a Development and Execution Environment for Real Time On-Board Applications. 465-482
- Peter E. Obermayer, Joachim Schröer, Georg Schüer, Achilles Klimek, Peter Kompalla, Rudolf Landwehr: Portability Effort Estimates for Real Time Applications Written in Ada Through Static Code Analysis. 483-488
- Finn Hass: Panel on Safety and Reliability, held on September 28, 1994. 499-508
- John A. Anderson: Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD). 509-521
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team