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

R. Geoff Dromey

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

2007
46EESaad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey: Early Validation and Verification of a Distributed Role-Based Access Control Model. APSEC 2007: 430-437
45EER. Geoff Dromey: Engineering Large-Scale Software-Intensive Systems. ASWEC 2007: 4-6
44EELian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey: "Integrare", a Collaborative Environment for Behavior-Oriented Design. CDVE 2007: 122-131
43EEKai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey: Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration. CDVE 2007: 353-360
42EEKai Lin, David Chen, R. Geoff Dromey, Steven Xia, Chengzheng Sun: API design recommendations for facilitating conversion of single-user applications into collaborative applications. CollaborateCom 2007: 309-317
41EEKai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun: Maintaining constraints expressed as formulas in collaborative systems. CollaborateCom 2007: 318-327
40EELian Wen, Diana Kirk, R. Geoff Dromey: Software Systems as Complex Networks. IEEE ICCI 2007: 106-115
39EELian Wen, Diana Kirk, R. Geoff Dromey: A tool to visualize behavior and design evolution. IWPSE 2007: 114-115
2006
38EELian Wen, R. Geoff Dromey: Architecture Normalization for Component-based Systems. Electr. Notes Theor. Comput. Sci. 160: 335-348 (2006)
37EER. Geoff Dromey: Climbing over the "No Silver Bullet" Brick Wall. IEEE Software 23(2): 118-120 (2006)
2005
36EESaad Zafar, R. Geoff Dromey: Integrating Safety and Security Requirements into Design of an Embedded System. APSEC 2005: 629-636
35EEKai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey: A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments. CDVE 2005: 103-110
34EEKai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun: Maintaining multi-way dataflow constraints in collaborative systems. CollaborateCom 2005
33EEKai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey: Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach. ECSCW 2005: 185-204
32EECesar Gonzalez-Perez, Brian Henderson-Sellers, R. Geoff Dromey: A Metamodel for the Behavior Trees Modelling Technique. ICITA (1) 2005: 35-39
2004
31EECameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington: An Environment for Building a System out of its Requirements. ASE 2004: 398-399
30EELian Wen, R. Geoff Dromey: From Requirements Change to Design Change: A Formal Path. SEFM 2004: 104-113
2003
29EER. Geoff Dromey: From Requirements to Design: Formalizing the Key Steps. SEFM 2003: 2-
28EER. Geoff Dromey: Architecture as an Emergent Property of Requirements Integration. STRAW 2003: 77-84
27EER. Geoff Dromey: Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. Scenarios: Models, Transformations and Tools 2003: 95-108
26EER. Geoff Dromey: Software Quality-Prevention versus Cure? Software Quality Journal 11(3): 197-210 (2003)
2002
25EEZoran Milosevic, R. Geoff Dromey: On Expressing and Monitoring Behaviour in Contracts. EDOC 2002: 3-14
1998
24EER. Geoff Dromey: Software Design: In Search of Method. Australian Software Engineering Conference 1998: 32-
1996
23EESi Pan, R. Geoff Dromey: Beyond Structured Programming. ICSE 1996: 268-277
22 Si Pan, R. Geoff Dromey: Re-engineering Loops. Comput. J. 39(3): 184-202 (1996)
21 Si Pan, R. Geoff Dromey: A Formal Basis for Removing Goto Statements. Comput. J. 39(3): 203-214 (1996)
20 David Billington, R. Geoff Dromey: The Co-invariant Generator: An Aid in Deriving Loop Bodies. Formal Asp. Comput. 8(1): 108-126 (1996)
19EER. Geoff Dromey: Cornering the Chimera. IEEE Software 13(1): 33-43 (1996)
1995
18EER. Geoff Dromey: A Model for Software Product Quality. IEEE Trans. Software Eng. 21(2): 146-162 (1995)
1994
17 R. Geoff Dromey: Software Quality and Productivity Improvement. Software Quality and Productivity 1994: 10-26
16 B. K. Oliver, R. Geoff Dromey: SAFE: A Programming Language for Software Quality. Software Quality and Productivity 1994: 227-230
15 Si Pan, R. Geoff Dromey: Using Strongest Postconditions to Improve Software Quality. Software Quality and Productivity 1994: 235-240
1990
14 R. Geoff Dromey, T. A. Chorvat: Structure Clashes - An Alternative to Program Inversion. Comput. J. 33(2): 126-132 (1990)
1988
13EER. Geoff Dromey: Systematic Program Development. IEEE Trans. Software Eng. 14(1): 12-29 (1988)
1987
12 R. Geoff Dromey: Derivation of Sorting Algorithms from a Specification. Comput. J. 30(6): 512-518 (1987)
1986
11 R. Geoff Dromey: An Algorithm for The Selection Problem. Softw., Pract. Exper. 16(11): 981-986 (1986)
1985
10 R. Geoff Dromey: Program Development by Inductive Stepwise Refinement. Softw., Pract. Exper. 15(1): 1-28 (1985)
9 R. Geoff Dromey: Forced Termination of Loops. Softw., Pract. Exper. 15(1): 29-39 (1985)
1984
8 R. Geoff Dromey: Exploiting Partial Order with Quicksort. Softw., Pract. Exper. 14(6): 509-518 (1984)
1980
7 Thomas A. Bailey, R. Geoff Dromey: Fast String Searching by Finding Subkeys in Subtext. Inf. Process. Lett. 11(3): 130-133 (1980)
1979
6 R. Geoff Dromey: A Fast Algorithm for Text Comparison. Australian Computer Journal 11(2): 63-67 (1979)
5EER. Geoff Dromey: A Linked-Path Connection Table with Substructural Atom-Ordering. Journal of Chemical Information and Computer Sciences 19(1): 37-42 (1979)
1978
4EER. Geoff Dromey: A Compact Free-Keyword File Structure for Author-Title-Keyword Searching. An Application to an NMR Bibliographic Database. Journal of Chemical Information and Computer Sciences 18(3): 160-162 (1978)
3EER. Geoff Dromey: A Structural Molecular Formula for Flexible and Efficient Substructure Searching of Large Databases. Journal of Chemical Information and Computer Sciences 18(3): 163-168 (1978)
2EER. Geoff Dromey: A Compact and Efficient File Structure for Searching Large Generic-Keyed Databases. An Application to Mass Spectral Data. Journal of Chemical Information and Computer Sciences 18(4): 222-225 (1978)
1EER. Geoff Dromey: A Simple Tree-Structured Line Formula Notation for Representing Molecular Topology. Journal of Chemical Information and Computer Sciences 18(4): 225-234 (1978)

Coauthor Index

1Thomas A. Bailey [7]
2David Billington [20]
3David A. Carrington [31]
4David Chen [33] [34] [35] [41] [42] [43]
5T. A. Chorvat [14]
6Robert Colvin [44] [46]
7Cesar Gonzalez-Perez [32]
8Ian J. Hayes [31]
9Brian Henderson-Sellers [32]
10Diana Kirk [39] [40]
11Kai Lin [33] [34] [35] [41] [42] [43] [44]
12Peter A. Lindsay [31]
13Zoran Milosevic [25]
14B. K. Oliver [16]
15Si Pan [15] [21] [22] [23]
16John Seagrott [44]
17Cameron Smith [31]
18Chengzheng Sun [33] [34] [35] [41] [42] [43]
19Lian Wen [30] [38] [39] [40] [44]
20Kirsten Winter [31] [46]
21Steven Xia [42]
22Nisansala Yatapanage [44] [46]
23Saad Zafar [36] [46]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)