Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (English)
- New search for: Ruiz, José F.
- New search for: Comar, Cyrille
- New search for: Moy, Yannick
- New search for: Ruiz, José F.
- New search for: Comar, Cyrille
- New search for: Moy, Yannick
In:
Reliable Software Technologies – Ada-Europe 2012
2
;
49-59
;
2012
- Article/Chapter (Book) / Electronic Resource
-
Title:Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
-
Contributors:
-
Published in:Reliable Software Technologies – Ada-Europe 2012 , 2 ; 49-59Lecture Notes in Computer Science ; 7308, 2 ; 49-59
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2012-01-01
-
Size:11 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Ada Ravenscar Code Archetypes for Component-Based DevelopmentPanunzio, Marco / Vardanega, Tullio et al. | 2012
- 18
-
An Integrated Framework for Multiprocessor, Multimoded Real-Time ApplicationsSáez, Sergio / Real, Jorge / Crespo, Alfons et al. | 2012
- 35
-
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSAGarcía-Valls, Marisol / Ibáñez-Vázquez, Felipe et al. | 2012
- 49
-
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012Ruiz, José F. / Comar, Cyrille / Moy, Yannick et al. | 2012
- 60
-
Teaching ‘Concepts of Programming Languages’ with AdaTempelmeier, Theodor et al. | 2012
- 75
-
Designing the API for a Cryptographic LibraryForler, Christian / Lucks, Stefan / Wenzel, Jakob et al. | 2012
- 89
-
Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based DevelopmentLópez Martínez, Patricia / Vardanega, Tullio et al. | 2012
- 105
-
An Approach to Model Checking Ada ProgramsFaria, José Miguel / Martins, João / Pinto, Jorge Sousa et al. | 2012
- 119
-
Formal Modelling for Ada Implementations: Tasking Event-BEdmunds, Andrew / Rezazadeh, Abdolbaghi / Butler, Michael et al. | 2012
- 133
-
Augmenting Formal Development with Use Case ReasoningIliasov, Alexei et al. | 2012
- 147
-
Formal Goal-Oriented Development of Resilient MAS in Event-BPereverzeva, Inna / Troubitsyna, Elena / Laibinis, Linas et al. | 2012
- 162
-
Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree MethodologyPoon, Pak-Lok / Chen, Tsong Yueh / Tse, T. H. et al. | 2012
- 177
-
Improving the Performance of Execution Time Control by Using a Hardware Time Management UnitGregertsen, Kristoffer Nyborg / Skavhaug, Amund et al. | 2012
- 193
-
Implementing and Verifying EDF Preemption-Level Resource ControlFairbairn, Mark Louis / Burns, Alan et al. | 2012
- 207
-
Efficient Constraint Handling during Designing Reliable Automotive Real-Time SystemsPölzlbauer, Florian / Bate, Iain / Brenner, Eugen et al. | 2012