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

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540676690, 9783540450986
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using JavaTM APIs with Native Ada Compilers

2000 ◽  
pp. 41-55 ◽  
Author(s):  
Shayne Flint ◽  
Brian Dobbing

Exceptions in OO Languages: Using Them and Reasoning about Them

2000 ◽  
pp. 238-251
Author(s):  
Neelam Soundarajan ◽  
Stephen Fridella

An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction

2000 ◽  
pp. 185-195 ◽  
Author(s):  
Néstor R. Barraza ◽  
Jonas D. Pfefferman ◽  
Bruno Cernuschi-Frías ◽  
Félix Cernuschi
Keyword(s):  
Software Development ◽  
Rare Events ◽  
Failure Prediction ◽  
Development Failure

scholarly journals ASIS-for-GNAT: A Report of Practical Experiences

2000 ◽  
pp. 125-137 ◽  
Author(s):  
Sergey Rybin ◽  
Alfred Strohmeier ◽  
Vasiliy Fofanov ◽  
Alexei Kuchumov
Keyword(s):  
Practical Experiences

scholarly journals Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

2000 ◽  
pp. 225-237 ◽  
Author(s):  
Johann Blieberger ◽  
Bernd Burgstaller ◽  
Bernhard Scholz
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis ◽  
Symbolic Data
Load More ...
Sign in / Sign up

Export Citation Format

Share Document