СТ |
Implementing Execution-Time Clocks for the Ada Ravenscar Profile |
2004 |
Zamorano J., Alonso A., Pulodp J. A., De La Puente J. A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
СТ |
A Test Environment for High Integrity Software Development |
2003 |
Alonso A., De La Puente J. A., Zamorano J. |
|
|
|
Lecture Notes in Computer Science |
28.06.2003 |
СТ |
Using Object Orientation in High Integrity Applications: A Case Study |
2002 |
Alonso A., Lopez R., Vardanega T., De La Puente J. A. |
|
|
|
Lecture Notes in Computer Science |
19.07.2002 |
СТ |
Assessment of Timing Properties of Family Products |
1998 |
Alonso A., Garcia-Valls M., De La Puente J. A. |
|
|
|
Lecture Notes in Computer Science |
03.09.1998 |
СТ |
Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries |
1996 |
De La Puente J. A., Alonso A., Alvarez A. |
Lecture Notes in Computer Science |
|
|
Reliable Software Technologies - Ada-Europe 96 |
09.10.1996 |
СТ |
Reusable Software Components and Executives for Real Time Systems |
1993 |
Fernandez J. L., De La Puente J. A., Alonso A., Suarez N., Zamorano J. |
|
|
|
Position Paper Collection - Second Intern. Workshop on Software Reusability |
25.12.1993 |
СТ |
Reusable Real-Time Executive in Ada |
1993 |
Alonso A., De La Puente J. A. |
|
|
|
Ada Letters |
16.04.1993 |