University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Ib Holm Sørensen

Personal photo - Ib Sørensen
Dr Ib Holm Sørensen Cand.Scient MA DPhil
Information Systems Developer

Interests

  • Software Engineering for Safety- and Mission Critical Systems
  • Mathematical based methods for system specification, design and implementation
    • Z ( 1979-1986)
      • Zermola based Set Theoretical Notation for the specification, the designing and the analysis of software system.
    • B ( 1986-1999)
      • Bourbaki based approach for the computer aided checking of correctness and consistency of software specified in a set theoretical notation.
    • BOOSTER ( 1999 - present )
      • The B approach for the use of
      • Object Orientation for specifying information by classifying it as objects according to common attributes, and a
      • Set Theory based pre-post condition approach for specifying methods for changing the value of the attributes and the relationship between objects, and
      • Entity Relationship for specifying the relationship between the classes of objects, and the
      • The automatic generation of data repositories  and secure web-interfaces for viewing and changing the data.
  • Requirement specification and analysis , software design verification and code derivation
  • Automatic Generation and Evolution of web-based information systems ( e.g the services of this web-site ) from Booster models of requirements.
  • Technology transfer

Selected Publications

View all

Manage publications

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.

The use of B to specify‚ design and verify hardware

Wilson Ifill‚ Ib Sorensen and Steve Schneider

Pages 43–62. 2001.

B: towards zero defect software

Ib Sorensen and David Neilson

Pages 23–42. 2001.

Info

Themes

Activities

Projects

SHARE THIS: