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

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540220114, 9783540248415
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The Chance for Ada to Support Distribution and Real-Time in Embedded Systems

2004 ◽  
pp. 91-105 ◽  
Author(s):  
Juan López Campos ◽  
J. Javier Gutiérrez ◽  
Michael González Harbour
Keyword(s):  
Embedded Systems ◽  
Real Time

Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada

2004 ◽  
pp. 213-224
Author(s):  
Bárbara Álvarez ◽  
Juan A. Pastor ◽  
Francisco Ortiz ◽  
Pedro Sánchez ◽  
Pedro Navarro
Keyword(s):  
Real Time ◽  
Digital Model ◽  
Real Time Systems ◽  
Time Systems

A Randomised Test Approach to Testing Safety Critical Ada Code

2004 ◽  
pp. 190-199
Author(s):  
Sukant K. Giri ◽  
Atit Mishra ◽  
Yogananda V. Jeppu ◽  
Kundapur Karunakar
Keyword(s):  
Safety Critical

Supporting Deadlines and EDF Scheduling in Ada

2004 ◽  
pp. 156-165 ◽  
Author(s):  
Alan Burns ◽  
Andy J. Wellings ◽  
S. Tucker Taft

Shortcuts: A Critical Look

2004 ◽  
pp. 309-320
Author(s):  
Matthew Heaney

Good Random Testing

2004 ◽  
pp. 200-212 ◽  
Author(s):  
Kwok Ping Chan ◽  
Tsong Yueh Chen ◽  
Dave Towey
Keyword(s):  
Random Testing

OpenAda: Compile-Time Reflection for Ada 95

2004 ◽  
pp. 166-177 ◽  
Author(s):  
Patrick Rogers ◽  
Andy J. Wellings
Keyword(s):  
Ada 95
Load More ...
Sign in / Sign up

Export Citation Format

Share Document