default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 1995: Frankfurt/Main, Germany
- Marcel Toussaint:
Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings. Lecture Notes in Computer Science 1031, Springer 1996, ISBN 3-540-60757-9 - Jean-François Kaufeler:
Ada: A Sceptical Assessment. 1-3 - Karlotto Mangold:
Ada95 - An Approach to Overcome the Software Crisis? 4-10 - Marc Richard-Foy:
Safe Ada Executive: An Executive for Ada Safety Critical Applications. 11-20 - P. David, T. Planche, A. Corrégé, J.-F. Chane:
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems. 21-50 - Rupert Brown:
The Practical Application of Safety Techniques on an Ada Based Project. 51-57 - G. Taurisano, I. Williams:
Ada in Mixed Language Applications. 58-70 - Magnus Kempe:
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95. 71-80 - Jørgen Bundgaard:
An ANDF Based Ada 95 Compiler System. 81-98 - Bernt Rognes, Per Ivar Skinderhaug:
Performance Tuning of a Check-Out System Coded in Ada. 99-110 - Jean-Noel Monfort, Vinh Qui Ribal:
Ariane 5: Development of the On-Board Software. 111-123 - André Laurens:
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S. 124-138 - Sergey Rybin, Alfred Strohmeier, Eugene Zueff:
ASIS for GNAT: Goals, Problems and Implementation Strategy. 139-151 - Paul A. Bailes, Paul Burnim, Murray Chapman, Eric J. Salzman:
KBSE and Ada - Object and Enabling Technology. 152-163 - Tim Birus, Paul Knueven, Ed Kuzemchak, Jack Rosenzweig, Joyce L. Tokar:
Extending the Ada 95 Initial Conditions for Preelaboration for Use in Real-Time Systems. 164-169 - B. Davies, Derek A. Rothwell:
The Use of Ada for the ENVISAT-1 Simulator. 170-177 - Kor Molenmaker:
Objects at Use in Nautical Simulators. 178-186 - Peter E. Obermayer, Georg Schüer, Rudolf Landwehr:
DIS - An Interface to Distributed Interactive Simulation. 187-190 - Anthony B. Gargaro, Yvon Kermarrec, Laurent Pautet, Samuel Tardieu:
PARIS - Partitioned Ada for Remotely Invoked Services. 191-205 - Yvon Kermarrec, Laurent Pautet:
Programming Distributed Systems with Both Ada 95 and PVM. 206-216 - Zièd Choukair, Yvon Kermarrec:
Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach. 217-227 - Rainer Gerlich, Mladen Kerep:
Distributed and Parallel Systems and HOOD 4. 228-243 - Marco Battaglia, Giancarlo Savoia:
ReverseNICE: A Re-Engineering Methodology and Supporting Tool. 244-248 - Heinz Schneeweiss, V. Amiot, O. Vix:
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95. 249-270 - Rik Simoens:
The Introduction of an Object-Oriented Analysis/Design Method and Object-Oriented Metrics in the Software Development Life-Cycle. 271-283 - Didier Buchs, C. Buffard, Pascal Racloz:
Modeling and Validation of Tasks with Algebraic Structured Nets. 284-297 - Bo Ingvar Sandén:
Design of Concurrent Software Based on Problem Concurrency. 298-310 - Andrew Matthewman:
ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada. 311-330 - A. Alapide, S. Candia, M. Cinella, S. Quaranta:
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application. 331-343 - Martin Croxford, James Sutton:
Breaking Through the V and V Bottleneck. 344-354 - François Bossard:
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada. 355-364 - Pete Cornwell, Andy J. Wellings:
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD. 365-378 - F. Battini, P. L. Mantovani, Marco Mattavelli:
Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC). 379-388 - Lars Björnfot:
Ada and Timed Automata. 389-405 - Stéphane Barbey:
Testing Ada 95 Object-Oriented Programs. 406-418 - Maurice Heitz:
Achieving Reusable and Reliable Client-Server Code using HOODTM Automated Code Generation for ADA95 and C++ Targets. 419-438 - Finn Hass:
Round Table Discussion: "Tools and Design Methods". 439-443 - D. De Gabaï:
LAMPBADA: Logiciel d'Aide à la Mise au Point de Bibliothèques Ada (Ada Libraries Validation Tool). 444-455
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-01-31 22:51 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:
