Sciweavers

ADAEUROPE
1997
Springer
13 years 10 months ago
Systematic Unit-Testing of Ada Programs
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...
Joachim Wegener, Ines Fey
ADAEUROPE
1997
Springer
13 years 10 months ago
On Programming Atomic Actions in Ada 95
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...
Alexander B. Romanovsky, Stuart E. Mitchell, Andy ...
ADAEUROPE
1997
Springer
13 years 10 months ago
Implementing Application-Level Sporadic Server Schedulers in Ada 95
Michael González Harbour, J. J. Gutié...
ADAEUROPE
1997
Springer
13 years 10 months ago
The SPIF Project
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...
Bertrand Dupouy, Olivier Hainque, Laurent Pautet, ...