| 2007 |
|---|
| 46 | EE | Saad 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 |
| 45 | EE | R. Geoff Dromey:
Engineering Large-Scale Software-Intensive Systems.
ASWEC 2007: 4-6 |
| 44 | EE | Lian Wen,
Robert Colvin,
Kai Lin,
John Seagrott,
Nisansala Yatapanage,
R. Geoff Dromey:
"Integrare", a Collaborative Environment for Behavior-Oriented Design.
CDVE 2007: 122-131 |
| 43 | EE | Kai Lin,
David Chen,
Chengzheng Sun,
R. Geoff Dromey:
Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration.
CDVE 2007: 353-360 |
| 42 | EE | Kai 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 |
| 41 | EE | Kai Lin,
David Chen,
R. Geoff Dromey,
Chengzheng Sun:
Maintaining constraints expressed as formulas in collaborative systems.
CollaborateCom 2007: 318-327 |
| 40 | EE | Lian Wen,
Diana Kirk,
R. Geoff Dromey:
Software Systems as Complex Networks.
IEEE ICCI 2007: 106-115 |
| 39 | EE | Lian Wen,
Diana Kirk,
R. Geoff Dromey:
A tool to visualize behavior and design evolution.
IWPSE 2007: 114-115 |
| 2006 |
|---|
| 38 | EE | Lian Wen,
R. Geoff Dromey:
Architecture Normalization for Component-based Systems.
Electr. Notes Theor. Comput. Sci. 160: 335-348 (2006) |
| 37 | EE | R. Geoff Dromey:
Climbing over the "No Silver Bullet" Brick Wall.
IEEE Software 23(2): 118-120 (2006) |
| 2005 |
|---|
| 36 | EE | Saad Zafar,
R. Geoff Dromey:
Integrating Safety and Security Requirements into Design of an Embedded System.
APSEC 2005: 629-636 |
| 35 | EE | Kai Lin,
David Chen,
Chengzheng Sun,
R. Geoff Dromey:
A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments.
CDVE 2005: 103-110 |
| 34 | EE | Kai Lin,
David Chen,
R. Geoff Dromey,
Chengzheng Sun:
Maintaining multi-way dataflow constraints in collaborative systems.
CollaborateCom 2005 |
| 33 | EE | Kai Lin,
David Chen,
Chengzheng Sun,
R. Geoff Dromey:
Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach.
ECSCW 2005: 185-204 |
| 32 | EE | Cesar Gonzalez-Perez,
Brian Henderson-Sellers,
R. Geoff Dromey:
A Metamodel for the Behavior Trees Modelling Technique.
ICITA (1) 2005: 35-39 |
| 2004 |
|---|
| 31 | EE | Cameron 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 |
| 30 | EE | Lian Wen,
R. Geoff Dromey:
From Requirements Change to Design Change: A Formal Path.
SEFM 2004: 104-113 |
| 2003 |
|---|
| 29 | EE | R. Geoff Dromey:
From Requirements to Design: Formalizing the Key Steps.
SEFM 2003: 2- |
| 28 | EE | R. Geoff Dromey:
Architecture as an Emergent Property of Requirements Integration.
STRAW 2003: 77-84 |
| 27 | EE | R. Geoff Dromey:
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity.
Scenarios: Models, Transformations and Tools 2003: 95-108 |
| 26 | EE | R. Geoff Dromey:
Software Quality-Prevention versus Cure?
Software Quality Journal 11(3): 197-210 (2003) |
| 2002 |
|---|
| 25 | EE | Zoran Milosevic,
R. Geoff Dromey:
On Expressing and Monitoring Behaviour in Contracts.
EDOC 2002: 3-14 |
| 1998 |
|---|
| 24 | EE | R. Geoff Dromey:
Software Design: In Search of Method.
Australian Software Engineering Conference 1998: 32- |
| 1996 |
|---|
| 23 | EE | Si 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) |
| 19 | EE | R. Geoff Dromey:
Cornering the Chimera.
IEEE Software 13(1): 33-43 (1996) |
| 1995 |
|---|
| 18 | EE | R. 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 |
|---|
| 13 | EE | R. 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) |
| 5 | EE | R. Geoff Dromey:
A Linked-Path Connection Table with Substructural Atom-Ordering.
Journal of Chemical Information and Computer Sciences 19(1): 37-42 (1979) |
| 1978 |
|---|
| 4 | EE | R. 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) |
| 3 | EE | R. 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) |
| 2 | EE | R. 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) |
| 1 | EE | R. 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) |
