default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2002: Vienna, Austria
- Johann Blieberger, Alfred Strohmeier:
Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings. Lecture Notes in Computer Science 2361, Springer 2002, ISBN 3-540-43784-3
Invited Papers
- Maarten Boasson:
Embedded Systems Unsuitable for Object Orientation. 1-12 - Mehdi Jazayeri:
On Architectural Stability and Evolution. 13-23 - Assia Doudou, Benoît Garbinato, Rachid Guerraoui:
Encapsulating Failure Detection: From Crash to Byzantine Failures. 24-50 - Alois Ferscha:
Contextware: Bridging Physical and Virtual Worlds. 51-64
Embedded Systems
- Alexander Chatzigeorgiou, George Stephanides:
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors. 65-75 - Jose Manuel Pérez Lobato, Eva Martín Lobo:
OMC-INTEGRAL Memory Management. 76-87 - Michael Ward, Neil C. Audsley:
Language Issues of Compiling Ada to Hardware. 88-99
Case Studies
- Adrian Hoe:
Software Development Reengineering - An Experience Report. 100-112 - Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández:
Development of a Control System for Teleoperated Robots Using UML and Ada95. 113-124 - Walter Binder
, Balázs Lichtl:
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. 125-135
Real-Time Systems
- Mario Aldea Rivas, Michael González Harbour:
A POSIX-Ada Interface for Application-Defined Scheduling. 136-150
High-Integrity Systems
- Peter Amey:
Closing the Loop: The Influence of Code Analysis on Design. 151-162 - Paul Parkinson, Franco Gasperoni:
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. 163-178
Ada Language
- Javier Miranda, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González:
How to Use GNAT to Efficiently Preprocess New Ada Sentences. 179-192 - Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers:
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. 193-204 - Ehud Lamm:
Adding Design by Contract to the Ada Language. 205-218
Program Analysis
- Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang:
Static Dependency Analysis for Concurrent Ada 95 Programs. 219-230 - Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf:
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. 231-244 - Yuen-Tak Yu, Man Fai Lau:
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study. 245-256
Tools
- Sergey Rybin, Alfred Strohmeier:
About the Difficulties of Building a Pretty-Printer for Ada. 257-268 - Ernestina Martel, Francisco Guerra Santana, Javier Miranda:
A Tailorable Distributed Programming Environment. 269-281
Distributed Systems
- Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour:
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components. 282-296 - Luís Miguel Pinho, Francisco Vasques:
Transparent Environment for Replicated Ravenscar Applications. 297-308 - Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo:
Concurrency Control in Transactional Drago. 309-320
Libraries, APIs, and Bindings
- Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo:
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. 321-333 - Michael Erdmann:
GNAT Ada Database Development Environment. 334-343
Object-Orientation
- Jean-Pierre Rosen:
Ada, Interfaces and the Listener Paradigm. 344-356 - Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente:
Using Object Orientation in High Integrity Applications: A Case Study. 357-366
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-11-11 21:16 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:
