Abstract is missing.
- An Architectual Perspective of Real-Time Ada ApplicationsC. Douglas Locke. 1-11 [doi]
- A Formal Model of the Ada Ravenscar Tasking Profile; Protected ObjectsKristina Lundqvist, Lars Asplund, Stephen Mitchell. 12-25 [doi]
- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data SwitchJ. Michael Kamrad II, Barry A. Spinney. 26-38 [doi]
- Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORTRoderick Chapman, Robert Dewar. 39-51 [doi]
- An Ada95 Solution for Certification of Embedded Safety Critical ApplicationsJacob Frost. 52-63 [doi]
- Architectural Frameworks: Defining the Contents of Architectural DescriptionsDavid E. Emery. 64-75 [doi]
- Mapping Object-Oriented Designs to AdaAlfred Strohmeier. 76-90 [doi]
- Efficient and Extensible Multithreaded Remote ServersRicardo Jiménez-Peris, Marta Patiño-Martínez, Francisco J. Ballesteros, Sergio Arévalo. 91-102 [doi]
- Report on the VERA ExperimentBruno Hémeury. 103-113 [doi]
- Acceptance Testing of Object Oriented SystemsJosé L. Fernández. 114-123 [doi]
- Environment for the Development and Specification of Real-Time Ada ProgramsApolinar González, Alfons Crespo. 124-135 [doi]
- Interprocedural Symbolic Evaluation of Ada Programs with AliasesJohann Blieberger, Bernd Burgstaller, Bernhard Scholz. 136-145 [doi]
- Automatic Verification of Concurrent Ada ProgramsEric Bruneton, Jean-François Pradat-Peyre. 146-157 [doi]
- Translating Time Petri Net Structures into Ada 95 StatementsFrancisco José García Izquierdo, José Luis Villarroel. 158-169 [doi]
- Railway Scale Model SimulatorPierre Breguet, Luigi Zaffalon. 170-180 [doi]
- Ada 95 as a Foundation Language in Computer Engeneering Education in UkraineAlexandr Korochkin. 181-186 [doi]
- yaRTI, an Ada 95 HLA Run-Time InfrastructureDominique Canazzi. 187-198 [doi]
- An Ada95 Implementation of a Network Coordination Language with Code MobilityEmilio Tuosto. 199-210 [doi]
- CORBA & DSA: Divorce or Marriage?Laurent Pautet, Thomas Quinot, Samuel Tardieu. 211-225 [doi]
- How to Modify the GNAT Frontend tp Experiment with Ada ExtensionsFrancisco Javier Miranda González, Francisco Guerra Santana, José Martín, Alexis González. 226-237 [doi]
- On the Use of Controlled Types for Fossil Collection in a Distributed Simulation SystemsHelge Hagenauer. 238-249 [doi]
- An Application (Layer 7) Routing Switch with Ada95 SoftwareJ. Michael Kamrad II. 250-262 [doi]
- Ada Binding to a Shared Object LayerJohann Blieberger, Johann Klasek, eva Kühn. 263-274 [doi]
- The Ceiling Protocol in Multi-moded Real-Time SystemsJorge Real, Andy J. Wellings. 275-286 [doi]
- A Bare-Machine Implementation of Ada Multi-tasking Beneath the Linux KernelHongfeng Shen, Arnaud Charlet, Theodore P. Baker. 287-297 [doi]
- Implementing a New Low-Level Tasking Support for the GNAT Runtime SystemJosé F. Ruiz, Jesús M. González-Barahona. 298-307 [doi]
- MetaScribe, an Ada-based Tool for the Construction of Transformation EnginesFabrice Kordon. 308-319 [doi]
- An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using PersistenceThierry Millan, Myriam Lamolle, Frédéric Mulatero. 320-331 [doi]
- Browsing a Component Library Using Non-functional InformationXavier Franch, Josep Pinyol, Joan Vancells. 332-343 [doi]
- HW/SW Co-design of Embedded SystemsWilliam Fornaciari, Donatella Sciuto. 344-355 [doi]
- Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDLAdrian López, Maite Veiga, Eugenio Villar. 356-370 [doi]
- System on Chip Specification and Design Languages StandardizationJean Mermet. 371-384 [doi]
- An Incremental RecoveryCache Supporting Sotware Fault TolerancePatrick Rogers, Andy J. Wellings. 385-396 [doi]
- Shared Recoverable ObjectsJörg Kienzle, Alfred Strohmeier. 397-411 [doi]
- Fault Tolerance by Transparent Replication for Distributed Ada 95Thomas Wolf, Alfred Strohmeier. 412-424 [doi]
- A Case Study in the Reuse of On-board Embedded Real-Time SoftwareTullio Vardanega, Gert Caspersen, Jan Storbank Pedersen. 425-436 [doi]
- Development of Flight Control Software in Ada: Architecture and Design Issues and ApproachesAlfred Rosskopf. 437-449 [doi]