/Sa, 1992/
A
-
B
-
C
-
D
-
E
-
F
-
G
-
H
-
I
-
J
-
K
-
L
-
M
-
N
-
O
-
P
-
Q
-
R
-
S
-
T
-
U
-
V
-
W
-
X
-
Y
-
Z
Contents
Identification
Author(s)
Congress/Conference/Publication
Related publications
Identification
/Sa, 1992/
A Formal Description of the ISPW-6 Software Process Example
Author(s)
Sa, J.
Warboys, B.
Congress/Conference/Publication
Technical Report, University of Manchester, Computer Science Department, Number UMCS-93-6-1, June 1993.
Related publications
ISPW-examples
Formal Methods/Models
GDPA Online
Last Updated 25.May.2002
Updated by Webmaster
Last Revised 25.May.2002
Revised by Webmaster