Derek Coleman

According to our database1, Derek Coleman
  • authored at least 25 papers between 1979 and 2007.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Automation Controller for Operational IT Management.
Proceedings of the Integrated Network Management, 2007

2006
Management Middleware for Enterprise Grids.
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.
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.
Proceedings of the Software Product Lines; Experiences and Research Directions, 2000

1997
UML: The Language of Blueprints for Software? (Panel).
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.
Proceedings of the OOPSLA'95, 1995

1994
How do teams shape objects? - how do objects shape teams?
OOPS Messenger, 1994

How Do Teams Shape Objects ? - How Di Object Shape Teams ? (Panel).
Proceedings of the OOPSLA'94, 1994

1993
Integrating analysis and design methods (abstract).
OOPS Messenger, 1993

1992
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.
IEEE Trans. Software Eng., 1992

1991
Coherent Models for Object-Oriented Analysis.
Proceedings of the Conference on Object-Oriented Programming Systems, 1991

Formal Techniques for OO Software Development (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1991

1990
Formal Specification and Design Time Testing.
IEEE Trans. Software Eng., 1990

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

1989
UMIST OBJ: A Language for Executable Program Specifications.
Comput. J., 1989

1987
The design of a rewrite rule interpreter from algebraic specifications.
Software Engineering Journal, 1987

Architecture for Conditional Term Rewriting.
Proceedings of the Conditional Term Rewriting Systems, 1987

1981
A Method for the Syntax Directed Design of Multiprograms.
IEEE Trans. Software Eng., 1981


Specification of Distributed Programs.
Proceedings of the Program Specification, 1981

Partial Correctness of Distributed Programs.
Proceedings of the Program Specification, 1981

1980
Concurrent Pascal - An Appraisal.
On the Construction of Programs, 1980

1979
An Assessment of Concurrent Pascal.
Softw., Pract. Exper., 1979

Engineering data processing programs for multiple microprocessors.
Microprocessors and Microsystems - Embedded Hardware Design, 1979

The Clean Termination of Pascal Programs.
Acta Inf., 1979


  Loading...