Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings > Formal Modelling for Ada Implementations: Tasking Event-B
Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings |
Mats Brorsson; Luis Miguel Pinho
Springer Berlin Heidelberg
Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
Formal Modelling for Ada Implementations: Tasking Event-B
Authors

Andrew Edmunds; Abdolbaghi Rezazadeh; Michael Butler

ARI Id

1665061739345_4664768

Access

Not Available Free

Pages

119-132

DOI

10.1007/978-3-642-30598-6_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-30598-6_9

Table of Contents of Book
Showing 1 to 17 of 17 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Ada Ravenscar Code Archetypes for Component-Based Development
Marco Panunzio; Tullio Vardanega
1-17
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications
Sergio Sáez; Jorge Real; Alfons Crespo
18-34
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA
Marisol García-Valls; Felipe Ibáñez-Vázquez
35-48
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
José F. Ruiz; Cyrille Comar; Yannick Moy
49-59
Teaching ‘Concepts of Programming Languages’ with Ada
Theodor Tempelmeier
60-74
Designing the API for a Cryptographic Library
Christian Forler; Stefan Lucks; Jakob Wenzel
75-88
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
Patricia López Martínez; Tullio Vardanega
89-104
An Approach to Model Checking Ada Programs
José Miguel Faria; João Martins; Jorge Sousa Pinto
105-118
Formal Modelling for Ada Implementations: Tasking Event-B
Andrew Edmunds; Abdolbaghi Rezazadeh; Michael Butler
119-132
Augmenting Formal Development with Use Case Reasoning
Alexei Iliasov
133-146
Formal Goal-Oriented Development of Resilient MAS in Event-B
Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis
147-161
Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology
Pak-Lok Poon; Tsong Yueh Chen; T. H. Tse
162-176
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
Kristoffer Nyborg Gregertsen; Amund Skavhaug
177-192
Implementing and Verifying EDF Preemption-Level Resource Control
Mark Louis Fairbairn; Alan Burns
193-206
Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems
Florian Pölzlbauer; Iain Bate; Eugen Brenner
207-220
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 17 of 17 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings