| 2007 |
|---|
| 23 | EE | Sven Graupner,
Nigel Cook,
Derek Coleman:
Automation Controller for Operational IT Management.
Integrated Network Management 2007: 363-372 |
| 2006 |
|---|
| 22 | EE | Sven Graupner,
Nigel Cook,
Derek Coleman,
Tilo Nitzsche:
Management Middleware for Enterprise Grids.
CCGRID 2006: 625-632 |
| 2003 |
|---|
| 21 | EE | David Trastour,
Chris Preist,
Derek Coleman:
Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches.
EDOC 2003: 222-231 |
| 2000 |
|---|
| 20 | | Peter Toft,
Derek Coleman,
Joni T. Ohta:
A cooperative model for cross-divisional product development for a software product line.
SPLC 2000: 111-132 |
| 1997 |
|---|
| 19 | | Derek Coleman,
John Artim,
Victor Ohnjec,
Erick Rivas,
James E. Rumbaugh,
Rebecca Wirfs-Brock:
UML: The Language of Blueprints for Software? (Panel).
OOPSLA 1997: 201-205 |
| 1995 |
|---|
| 18 | | Ruth Malan,
Derek Coleman,
Reed Letsinger:
Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard.
OOPSLA 1995: 33-46 |
| 1994 |
|---|
| 17 | | Steven Fraser,
Kent Beck,
Grady Booch,
Derek Coleman,
James Coplien,
Richard Helm,
Kenneth S. Rubin:
How Do Teams Shape Objects ? - How Di Object Shape Teams ? (Panel).
OOPSLA 1994: 468-473 |
| 16 | | Steven Fraser,
Honna Segel,
Kent Beck,
Grady Booch,
Derek Coleman,
James Coplien,
Richard Helm,
Kenneth S. Rubin:
How do teams shape objects? - how do objects shape teams?
OOPS Messenger 5(4): 63-66 (1994) |
| 1993 |
|---|
| 15 | | Derek Coleman,
Paul Jeremaes:
Integrating analysis and design methods (abstract).
OOPS Messenger 4(2): 218 (1993) |
| 1992 |
|---|
| 14 | EE | Derek Coleman,
Fiona Hayes,
Stephen Bear:
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.
IEEE Trans. Software Eng. 18(1): 9-18 (1992) |
| 1991 |
|---|
| 13 | | Dennis de Champeaux,
Pierre America,
Derek Coleman,
Roger Duke,
Doug Lea,
Gary T. Leavens,
Fiona Hayes:
Formal Techniques for OO Software Development (Panel).
OOPSLA 1991: 166-170 |
| 12 | | Fiona Hayes,
Derek Coleman:
Coherent Models for Object-Oriented Analysis.
OOPSLA 1991: 171-183 |
| 1990 |
|---|
| 11 | | Stephen Bear,
Phillip Allen,
Derek Coleman,
Fiona Hayes:
Graphical Specification of Object-Oriented Systems.
OOPSLA/ECOOP 1990: 28-37 |
| 10 | EE | Christopher Paul Gerrard,
Derek Coleman,
Robin M. Gallimore:
Formal Specification and Design Time Testing.
IEEE Trans. Software Eng. 16(1): 1-12 (1990) |
| 1989 |
|---|
| 9 | | Robin M. Gallimore,
Derek Coleman,
Victoria Stavridou:
UMIST OBJ: A Language for Executable Progam Specifications.
Comput. J. 32(5): 413-421 (1989) |
| 1987 |
|---|
| 8 | | Tony Rush,
Derek Coleman:
Architecture for Conditional Term Rewriting.
CTRS 1987: 266-278 |
| 1981 |
|---|
| 7 | | Derek Coleman,
Robin M. Gallimore:
Partial Correctness of Distributed Programs.
Program Specification 1981: 138-180 |
| 6 | | Derek Coleman,
Robin M. Gallimore:
Specification of Distributed Programs.
Program Specification 1981: 181-214 |
| 5 | | Jørgen Steensgaard-Madsen,
Jane W. Hughes,
Malcolm S. Powell,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Leif Sandegaard Nielsen,
Jean-Raymond Abrial,
Ib Holm Sørensen,
Robin M. Gallimore,
Derek Coleman,
Joseph A. Goguen:
KWIC-index generation.
Program Specification 1981: 47-117 |
| 4 | | Derek Coleman,
Jane W. Hughes,
Malcolm S. Powell:
A Method for the Syntax Directed Design of Multiprograms.
IEEE Trans. Software Eng. 7(2): 189-196 (1981) |
| 1980 |
|---|
| 3 | | Derek Coleman:
Concurrent Pascal - An Appraisal.
On the Construction of Programs 1980: 213-228 |
| 1979 |
|---|
| 2 | | Derek Coleman,
Jane W. Hughes:
The Clean Termination of Pascal Programs.
Acta Inf. 11: 195-210 (1979) |
| 1 | | Derek Coleman,
Robin M. Gallimore,
Jane W. Hughes,
Malcolm S. Powell:
An Assessment of Concurrent Pascal.
Softw., Pract. Exper. 9(10): 827-837 (1979) |
