default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2003: Toulouse, France
- Jean-Pierre Rosen, Alfred Strohmeier:
Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings. Lecture Notes in Computer Science 2655, Springer 2003, ISBN 3-540-40376-0
Invited Papers
- Pascal Leroy:
An Invitation to Ada 2005. 1-23 - Mira Mezini, Klaus Ostermann:
Modules for Crosscutting Models. 24-44 - Jörg Kienzle:
Software Fault Tolerance: An Overview. 45-67
Ravenscar
- Peter Amey, Brian Dobbing:
High Integrity Ravenscar. 68-79 - Alan Burns, Tse-Min Lin:
Adding Temporal Annotations and Associated Verification to Ravenscar Profile. 80-91 - Niklas Holsti, Thomas Långbacka:
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. 92-101
Language Issues
- Ehud Lamm:
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design. 102-112 - Benjamin M. Brosgol, Andy J. Wellings:
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java. 113-128 - Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers:
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada. 129-141
Static Analysis
- Johann Blieberger, Bernd Burgstaller, Bernhard Scholz:
Busy Wait Analysis. 142-152 - Johann Blieberger, Bernd Burgstaller:
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation. 153-167 - Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau:
Quasar: A New Tool for Concurrent Ada Programs Analysis. 168-181
Distributed Information Systems
- Ernestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández:
A Graphical Environment for GLADE. 182-195 - Mário Amado Alves, Alípio Jorge
, Matthew Heaney:
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project. 196-207 - Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky:
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance. 208-219
Metrics
- Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente:
Getting System Metrics Using POSIX Tracing Services. 220-231 - William M. Evanco, June M. Verner:
Some Architectural Features of Ada Systems Affecting Defects. 232-245 - Silke Kuball, Gordon Hughes:
Evidential Volume Approach for Certification. 246-257
Software Components
- Christoph Grein, Dmitry A. Kazakov, Fraser Wilson:
A Survey of Physical Unit Handling Techniques in Ada. 258-270 - Matthew Heaney:
Charles: A Data Structure Library for Ada95. 271-282 - Xavier Franch, Jordi Marco:
A Quality Model for the Ada Standard Container Library. 283-296
Formal Specification
- Tommi Mikkonen:
Experiences on Developing and Using a Tool Support for Formal Specification. 297-308 - Tse-Min Lin, John A. McDermid:
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. 309-321
Real-Time Kernel
- Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo:
Running Ada on Real-Time Linux. 322-333 - Alan Burns, Michael González Harbour, Andy J. Wellings:
A Round Robin Scheduling Policy for Ada. 334-343 - Javier Miranda, Michael González Harbour:
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95. 344-358
Testing
- Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano:
A Test Environment for High Integrity Software Development. 359-267 - Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
Normalized Restricted Random Testing. 368-381 - Yogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam:
Testing Safety Critical Ada Code Using Non Real Time Testing. 382-392
Real-Time Systems Design
- Francis Thom:
The Standard UML-Ada Profile. 394-404 - Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega:
HRT-UML: Taking HRT-HOOD onto UML. 405-416 - Francisco J. Ortiz, Bárbara Álvarez, Juan Angel Pastor, Pedro Sánchez:
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. 417-428
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-10-31 20:19 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:
