Travelled to:1 × Australia
1 × Canada
1 × Denmark
3 × USA
Collaborated with:R.M.Gallimore F.Hayes D.Trastour C.Preist P.Toft J.T.Ohta R.Malan R.Letsinger S.Bear P.Allen J.Steensgaard-Madsen J.W.Hughes M.S.Powell H.Ehrig H.Kreowski L.S.Nielsen J.Abrial I.H.Sørensen J.A.Goguen
Talks about:object (3) technolog (2) distribut (2) program (2) product (2) specif (2) orient (2) model (2) busi (2) division (1)
Person: Derek Coleman
DBLP: Coleman:Derek
Contributed to:
2003
2000
199519911990
1981Wrote 8 papers:
- EDOC-2003-TrastourPC #integration #semantics #using #web
- Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches (DT, CP, DC), pp. 222–231.
- SPLC-2000-ToftCO #development #product line
- A cooperative model for cross-divisional product development for a software product line (PT, DC, JTO), pp. 111–132.
- OOPSLA-1995-MalanCL #case study #experience #lessons learnt
- Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard (RM, DC, RL), pp. 33–46.
- OOPSLA-1991-HayesC #analysis #modelling #object-oriented
- Coherent Models for Object-Oriented Analysis (FH, DC), pp. 171–183.
- OOPSLA-ECOOP-1990-BearACH #object-oriented #specification #visual notation
- Graphical Specification of Object-Oriented Systems (SB, PA, DC, FH), pp. 28–37.
- PS-1981-ColemanG #correctness #distributed #source code
- Partial Correctness of Distributed Programs (DC, RMG), pp. 138–180.
- PS-1981-ColemanG81a #distributed #source code #specification
- Specification of Distributed Programs (DC, RMG), pp. 181–214.
- PS-1981-Steensgaard-MadsenHPEKNASGCG #generative
- KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.