The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Derek Coleman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sven Graupner, Nigel Cook, Derek Coleman, Tilo Nitzsche
    Management Middleware for Enterprise Grids. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2006, pp:625-632 [Conf]
  2. Tony Rush, Derek Coleman
    Architecture for Conditional Term Rewriting. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:266-278 [Conf]
  3. David Trastour, Chris Preist, Derek Coleman
    Using Semantic Web Technology to Enhance Current Business-to-Business Integration Approaches. [Citation Graph (0, 0)][DBLP]
    EDOC, 2003, pp:222-231 [Conf]
  4. Derek Coleman, Robin M. Gallimore
    Partial Correctness of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Program Specification, 1981, pp:138-180 [Conf]
  5. Derek Coleman, Robin M. Gallimore
    Specification of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Program Specification, 1981, pp:181-214 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    Program Specification, 1981, pp:47-117 [Conf]
  7. Stephen Bear, Phillip Allen, Derek Coleman, Fiona Hayes
    Graphical Specification of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:28-37 [Conf]
  8. Dennis de Champeaux, Pierre America, Derek Coleman, Roger Duke, Doug Lea, Gary T. Leavens, Fiona Hayes
    Formal Techniques for OO Software Development (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1991, pp:166-170 [Conf]
  9. Derek Coleman, John Artim, Victor Ohnjec, Erick Rivas, James E. Rumbaugh, Rebecca Wirfs-Brock
    UML: The Language of Blueprints for Software? (Panel). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1997, pp:201-205 [Conf]
  10. 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). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1994, pp:468-473 [Conf]
  11. Fiona Hayes, Derek Coleman
    Coherent Models for Object-Oriented Analysis. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1991, pp:171-183 [Conf]
  12. Ruth Malan, Derek Coleman, Reed Letsinger
    Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1995, pp:33-46 [Conf]
  13. Peter Toft, Derek Coleman, Joni Ohta
    A cooperative model for cross-divisional product development for a software product line. [Citation Graph (0, 0)][DBLP]
    SPLC, 2000, pp:111-132 [Conf]
  14. Derek Coleman, Jane W. Hughes
    The Clean Termination of Pascal Programs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1979, v:11, n:, pp:195-210 [Journal]
  15. Robin M. Gallimore, Derek Coleman, Victoria Stavridou
    UMIST OBJ: A Language for Executable Progam Specifications. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1989, v:32, n:5, pp:413-421 [Journal]
  16. Derek Coleman, Paul Jeremaes
    Integrating analysis and design methods (abstract). [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1993, v:4, n:2, pp:218- [Journal]
  17. 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? [Citation Graph (0, 0)][DBLP]
    OOPS Messenger, 1994, v:5, n:4, pp:63-66 [Journal]
  18. Derek Coleman, Robin M. Gallimore, Jane W. Hughes, Malcolm S. Powell
    An Assessment of Concurrent Pascal. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1979, v:9, n:10, pp:827-837 [Journal]
  19. Derek Coleman, Fiona Hayes, Stephen Bear
    Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:1, pp:9-18 [Journal]
  20. Derek Coleman, Jane W. Hughes, Malcolm S. Powell
    A Method for the Syntax Directed Design of Multiprograms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:2, pp:189-196 [Journal]
  21. Christopher Paul Gerrard, Derek Coleman, Robin M. Gallimore
    Formal Specification and Design Time Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:1, pp:1-12 [Journal]
  22. Sven Graupner, Nigel Cook, Derek Coleman
    Automation Controller for Operational IT Management. [Citation Graph (0, 0)][DBLP]
    Integrated Network Management, 2007, pp:363-372 [Conf]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002