Travelled to:1 × Denmark
1 × United Kingdom
2 × The Netherlands
Collaborated with:M.K.O.Lee L.S.Nielsen ∅ D.Neilson J.Abrial J.Hoare J.Dick P.N.Scharbach J.Steensgaard-Madsen J.W.Hughes M.S.Powell H.Ehrig H.Kreowski R.M.Gallimore D.Coleman J.A.Goguen
Talks about:technolog (1) communic (1) network (1) languag (1) generat (1) specif (1) method (1) index (1) appli (1) tool (1)
Person: Ib Holm Sørensen
DBLP: S=oslash=rensen:Ib_Holm
Contributed to:
19961981
19911991Wrote 8 papers:
- FME-1996-HoareDNS #cics
- Applying the B Technologies on CICS (JH, JD, DN, IHS), pp. 74–84.
- PS-1981-NielsenS #communication #network
- Communication Network (LSN, IHS), pp. 118–136.
- PS-1981-Sorensen #specification
- A Specification Language (IHS), pp. 381–401.
- PS-1981-Steensgaard-MadsenHPEKNASGCG #generative
- KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.
- VDME-1991-LeeS
- B-Tool (MKOL, IHS), pp. 695–696.
- VDME-1991-AbrialLNSS
- The B-Method (JRA, MKOL, DN, PNS, IHS), pp. 398–405.