Abstract is missing.
- Real-Time Utilities for Ada 2005Andy J. Wellings, Alan Burns. 1-14 [doi]
- Handling Temporal Faults in Ada 2005José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente. 15-28 [doi]
- Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNATMario Aldea Rivas, José F. Ruiz. 29-40 [doi]
- Enhancing Dependability of Component-Based SystemsArnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières. 41-54 [doi]
- On Detecting Double Literal Faults in Boolean ExpressionsMan Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu. 55-68 [doi]
- Static Detection of Livelocks in Ada Multitasking ProgramsJohann Blieberger, Bernd Burgstaller, Robert Mittermayr. 69-83 [doi]
- Towards the Testing of Power-Aware Software Applications for Wireless Sensor NetworksW. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang. 84-99 [doi]
- An Intermediate Representation Approach to Reducing Test Suites for Retargeted CompilersGyun Woo, Heung Seok Chae, Hanil Jang. 100-113 [doi]
- Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven ApproachMatteo Bordin, Tullio Vardanega. 114-127 [doi]
- A Metamodel-Driven Process Featuring Advanced Model-Based Timing AnalysisMarco Panunzio, Tullio Vardanega. 128-141 [doi]
- ArchMDE Approach for the Development of Embedded Real Time SystemsNourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed. 142-154 [doi]
- Generating Distributed High Integrity Applications from Their Architectural DescriptionBechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet. 155-167 [doi]
- Automatic Ada Code Generation Using a Model-Driven Engineering ApproachDiego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla. 168-179 [doi]
- Towards User-Level Extensibility of an Ada Library: An Experiment with CheddarFrank Singhoff, Alain Plantec. 180-191 [doi]
- Modelling Remote Concurrency with AdaClaude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre. 192-207 [doi]
- Design and Performance of a Generic Consensus Component for Critical Distributed ApplicationsKhaled Barbaria, Jérôme Hugues, Laurent Pautet. 208-220 [doi]
- Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics ResearchAlejandro R. Mosteo, Luis Montano. 221-234 [doi]
- Incorporating Precise Garbage Collection in an Ada CompilerFrancisco García-Rodríguez, Javier Miranda, José Fortes Gálvez. 235-245 [doi]