Derek Coleman

Publication Activity (10 Years)

Years Active: 1979-2007
Publications (10 Years): 0

Publications

Sven Graupner, Nigel Cook, Derek Coleman
Automation Controller for Operational IT Management. Integrated Network Management (2007)
Sven Graupner, Nigel Cook, Derek Coleman, Tilo Nitzsche
Management Middleware for Enterprise Grids. CCGRID (2006)
David Trastour, Chris Preist, Derek Coleman
Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches. EDOC (2003)
Peter Toft, Derek Coleman, Joni T. Ohta
A cooperative model for cross-divisional product development for a software product line. SPLC (2000)
Derek Coleman, John Artim, Victor Ohnjec, Erick Rivas, James E. Rumbaugh, Rebecca Wirfs-Brock
UML: The Language of Blueprints for Software? (Panel). OOPSLA (1997)
Ruth Malan, Derek Coleman, Reed Letsinger
Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard. OOPSLA (1995)
Steven Fraser, Honna Segel, Kent L. 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) (1994)
Steven Fraser, Kent L. 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)
Derek Coleman, Paul Jeremaes
Integrating analysis and design methods (abstract). OOPS Messenger 4 (2) (1993)
Derek Coleman, Fiona Hayes, Stephen Bear
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. IEEE Trans. Software Eng. 18 (1) (1992)
Fiona Hayes, Derek Coleman
Coherent Models for Object-Oriented Analysis. OOPSLA (1991)
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)
Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore
Formal Specification and Design Time Testing. IEEE Trans. Software Eng. 16 (1) (1990)
Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes
Graphical Specification of Object-Oriented Systems. OOPSLA/ECOOP (1990)
Robin M. Gallimore, Derek Coleman, Victoria Stavridou
UMIST OBJ: A Language for Executable Program Specifications. Comput. J. 32 (5) (1989)
Tony Rush, Derek Coleman
Architecture for Conditional Term Rewriting. CTRS (1987)
Derek Coleman, Robin M. Gallimore, Victoria Stavridou
The design of a rewrite rule interpreter from algebraic specifications. Softw. Eng. J. 2 (4) (1987)
Derek Coleman, Robin M. Gallimore
Specification of Distributed Programs. Program Specification (1981)
Derek Coleman, Robin M. Gallimore
Partial Correctness of Distributed Programs. Program Specification (1981)
Derek Coleman, Jane W. Hughes, Malcolm S. Powell
A Method for the Syntax Directed Design of Multiprograms. IEEE Trans. Software Eng. 7 (2) (1981)
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)
Derek Coleman, Jane W. Hughes, Malcolm S. Powell
Engineering data processing programs for multiple microprocessors. Microprocess. Microsystems 3 (2) (1979)
Derek Coleman, Jane W. Hughes
The Clean Termination of Pascal Programs. Acta Informatica 11 (1979)
Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell
An Assessment of Concurrent Pascal. Softw. Pract. Exp. 9 (10) (1979)