Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 1998: Uppsala, Sweden
- Lars Asplund:
Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings. Lecture Notes in Computer Science 1411, Springer 1998, ISBN 3-540-64536-5
Invited Speaker
- Franco Gasperoni:
Embedded Opportunities. 1-13 - Pierre Chapront:
Ada+B The Formula for Safety Critical Software Development. 13-18
Ada 95 and Java
- Laurent Millet, Ted Baker:
Porting the GNAT Tasking Runtime System to the Java Virtual Machine. 19-28 - David E. Emery, Robert F. Mathias, Karl A. Nyberg:
Automating the Ada Binding Process for Java- How Far Can We Go? 29-40
Ada 95 Language and Tools
- Mordechai Ben-Ari:
Synchronizing Multiple Clients and Servers. 41-52 - Guido Schumacher, Wolfgang Nebel:
How to Avoid the Inheritance Anomaly in Ada. 53-64
Distributed Systems
- Laurent Pautet, Samuel Tardieu:
Inside the Distributed Systems Annex. 65-77 - Marta Patiño-Martínez
, Ricardo Jiménez-Peris, Sergio Arévalo:
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. 78-89
Real-Time Systems
- Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez:
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. 90-101 - Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes:
Programming Hard Real-Time Systems with Optional Components in Ada. 102-111 - Scott Arthur Moody:
Object Oriented Abstractions for Real-Time Distributes Systems. 112-127
Case Studies and Experiments
- Martin J. Stift:
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative. 128-139 - Helge Hagenauer, Werner Pohlmann:
Ada 95 for a Distributed Simulation System. 140-150 - Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot:
PINROB: A Portable API for Industrial Robots. 151-162
Software Quality
- Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey:
Quality-for-ASIS: A Portable Testing Facility for ASIS. 163-175 - Michael Tonndorf:
Ten Years of Tool Based Ada Compiler Validations. An Experience Report. 176-187
Software Development Methods and Techniques
- Saeed Araban, A. S. M. Sajeev:
A Two-Level Matching Mechanism for Object-Oriented Class Libraries. 188-200 - Bruce A. Lewis, Steve Vestal, David J. McConnell:
Modern Avionics Requirements for the Distributed Systems Annex. 201-212
Software Architectures
- José L. Fernández, Bárbara Álvarez, Francisco J. García Izquierdo, Ángel Pérez, Juan Antonio de la Puente:
A Case Study in Quantitative Evaluation of Real-Time Software Architectures. 213-224 - Jesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros:
Building Modular Communication Systems in Ada: The Simple_Com Approach. 225-237
High Integrity Systems
- Johann Blieberger, Bernd Burgstaller:
Symbolic Reaching Definitions Analysis of Ada Programs. 238-250 - Ken Wong:
Looking at Code With Your Safety Goggles On. 251-262 - Alan Burns, Brian Dobbing, George Romanski:
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. 263-275 - Steve Michell, Mark Saaltink:
Guidance on the Use of Ada95 in High Integrity Systems. 276-287 - Bo Frisberg:
Ada in the JAS 39 Gripen Flight Control System. 288-296
a service of 
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 2024-04-22 21:15 CEST 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:
