ADAEUROPE
1997
Springer
14 years 5 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
ADAEUROPE
1997
Springer
14 years 5 months ago
1997
Springer
Abstract. This paper describes the development of two kinds of atomic action schemes for Ada 95. We start by discussing the basic features required of an atomic action scheme and w...
ADAEUROPE
1997
Springer
14 years 5 months ago
1997
Springer
ADAEUROPE
1997
Springer
14 years 5 months ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...