Ib Holm Sørensen : Publications
Book chapters
-
[1]
High integrity software
Ib Sorensen and David Neilson
Chapter B: towards zero defect software. Pages 23–42. Kluwer Academic Publishers, Norwell‚ MA‚ USA. 2001.
Details about High integrity software | BibTeX data for High integrity software | Link to High integrity software
Journal papers
-
[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.
Details about Formality‚ Evolution‚ and Model−driven Software Engineering | BibTeX data for Formality‚ Evolution‚ and Model−driven Software Engineering | DOI (10.1016/j.entcs.2005.03.004)
-
[2]
The use of B to specify‚ design and verify hardware
Wilson Ifill‚ Ib Sorensen and Steve Schneider
Pages 43–62. 2001.
Details about The use of B to specify‚ design and verify hardware | BibTeX data for The use of B to specify‚ design and verify hardware
-
[3]
B: towards zero defect software
Ib Sorensen and David Neilson
Pages 23–42. 2001.
Details about B: towards zero defect software | BibTeX data for B: towards zero defect software
-
[4]
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.
Details about LAWS OF PROGRAMMING. | BibTeX data for LAWS OF PROGRAMMING. | DOI (10.1145/27651.27653)
-
[5]
Formal specification and design of a simple assembler
Ib Holm Sørensen and Bernard Sufrin
Pages 225–244. 1987.
Details about Formal specification and design of a simple assembler | BibTeX data for Formal specification and design of a simple assembler
-
[6]
CAVIAR: a case study in specification
Bill Flinn and Ib Holm Sørensen
Pages 141–188. 1987.
Details about CAVIAR: a case study in specification | BibTeX data for CAVIAR: a case study in specification
Conference papers
-
[1]
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.
Details about Using B to Specify‚ Verify and Design Hardware Circuits | BibTeX data for Using B to Specify‚ Verify and Design Hardware Circuits
-
[2]
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.
Details about Applying the B Technologies on CICS | BibTeX data for Applying the B Technologies on CICS
-
[3]
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.
-
[4]
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.
-
[5]
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.
Details about MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . . | BibTeX data for MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . .
-
[6]
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..
Details about CAVIAR: a case study in specification | BibTeX data for CAVIAR: a case study in specification
-
[7]
SPECIFICATION LANGUAGE.
Ib Holm Sorensen
Pages 381−401. Aarhus‚ Den. 1982. Springer−Verlag‚ Berlin‚ West Ger.
Details about SPECIFICATION LANGUAGE. | BibTeX data for SPECIFICATION LANGUAGE.
-
[8]
A Specification Language
Ib Sørensen
In Program Specification‚ Proceedings of a Workshop. Pages 381–401. London‚ UK‚ UK. 1982. Springer−Verlag.
Details about A Specification Language | BibTeX data for A Specification Language
-
[9]
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.
Details about Communication Network | BibTeX data for Communication Network
-
[10]
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.
Details about KWIC−index generation | BibTeX data for KWIC−index generation