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

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540645368, 9783540698029
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quality-for-ASIS: A portable testing facility for ASIS

1998 ◽  
pp. 163-175 ◽  
Author(s):  
Alfred Strohmeier ◽  
Vasiliy Fofanov ◽  
Sergey Rybin ◽  
Stéphane Barbey
Keyword(s):  
Testing Facility

Implementing and using execution time clocks in Ada hard real-time applications

1998 ◽  
pp. 90-101 ◽  
Author(s):  
M. González Harbour ◽  
M. Aldea Rivas ◽  
J. J. Gutiérrez García ◽  
J. C. Palencia Gutiérrez
Keyword(s):  
Real Time ◽  
Execution Time ◽  
Real Time Applications ◽  
Hard Real Time

Programming hard real-time systems with optional components in Ada

1998 ◽  
pp. 102-111
Author(s):  
Agustín Espinosa ◽  
Vicente Julián ◽  
Carlos Carrascosa ◽  
Andrés Terrasa ◽  
Ana García-Fornes
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Hard Real Time ◽  
Time Systems

PINROB: A portable API for industrial robots

1998 ◽  
pp. 151-162 ◽  
Author(s):  
M. González Harbour ◽  
R. Gómez Somarriba ◽  
A. Strohmeier ◽  
J. Jacot
Keyword(s):  
Industrial Robots

A case study in quantitative evaluation of real-time software architectures

1998 ◽  
pp. 213-224 ◽  
Author(s):  
José L. Fernández ◽  
Bárbara álvarez ◽  
Francisco García ◽  
ángel Pérez ◽  
Juan A. de la Puente
Keyword(s):  
Real Time ◽  
Quantitative Evaluation ◽  
Software Architectures

Automating the Ada binding process for Java — How far can we go?

1998 ◽  
pp. 29-40
Author(s):  
David E. Emery ◽  
Robert F. Mathis ◽  
Karl A. Nyberg
Keyword(s):  
Binding Process

scholarly journals Symbolic reaching definitions analysis of Ada programs

1998 ◽  
pp. 238-250 ◽  
Author(s):  
Johann Blieberger ◽  
Bernd Burgstaller
Load More ...
Sign in / Sign up

Export Citation Format

Share Document