Derek Coleman

According to our database, Derek Coleman authored at least 25 papers between 1979 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Automation Controller for Operational IT Management.

Sven Graupner, Nigel Cook, Derek Coleman

Proceedings of the Integrated Network Management, 2007

2006

Management Middleware for Enterprise Grids.

Sven Graupner, Nigel Cook, Derek Coleman, Tilo Nitzsche

Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 2006

2003

Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches.

David Trastour, Chris Preist, Derek Coleman

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

2000

A cooperative model for cross-divisional product development for a software product line.

Peter Toft, Derek Coleman, Joni T. Ohta

Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

1997

UML: The Language of Blueprints for Software? (Panel).

Derek Coleman, John Artim, Victor Ohnjec, Erick Rivas, James E. Rumbaugh, Rebecca Wirfs-Brock

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

1995

Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard.

Ruth Malan, Derek Coleman, Reed Letsinger

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1994

How do teams shape objects? - how do objects shape teams?

Steven Fraser, Honna Segel, Kent L. Beck, Grady Booch, Derek Coleman, James Coplien, Richard Helm, Kenneth S. Rubin

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1994

How Do Teams Shape Objects ? - How Di Object Shape Teams ? (Panel).

Steven Fraser, Kent L. Beck, Grady Booch, Derek Coleman, James Coplien, Richard Helm, Kenneth S. Rubin

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

1992

Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.

Derek Coleman, Fiona Hayes, Stephen Bear

IEEE Trans. Software Eng., 1992

Integrating analysis and design methods (abstract).

Derek Coleman, Paul Jeremaes

Proceedings of the Addendum to the Proceedings on Object-Oriented Programming Systems, 1992

1991

Coherent Models for Object-Oriented Analysis.

Fiona Hayes, Derek Coleman

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Formal Techniques for OO Software Development (Panel).

Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

1990

Formal Specification and Design Time Testing.

Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore

IEEE Trans. Software Eng., 1990

Graphical Specification of Object-Oriented Systems.

Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes

Proceedings of the Conference on Object-Oriented Programming Systems, 1990

1989

UMIST OBJ: A Language for Executable Program Specifications.

Robin M. Gallimore, Derek Coleman, Victoria Stavridou

Comput. J., 1989

1987

The design of a rewrite rule interpreter from algebraic specifications.

Derek Coleman, Robin M. Gallimore, Victoria Stavridou

Softw. Eng. J., 1987

Architecture for Conditional Term Rewriting.

Tony Rush, Derek Coleman

Proceedings of the Conditional Term Rewriting Systems, 1987

1981

A Method for the Syntax Directed Design of Multiprograms.

Derek Coleman, Jane W. Hughes, Malcolm S. Powell

IEEE Trans. Software Eng., 1981

KWIC-index generation.

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

Proceedings of the Program Specification, 1981

Specification of Distributed Programs.

Derek Coleman, Robin M. Gallimore

Proceedings of the Program Specification, 1981

Partial Correctness of Distributed Programs.

Derek Coleman, Robin M. Gallimore

Proceedings of the Program Specification, 1981

1980

Concurrent Pascal - An Appraisal.

Derek Coleman

Proceedings of the On the Construction of Programs, 1980

1979

An Assessment of Concurrent Pascal.

Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell

Softw. Pract. Exp., 1979

Engineering data processing programs for multiple microprocessors.

Derek Coleman, Jane W. Hughes, Malcolm S. Powell

Microprocess. Microsystems, 1979

The Clean Termination of Pascal Programs.

Derek Coleman, Jane W. Hughes

Acta Informatica, 1979