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) |