Design, Specification and Verification of Interactive Systems
Conference Details
Articles
Publications included in this conference proceedings
Butler,
Keith,
Esposito,
Chris,
Hebron,
Ron
(1998):
Deriving Business Object Definitions from User Work Process Models.
In:
Markopoulos,
P.,
Johnson,
P.
(eds.)
Design, Specification and Verification of Interactive Systems
,
1998,
Abingdon, U.K.
pp. 24-40.