default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2012: Stockholm, Sweden
- Mats Brorsson, Luís Miguel Pinho:
Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings. Lecture Notes in Computer Science 7308, Springer 2012, ISBN 978-3-642-30597-9
Application Frameworks
- Marco Panunzio, Tullio Vardanega
:
Ada Ravenscar Code Archetypes for Component-Based Development. 1-17 - Sergio Sáez, Jorge Real, Alfons Crespo:
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications. 18-34 - Marisol García-Valls, Felipe Ibáñez-Vázquez:
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA. 35-48
Use of Ada
- José F. Ruiz, Cyrille Comar, Yannick Moy:
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012. 49-59 - Theodor Tempelmeier:
Teaching 'Concepts of Programming Languages' with Ada. 60-74 - Christian Forler, Stefan Lucks, Jakob Wenzel:
Designing the API for a Cryptographic Library - A Misuse-Resistant Application Programming Interface. 75-88
Modeling
- Patricia López Martínez, Tullio Vardanega:
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development. 89-104 - José Miguel Faria, João Martins, Jorge Sousa Pinto:
An Approach to Model Checking Ada Programs. 105-118 - Andrew Edmunds, Abdolbaghi Rezazadeh, Michael J. Butler:
Formal Modelling for Ada Implementations: Tasking Event-B. 119-132
Testing and Validation
- Alexei Iliasov:
Augmenting Formal Development with Use Case Reasoning. 133-146 - Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis:
Formal Goal-Oriented Development of Resilient MAS in Event-B. 147-161 - Pak-Lok Poon, Tsong Yueh Chen, T. H. Tse:
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology. 162-176
Real-Time Systems
- Kristoffer Nyborg Gregertsen, Amund Skavhaug:
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit. 177-192 - Mark Louis Fairbairn, Alan Burns:
Implementing and Verifying EDF Preemption-Level Resource Control. 193-206 - Florian Pölzlbauer, Iain Bate, Eugen Brenner:
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems. 207-220
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-09-19 23:49 CEST 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:
