Douglas Wiebe

Publication Activity (10 Years)

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

Publications

Douglas Wiebe
Specifying and Verifying Semantic Properties of Software Configurations. SCM (1988)
Keith Marzullo, Douglas Wiebe
Jasmine: a software system modelling facility. SDE (1986)
Douglas Wiebe
A Distributed Repository for Immutable Persistent Objects. OOPSLA (1986)
Guy T. Almes, Andrew P. Black, Carl Bunje, Douglas Wiebe
Edmas: A Locally Distributed Mail System. ICSE (1984)