Stephen Bear

According to our database1, Stephen Bear authored at least 7 papers between 1988 and 1992.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1992
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.
IEEE Trans. Software Eng., 1992

Specifying medical software.
Proceedings of the Fifth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'92), 1992

OASIS: An Object-Oriented Specification Language.
Proceedings of the Advanced Information Systems Engineering, 1992

1991
An Overview of HP-SL.
Proceedings of the VDM '91, 1991

1990
Graphical Specification of Object-Oriented Systems.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989
Towards a Formal Semantics of the BS/VDM Specification Language.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988
Structuring for the VDM Specification Language.
Proceedings of the VDM '88, 1988


  Loading...