Abstract is missing.
- Ada Ravenscar Code Archetypes for Component-Based DevelopmentMarco Panunzio, Tullio Vardanega. 1-17 [doi]
- An Integrated Framework for Multiprocessor, Multimoded Real-Time ApplicationsSergio Saez, Jorge Real, Alfons Crespo. 18-34 [doi]
- Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSAMarisol García-Valls, Felipe Ibáñez-Vázquez. 35-48 [doi]
- Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012José F. Ruiz, Cyrille Comar, Yannick Moy. 49-59 [doi]
- Teaching 'Concepts of Programming Languages' with AdaTheodor Tempelmeier. 60-74 [doi]
- Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming InterfaceChristian Forler, Stefan Lucks, Jakob Wenzel. 75-88 [doi]
- Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based DevelopmentPatricia López Martínez, Tullio Vardanega. 89-104 [doi]
- An Approach to Model Checking Ada ProgramsJosé Miguel Faria, João Martins, Jorge Sousa Pinto. 105-118 [doi]
- Formal Modelling for Ada Implementations: Tasking Event-BAndrew Edmunds, Abdolbaghi Rezazadeh, Michael Butler. 119-132 [doi]
- Augmenting Formal Development with Use Case ReasoningAlexei Iliasov. 133-146 [doi]
- Formal Goal-Oriented Development of Resilient MAS in Event-BInna Pereverzeva, Elena Troubitsyna, Linas Laibinis. 147-161 [doi]
- Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree MethodologyPak-Lok Poon, Tsong Yueh Chen, T. H. Tse. 162-176 [doi]
- Improving the Performance of Execution Time Control by Using a Hardware Time Management UnitKristoffer Nyborg Gregertsen, Amund Skavhaug. 177-192 [doi]
- Implementing and Verifying EDF Preemption-Level Resource ControlMark Louis Fairbairn, Alan Burns. 193-206 [doi]
- Efficient Constraint Handling during Designing Reliable Automotive Real-Time SystemsFlorian Pölzlbauer, Iain Bate, Eugen Brenner. 207-220 [doi]