SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed ...
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
Despite substantial research on methods and tools for testing reusable modules, little help is available for the tester in the eld. Commercial tools for system testing are widely ...