Derek Coleman

25 papers A 5B 3Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2007 — conf
Automation Controller for Operational IT Management.
Integrated Network Management
Sven Graupner, Nigel Cook, Derek Coleman
2006 B conf
Management Middleware for Enterprise Grids.
CCGRID
Sven Graupner, Nigel Cook, Derek Coleman, Tilo Nitzsche
2003 B conf
Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches.
EDOC
David Trastour, Chris Preist, Derek Coleman
2000 B conf
A cooperative model for cross-divisional product development for a software product line.
SPLC
Peter Toft, Derek Coleman, Joni T. Ohta
1997 A conf
UML: The Language of Blueprints for Software? (Panel).
OOPSLA
Derek Coleman, John Artim, Victor Ohnjec, Erick Rivas, James E. Rumbaugh, Rebecca Wirfs-Brock
1995 A conf
Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard.
OOPSLA
Ruth Malan, Derek Coleman, Reed Letsinger
1994 A conf
How Do Teams Shape Objects ? - How Di Object Shape Teams ? (Panel).
OOPSLA
Steven Fraser, Kent L. Beck, Grady Booch, Derek Coleman, James Coplien, Richard Helm, Kenneth S. Rubin
1994 — conf
How do teams shape objects? - how do objects shape teams?
OOPSLA Addendum
Steven Fraser, Honna Segel, Kent L. Beck, Grady Booch, Derek Coleman, James Coplien, Richard Helm, Kenneth S. Rubin
1992 — conf
Integrating analysis and design methods (abstract).
OOPSLA Addendum
Derek Coleman, Paul Jeremaes
1992 J jnl
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.
IEEE Trans. Software Eng.
Derek Coleman, Fiona Hayes, Stephen Bear
1991 A conf
Coherent Models for Object-Oriented Analysis.
OOPSLA
Fiona Hayes, Derek Coleman
1991 A conf
Formal Techniques for OO Software Development (Panel).
OOPSLA
Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
1990 J jnl
Formal Specification and Design Time Testing.
IEEE Trans. Software Eng.
Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore
1990 — conf
Graphical Specification of Object-Oriented Systems.
OOPSLA/ECOOP
Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes
1989 J jnl
UMIST OBJ: A Language for Executable Program Specifications.
Comput. J.
Robin M. Gallimore, Derek Coleman, Victoria Stavridou
1987 — conf
Architecture for Conditional Term Rewriting.
CTRS
Tony Rush, Derek Coleman
1987 J jnl
The design of a rewrite rule interpreter from algebraic specifications.
Softw. Eng. J.
Derek Coleman, Robin M. Gallimore, Victoria Stavridou
1981 J jnl
A Method for the Syntax Directed Design of Multiprograms.
IEEE Trans. Software Eng.
Derek Coleman, Jane W. Hughes, Malcolm S. Powell
1981 — conf
KWIC-index generation.
Program Specification
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
1981 — conf
Partial Correctness of Distributed Programs.
Program Specification
Derek Coleman, Robin M. Gallimore
1981 — conf
Specification of Distributed Programs.
Program Specification
Derek Coleman, Robin M. Gallimore
1980 — ch.
Concurrent Pascal - An Appraisal.
On the Construction of Programs
Derek Coleman
1979 J jnl
An Assessment of Concurrent Pascal.
Softw. Pract. Exp.
Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell
1979 J jnl
Engineering data processing programs for multiple microprocessors.
Microprocess. Microsystems
Derek Coleman, Jane W. Hughes, Malcolm S. Powell
1979 J jnl
The Clean Termination of Pascal Programs.
Acta Informatica
Derek Coleman, Jane W. Hughes