Ada-Europe 1994: Copenhagen, Denmark

Marcel Toussaint (Ed.): Ada in Europe, First International Eurospace - Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, Proceedings. Lecture Notes in Computer Science 887 Springer 1994, ISBN 3-540-58822-1 BibTeX

@proceedings{DBLP:conf/adaEurope/1994,
  editor    = {Marcel Toussaint},
  title     = {Ada in Europe, First International Eurospace - Ada-Europe Symposium,
               Copenhagen, Denmark, September 26-30, 1994, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {887},
  year      = {1994},
  isbn      = {3-540-58822-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Chris Anderson: Opening Address: Ada 9X. 1-10 BibTeX
Peter Lützen Møller: Run-Time Check Elimination for Ada 9X. 11-23 BibTeX
Jacques Sevestre, Jacques Brygier: Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model. 24-32 BibTeX
Jordan R. Kayloe, Patricia K. Lawlis: Merging Ada 9X and C++ in a Graphics System Software Architecture. 33-42 BibTeX
Patrick Rogers, Marc Pitarys: The AECSS Fault Tolerant Distributed Ada Testbed and Application. 43-59 BibTeX
Jacques Hagelstein, Dominique Roelants: A Front-End to HOOD - The Clyder Requirements Engineering Method. 60-62 BibTeX
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 BibTeX
Stéphane Barbey, Didier Buchs: Testing Ada Abstract Data Types Using Formal Specifications. 76-89 BibTeX
P. Taylor: Formal Methods for a Space Software Development Environment. 90-103 BibTeX
Roger Ward, John Stevens: Object Orientation is not Always Best! 104-110 BibTeX
Drasko M. Sotirovski, Slobodan S. Jovanovic, Philippe Kruchten: Beyond Abstract Data Types: Giving Life to Objects. 111-120 BibTeX
Paul Arberet, Laurent Desplas: Test Methods and Tools for SOHO Mass Memory Unit Software. 121-129 BibTeX
Maurice Heitz: Integrating Modular, Object Oriented Programming and Application Generator Technologies in Large Real Time and Distributed Developments. 130-146 BibTeX
Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin: A New Approach for HOOD/Ada Mapping. 147-154 BibTeX
Heinz Schneeweiss: Shlaer/Mellor or Rumbaugh? A Discussion of two Popular Object-Oriented Methods. 155-161 BibTeX
Lewis Gray: How Should Military Ada Software be Documented?. 162-169 BibTeX
John R. Rymer: Evolving an Ada Curriculum to 9X. 170-174 BibTeX
Leslie P. Gale: Recommendations and Proposals for an Ada Strategy in the Space Software Development Environment. 175-203 BibTeX
Steen Ulrik Palm: Life*ADA: An APSE Integrating Multiple Compiler. 204-214 BibTeX
Ingmar Ögren: Extended Application of Ada to Cover ECBS with O4S. 215-230 BibTeX
Fernando J. Nuñez, Rafael Prades: Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints. 231-257 BibTeX
Franco Correrini, Paolo Panaroni: ESSPASE - European Space Software Product Assurance Support Environment. 258-269 BibTeX
S. Francola, M. Manigrasso: Test Philosophy and Validation Strategy of On-Board Real Time Software in Envisat-1 Satellite Radar-Altimeter. 270-281 BibTeX
Gérard Brunet: A Knowledge-Based System for Diagnosis in Veterinary Medicine. 282-287 BibTeX
F. Ciceri, L. Marradi: Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control. 288-301 BibTeX
Steven A. Birnie: Safety Aspects of the Ariane 5 On-Board Software. 302-321 BibTeX
Jeroen J. M. Wiggers, Marc J. A. Oort: Ada Controls the European Robotic Arm. 322-332 BibTeX
Hervé Le Doeuff: Automatic Generation of Ada Source Code for the Rafale Mission Computer. 333-348 BibTeX
Nasser Kettani: How to Avoid and Control Proliferation of New Ada Real Time Extensions. 349-354 BibTeX
Patrick de Bondeli: A Fully Reusable Class of Objects for Synchronization and Communication in Ada 9X. 355-386 BibTeX
Slobodan S. Jovanovic, Linda Simon, Drasko M. Sotirovski: Interfacing Computer Communications from Ada in a Diverse and Evolving Environment. 387-396 BibTeX
Holger Noseck: Cost-Benefit Analysis for Software-Reuse - A Decision Procedure. 397-405 BibTeX
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 BibTeX
Lars Björnfot, Kristina Lundqvist, Göran Wall, Lars Asplund: Distribution of Tasks within a Centrally Scheduled Local Area Network. 421-432 BibTeX
Joyce L. Tokar: Handling Interrupts in Ada 9X. 433-439 BibTeX
Rainer Gerlich, Uwe Wagner: Tuning Ada Programs in Advance. 440-464 BibTeX
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 BibTeX
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 BibTeX
Steen Silberg, Thorkil B. Rasmussen: FAA Certification of Ada Run-Time Systems. 489-498 BibTeX
Finn Hass: Panel on Safety and Reliability, held on September 28, 1994. 499-508 BibTeX
John A. Anderson: Experiences Integrating Object-Oriented Analysis with Joint Application Development (JAD). 509-521 BibTeX