This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997. The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context.DEVISOR System Tutorial and User Manual, DEVISOR System Test Language Reference Manual Version 9.4, DEVISOR Software ... A Random Testing Environment for Ada Programs. ... CAST Report - Computer Aided Software Testing.
|Title||:||Reliable Software Technologies - Ada-Europe '97|
|Author||:||Keith Hardy, Jim Briggs|
|Publisher||:||Springer Science & Business Media - 1997-05-21|