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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540437840, 9783540480464
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Development of a Control System for Teleoperated Robots Using UML and Ada95

2007 ◽  
pp. 113-124
Author(s):  
Francisco J. Ortiz ◽  
Alejandro S. Martínez3 ◽  
Barbara Álvarez ◽  
Andres Iborra ◽  
José M. Fernández
Keyword(s):  
Control System ◽  
Teleoperated Robots

OMC-INTEGRAL Memory Management

2002 ◽  
pp. 76-87
Author(s):  
Jose Manuel Pérez Lobato ◽  
Eva Martín Lobo
Keyword(s):  
Memory Management

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard

2002 ◽  
pp. 321-333
Author(s):  
Agustín Espinosa Minguet ◽  
Ana García Fornes ◽  
Alfons Crespo i Lorente

A Tailorable Distributed Programming Environment

2002 ◽  
pp. 269-281 ◽  
Author(s):  
Ernestina Martel ◽  
Francisco Guerra ◽  
Javier Miranda
Keyword(s):  
Distributed Programming ◽  
Programming Environment

DataFAN: A Practical Approach to Data Flow Analysis for Ada 95

2002 ◽  
pp. 231-244
Author(s):  
Krzysztof Czarnecki ◽  
Michael Himsolt ◽  
Ernst Richter ◽  
Falk Vieweg ◽  
Alfred Rosskopf
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Practical Approach ◽  
Data Flow Analysis ◽  
Ada 95

Static Dependency Analysis for Concurrent Ada 95 Programs

2002 ◽  
pp. 219-230
Author(s):  
Zhenqiang Chen ◽  
Baowen Xu ◽  
Jianjun Zhao ◽  
Hongji Yang
Keyword(s):  
Dependency Analysis ◽  
Ada 95
Load More ...
Sign in / Sign up

Export Citation Format

Share Document