Ib Holm Sørensen : Publications
|
[1] |
Formality‚ Evolution‚ and Model−driven Software Engineering. Jim Davies‚ Charles Crichton‚ Edward Crichton‚ David Neilson and Ib Holm Sørensen In Electronic Notes in Theoretical Computer Science. Vol. 130. Pages 39−55. 2005. |
|
[2] |
The use of B to specify‚ design and verify hardware Wilson Ifill‚ Ib Sorensen and Steve Schneider Pages 43–62. 2001. |
|
[3] |
B: towards zero defect software Ib Sorensen and David Neilson Pages 23–42. 2001. |
|
[4] |
High integrity software Ib Sorensen and David Neilson Chapter B: towards zero defect software. Pages 23–42. Kluwer Academic Publishers , AddressNorwell‚ MA‚ USA. 2001. |
|
[5] |
Using B to Specify‚ Verify and Design Hardware Circuits Ib Sørensen In ZUM '98: Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation. Pages 60–65. London‚ UK‚ UK. 1998. Springer−Verlag. |
|
[6] |
Applying the B Technologies on CICS Jonathan Hoare‚ Jeremy Dick‚ Dave Neilson and Ib Sørensen In FME '96: Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods. Pages 74–84. London‚ UK‚ UK. 1996. Springer−Verlag. |
|
[7] |
The B−Method Jean−Raymond Abrial‚ Matthew K. O. Lee‚ Dave Neilson‚ P. N. Scharbach and Ib Sørensen In VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development−Volume 2. Pages 398–405. London‚ UK‚ UK. 1991. Springer−Verlag. |
|
[8] |
B−Tool Matthew K. O. Lee and Ib Sørensen In VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development−Volume I. Pages 695–696. London‚ UK‚ UK. 1991. Springer−Verlag. |
|
[9] |
LAWS OF PROGRAMMING. B.A. Hoare C.A.R. Hayes I.J. He Jifeng Morgan C. C. Roscoe A.W. Sanders J.W. Sorensen I.H. Spivey J.M. Sufrin In Communications of the ACM. Vol. 30. No. 8. Pages 672−686. 1987. |
|
[10] |
Formal specification and design of a simple assembler Ib Holm Sørensen and Bernard Sufrin Pages 225–244. 1987. |
|
[11] |
CAVIAR: a case study in specification Bill Flinn and Ib Holm Sørensen Pages 141–188. 1987. |
|
[12] |
MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . . I.H. Woodcock J.C.P. Sorensen Pages 265−268. Monterey‚ CA‚ USA. 1987. IEEE‚ New York‚ NY‚ USA. |
|
[13] |
CAVIAR: a case study in specification B. Flinn and I. H. Sørensen In Papers from three IBM computer science symposia on Application development systems: the inside story of multinational product development. Pages 126–164. New York‚ NY‚ USA. 1986. Springer−Verlag New York‚ Inc.. |
|
[14] |
SPECIFICATION LANGUAGE. Ib Holm Sorensen Pages 381−401. Aarhus‚ Den. 1982. Springer−Verlag‚ Berlin‚ West Ger. |
|
[15] |
A Specification Language Ib Sørensen In Program Specification‚ Proceedings of a Workshop. Pages 381–401. London‚ UK‚ UK. 1982. Springer−Verlag. |
|
[16] |
Communication Network Leif Sandegaard Nielsen and Ib Sørensen In Program Specification‚ Proceedings of a Workshop. Pages 118–136. London‚ UK‚ UK. 1982. Springer−Verlag. |
|
[17] |
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 Sørensen‚ Robin M. Gallimore‚ Derek Coleman and Joseph A. Goguen In Program Specification‚ Proceedings of a Workshop. Pages 47–117. London‚ UK‚ UK. 1982. Springer−Verlag. |