Stephen Bear

Publication Activity (10 Years)

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

Publications

T. Rush, Stephen Bear
Specifying medical software. CBMS (1992)
Derek Coleman, Fiona Hayes, Stephen Bear
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. IEEE Trans. Software Eng. 18 (1) (1992)
Oscar Pastor, Fiona Hayes, Stephen Bear
OASIS: An Object-Oriented Specification Language. CAiSE (1992)
Stephen Bear
An Overview of HP-SL. VDM Europe (1) (1991)
Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes
Graphical Specification of Object-Oriented Systems. OOPSLA/ECOOP (1990)
Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear
Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress (1989)
Stephen Bear
Structuring for the VDM Specification Language. VDM Europe (1988)