TOOLS
1997
IEEE
13 years 12 months ago
1997
IEEE
TOOLS
1997
IEEE
13 years 12 months ago
1997
IEEE
KBSE
1997
IEEE
13 years 12 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
WEBDB
1998
Springer
13 years 12 months ago
1998
Springer
In its infancy, the World-Wide Web consisted of a web of largely static hypertext documents. As time progresses it is evolving into a domain which supports almost arbitrary network...
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
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
SIGADA
1998
Springer
13 years 12 months ago
1998
Springer
