Ib Sørensen

Dr Ib Holm Sørensen DPhil Oxon, MA, C.Scient

Research Associate

ib.holm.sorensen@btconnect.com
ib@b-core.com
UK 1235 863030
07 900 902 149
01865 610716 ( tuesday & wednesday )

interests

Software engineering
Mathematical formal methods for system specification, design and implementation
Z ( 1979-1986)
B ( 1986-1999)
BOOSTER ( 1999 - present )
Software design verification and derivation
Model driven web-based information systems

Technology transfer

links

My commercial activities

publications

Formality, Evolution, and Model-driven Software Engineering

Jim Davies et al.

Electronic Notes in Theoretical Computer Science, Vol. 130, pages 39-55. 2005.

Details | BibTeX | DOI (10.1016/j.entcs.2005.03.004)

View all

info

themes	Software Engineering \| Programming Languages
activities	Model-based Software Engineering

location

Room 474, Wolfson Building, Parks Road, Oxford OX1 3QD