Ib Holm Sorensen

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

Research Associate
Web Developer

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

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

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

selected publications (View all)

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)

info

themes	Software Engineering
activities	Information Modelling