Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (Englisch)
- Neue Suche nach: Ruiz, José F.
- Neue Suche nach: Comar, Cyrille
- Neue Suche nach: Moy, Yannick
- Neue Suche nach: Ruiz, José F.
- Neue Suche nach: Comar, Cyrille
- Neue Suche nach: Moy, Yannick
In:
Reliable Software Technologies – Ada-Europe 2012
2
;
49-59
;
2012
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
-
Beteiligte:
-
Erschienen in:Reliable Software Technologies – Ada-Europe 2012 , 2 ; 49-59Lecture Notes in Computer Science ; 7308, 2 ; 49-59
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:11 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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