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

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

10.1007/10722060_7 ◽

2000 ◽

pp. 41-55 ◽

Author(s):

Shayne Flint ◽

Brian Dobbing

Download Full-text

Ada after 10 Years of Usage – Is There a Commercial Future?

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

10.1007/10722060_3 ◽

2000 ◽

pp. 4-4

Author(s):

Bryan Pflug

Download Full-text

Results of an Investigation into Software Integration Testing Automation

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

10.1007/10722060_25 ◽

2000 ◽

pp. 280-290 ◽

Author(s):

Simon Kiteley ◽

Jonathan Draper

Keyword(s):

Integration Testing ◽

Software Integration

Download Full-text

Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation

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

10.1007/10722060_24 ◽

2000 ◽

pp. 266-279

Author(s):

Mahesh Deshpande ◽

Frank Coyle ◽

Jeff Tian

Keyword(s):

Object Oriented ◽

Behavioral Simulation ◽

Download Full-text

Exceptions in OO Languages: Using Them and Reasoning about Them

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

10.1007/10722060_22 ◽

2000 ◽

pp. 238-251

Author(s):

Neelam Soundarajan ◽

Stephen Fridella

Download Full-text

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

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

10.1007/10722060_18 ◽

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

Download Full-text

Constructing Reliable Embedded Systems Using the Results of System Safety Analysis

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

10.1007/10722060_17 ◽

2000 ◽

pp. 173-184

Author(s):

Giuseppe Mauri ◽

Stefan Scheer

Keyword(s):

Embedded Systems ◽

Safety Analysis ◽

Download Full-text

ASIS-for-GNAT: A Report of Practical Experiences

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

10.1007/10722060_13 ◽

2000 ◽

pp. 125-137 ◽

Author(s):

Sergey Rybin ◽

Alfred Strohmeier ◽

Vasiliy Fofanov ◽

Alexei Kuchumov

Keyword(s):

Practical Experiences

Download Full-text

Static Worst-Case Execution Time Analysis of Synchronous Programs

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

10.1007/10722060_8 ◽

2000 ◽

pp. 56-68 ◽

Author(s):

Thomas Ringler

Keyword(s):

Execution Time ◽

Time Analysis ◽

Worst Case Execution Time

Download Full-text

An Open Ravenscar Real-Time Kernel for GNAT

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

10.1007/10722060_4 ◽

2000 ◽

pp. 5-15 ◽

Author(s):

Juan A. de la Puente ◽

José F. Ruiz ◽

Juan Zamorano

Keyword(s):

Download Full-text