Stephen J. Goldsack

Publication Activity (10 Years)

Years Active: 1988-1996
Publications (10 Years): 0

Publications

Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk
Real Time Formal Specification using VDM++. SBES (1996)
Stephen J. Goldsack, Colin Atkinson
DRAGOON: a tool for the Ada programmer. TRI-Ada (1991)
Anthony B. Gargaro, Stephen J. Goldsack, R. K. Powers, Richard A. Volz, Andy J. Wellings
Adapting Ada distribution and fault tolerance. IRTAW (1990)
Stephen J. Goldsack, C. Alkinson
An object oriented approach to virtual nodes: are package types an answer? IRTAW (1989)
Colin Atkinson, Stephen J. Goldsack
Communication between Ada programs in DIADEM. IRTAW (1988)