Sciweavers

SIGADA
2001
Springer
13 years 9 months ago
Automating software module testing for FAA certification
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
Usha Santhanam
SIGADA
2001
Springer
13 years 9 months ago
Vetronics technology testbed: experience report
William Pritchett, Brian Wood
SIGADA
2001
Springer
13 years 9 months ago
Beyond ASIS: program data bases and tool-oriented queries
Janusz W. Laski, William Stanley, Pawel Podgorski
SIGADA
2001
Springer
13 years 9 months ago
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
Dhavy Gantsou
SIGADA
2001
Springer
13 years 9 months ago
Teaching computer science with robotics using Ada/Mindstorms 2.0
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
Barry S. Fagin, Laurence D. Merkle, Thomas W. Egge...
SIGADA
2001
Springer
13 years 9 months ago
Real-time convergence of Ada and Java™
Benjamin M. Brosgol, Brian Dobbing