| 1992 |
|---|
| 6 | | Oscar Pastor,
Fiona Hayes,
Stephen Bear:
OASIS: An Object-Oriented Specification Language.
CAiSE 1992: 348-363 |
| 5 | EE | Derek Coleman,
Fiona Hayes,
Stephen Bear:
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.
IEEE Trans. Software Eng. 18(1): 9-18 (1992) |
| 1991 |
|---|
| 4 | | Stephen Bear:
An Overview of HP-SL.
VDM Europe (1) 1991: 571-587 |
| 1990 |
|---|
| 3 | | Stephen Bear,
Phillip Allen,
Derek Coleman,
Fiona Hayes:
Graphical Specification of Object-Oriented Systems.
OOPSLA/ECOOP 1990: 28-37 |
| 1989 |
|---|
| 2 | | Peter Gorm Larsen,
Michael Meincke Arentoft,
Brian Q. Monahan,
Stephen Bear:
Towards a Formal Semantics of the BS/VDM Specification Language.
IFIP Congress 1989: 95-100 |
| 1988 |
|---|
| 1 | | Stephen Bear:
Structuring for the VDM Specification Language.
VDM Europe 1988: 2-25 |
