default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 1994: Copenhagen, Denmark
- Marcel Toussaint:
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 - 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 - Stéphane Barbey, Didier Buchs:
Testing Ada Abstract Data Types Using Formal Specifications. 76-89 - P. Taylor:
Formal Methods for a Space Software Development Environment. 90-103 - Roger Ward, John Stevens:
Object Orientation is not Always Best! 104-110 - Drasko M. Sotirovski, Slobodan S. Jovanovic, Philippe Kruchten:
Beyond Abstract Data Types: Giving Life to Objects. 111-120 - Paul Arberet, Laurent Desplas:
Test Methods and Tools for SOHO Mass Memory Unit Software. 121-129 - 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 - Jeroen J. M. Wiggers, Marc J. A. Oort:
Ada Controls the European Robotic Arm. 322-332 - 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 - Rainer Gerlich, Uwe Wagner:
Tuning Ada Programs in Advance. 440-464 - 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 - Steen Silberg, Thorkil B. Rasmussen:
FAA Certification of Ada Run-Time Systems. 489-498 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
