dblp.uni-trier.dewww.uni-trier.de

Derek Coleman Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Jean-Raymond Abrial [5]
2Phillip Allen [11]
3Pierre America [13]
4John Artim [19]
5Stephen Bear [11] [14]
6Kent Beck [16] [17]
7Grady Booch [16] [17]
8Dennis de Champeaux [13]
9Nigel Cook [22] [23]
10James Coplien [16] [17]
11Roger Duke [13]
12Hartmut Ehrig [5]
13Steven Fraser [16] [17]
14Robin M. Gallimore [1] [5] [6] [7] [9] [10]
15Christopher Paul Gerrard [10]
16Joseph A. Goguen [5]
17Sven Graupner [22] [23]
18Fiona Hayes [11] [12] [13] [14]
19Richard Helm [16] [17]
20Jane W. Hughes [1] [2] [4] [5]
21Paul Jeremaes [15]
22Hans-Jörg Kreowski [5]
23Doug Lea [13]
24Gary T. Leavens [13]
25Reed Letsinger [18]
26Ruth Malan [18]
27Leif Sandegaard Nielsen [5]
28Tilo Nitzsche [22]
29Victor Ohnjec [19]
30Joni T. Ohta [20]
31Malcolm S. Powell [1] [4] [5]
32Chris Preist [21]
33Erick Rivas [19]
34Kenneth S. Rubin [16] [17]
35James E. Rumbaugh [19]
36Tony Rush [8]
37Honna Segel [16]
38Ib Holm Sørensen [5]
39Victoria Stavridou [9]
40Jørgen Steensgaard-Madsen [5]
41Peter Toft [20]
42David Trastour [21]
43Rebecca Wirfs-Brock [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)