Abstract is missing.
- Assuring Software Reliability While Using Web Services and Commercial ProductsJeffrey O'Leary. 1-16 [doi]
- Detecting High-Level Synchronization Errors in Parallel ProgramsSyed Aoun Raza, Stefan Franke, Erhard Ploedereder. 17-30 [doi]
- Design and Implementation of a Ravenscar Extension for MultiprocessorsFabien Chouteau, José F. Ruiz. 31-45 [doi]
- A Real-Time Framework for Multiprocessor Platforms Using Ada 2012Sergio Saez, Silvia Terrasa, Alfons Crespo. 46-60 [doi]
- The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source CodeThierry Coq, Jean-Pierre Rosen. 61-74 [doi]
- Adapting ACATS to the Ahven Testing FrameworkDan Eilers, Tero Koskinen. 75-88 [doi]
- Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTEJulio L. Medina, Alvaro Garcia Cuesta. 89-102 [doi]
- Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADLAndreas Johnsen, Kristina Lundqvist. 103-117 [doi]
- A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling SystemsLaura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario. 118-131 [doi]
- Architecting a Common Bridge Abstraction over Different Middleware ParadigmsIago Rodríguez-López, Marisol García-Valls. 132-146 [doi]
- Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer RobotRigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan A. Pastor. 147-159 [doi]
- ORK+/XtratuM: An Open Partitioning Platform for AdaÁngel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo. 160-173 [doi]
- Implementing Mixed Criticality Systems in AdaSanjoy K. Baruah, Alan Burns. 174-188 [doi]
- Programming Languages Meet MulticoreErhard Ploedereder. 189-192 [doi]
- Programming Languages for Real-Time Applications Executing on Parallel HardwareAlan Burns. 193-195 [doi]
- Multicore Programming in ParaSail - Parallel Specification and Implementation LanguageS. Tucker Taft. 196-200 [doi]
- Why Parallel Functional Programming Matters: Panel StatementKevin Hammond. 201-205 [doi]
- OOT, DO-178C and SPARKRoderick Chapman, Trevor Jennings. 206-210 [doi]
- Position Paper: DO-178C/ED-12C and Object-Orientation for Critical SystemsDewi Daniels. 211-213 [doi]
- Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems PanelJean-Pierre Rosen. 214-218 [doi]
- On the Evolution of Unnatural LanguageLes Hatton. 219-225 [doi]