دانلود کتاب Reliable Software Technologies – Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

فهرست مطالب :

Front Matter....Pages -
Ada Ravenscar Code Archetypes for Component-Based Development....Pages 1-17
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications....Pages 18-34
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA....Pages 35-48
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012....Pages 49-59
Teaching ‘Concepts of Programming Languages’ with Ada....Pages 60-74
Designing the API for a Cryptographic Library....Pages 75-88
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development....Pages 89-104
An Approach to Model Checking Ada Programs....Pages 105-118
Formal Modelling for Ada Implementations: Tasking Event-B....Pages 119-132
Augmenting Formal Development with Use Case Reasoning....Pages 133-146
Formal Goal-Oriented Development of Resilient MAS in Event-B....Pages 147-161
Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology....Pages 162-176
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit....Pages 177-192
Implementing and Verifying EDF Preemption-Level Resource Control....Pages 193-206
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems....Pages 207-220
Back Matter....Pages -