Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642305979, 9783642305986

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_2 ◽

2012 ◽

pp. 18-34 ◽

Cited By ~ 2

Author(s):

Sergio Sáez ◽

Jorge Real ◽

Alfons Crespo

Keyword(s):

Real Time ◽

Integrated Framework ◽

Real Time Applications

Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_3 ◽

2012 ◽

pp. 35-48 ◽

Cited By ~ 4

Author(s):

Marisol García-Valls ◽

Felipe Ibáñez-Vázquez

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Ada Ravenscar Code Archetypes for Component-Based Development

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_1 ◽

2012 ◽

pp. 1-17 ◽

Cited By ~ 4

Author(s):

Marco Panunzio ◽

Tullio Vardanega

Keyword(s):

Component Based Development

An Approach to Model Checking Ada Programs

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_8 ◽

2012 ◽

pp. 105-118 ◽

Cited By ~ 1

Author(s):

José Miguel Faria ◽

João Martins ◽

Jorge Sousa Pinto

Keyword(s):

Model Checking

Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_12 ◽

2012 ◽

pp. 162-176 ◽

Cited By ~ 3

Author(s):

Pak-Lok Poon ◽

Tsong Yueh Chen ◽

T. H. Tse

Keyword(s):

Classification Tree

Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_7 ◽

2012 ◽

pp. 89-104 ◽

Cited By ~ 2

Author(s):

Patricia López Martínez ◽

Tullio Vardanega

Keyword(s):

Separation Of Concerns ◽

Model Driven ◽

Component Based Development

Implementing and Verifying EDF Preemption-Level Resource Control

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_14 ◽

2012 ◽

pp. 193-206 ◽

Cited By ~ 2

Author(s):

Mark Louis Fairbairn ◽

Alan Burns

Keyword(s):

Resource Control

Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_13 ◽

2012 ◽

pp. 177-192 ◽

Cited By ~ 4

Author(s):

Kristoffer Nyborg Gregertsen ◽

Amund Skavhaug

Keyword(s):

Execution Time ◽

Time Management ◽

Management Unit ◽

Time Control

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_4 ◽

2012 ◽

pp. 49-59 ◽

Cited By ~ 1

Author(s):

José F. Ruiz ◽

Cyrille Comar ◽

Yannick Moy

Keyword(s):

Source Code

Formal Goal-Oriented Development of Resilient MAS in Event-B

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30598-6_11 ◽

2012 ◽

pp. 147-161 ◽

Cited By ~ 8

Author(s):

Inna Pereverzeva ◽

Elena Troubitsyna ◽

Linas Laibinis

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA

Ada Ravenscar Code Archetypes for Component-Based Development

An Approach to Model Checking Ada Programs

Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology

Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development

Implementing and Verifying EDF Preemption-Level Resource Control

Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012

Formal Goal-Oriented Development of Resilient MAS in Event-B

Reliable Software Technologies – Ada-Europe 2012 - Lecture Notes in Computer Science
Latest Publications