Ib Holm Sørensen

According to our database, Ib Holm Sørensen authored at least 10 papers between 1981 and 2004.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2004

Formality, Evolution, and Model-driven Software Engineering.

Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

1998

Using B to Specify, Verify and Design Hardware Circuits.

Ib Holm Sørensen

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1996

Applying the B Technologies on CICS.

Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1991

B-Tool.

Matthew Lee, Ib Holm Sørensen

Proceedings of the VDM '91, 1991

The B-Method.

Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen

Proceedings of the VDM '91, 1991

1987

Laws of Programming.

C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin

Commun. ACM, 1987

1981

Topics in programme specification and design : Specification and design of distributed systems.

Ib Holm Sørensen

PhD thesis, 1981

KWIC-index generation.

Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen

Proceedings of the Program Specification, 1981

A Specification Language.

Ib Holm Sørensen

Proceedings of the Program Specification, 1981

Communication Network.

Leif Sandegaard Nielsen, Ib Holm Sørensen

Proceedings of the Program Specification, 1981