R. Geoff Dromey

Publication Activity (10 Years)

Years Active: 1978-2014
Publications (10 Years): 0

Top Topics

Conceptual Framework

Top Venues

Innov. Syst. Softw. Eng.

Publications

Lian Wen, David Tuffley, R. Geoff Dromey
Formalizing the transition from requirements' change to design change using an evolutionary traceability model. Innov. Syst. Softw. Eng. 10 (3) (2014)
Toby Myers, R. Geoff Dromey, Peter Fritzson
Comodeling: From Requirements to an Integrated Software/Hardware Model. Computer 44 (4) (2011)
Lian Wen, R. Geoff Dromey, Diana Kirk
Software Engineering and Scale-Free Networks. IEEE Trans. Syst. Man Cybern. Part B 39 (4) (2009)
Lian Wen, R. Geoff Dromey, Diana Kirk
Software Engineering and Scale-Free Networks. IEEE Trans. Syst. Man Cybern. Part B 39 (3) (2009)
Toby Myers, R. Geoff Dromey
From Requirements to Embedded Software - Formalising the Key Steps. Australian Software Engineering Conference (2009)
Kirsten Winter, Robert Colvin, R. Geoff Dromey
Dynamic Relational Behaviour for Large-Scale Systems. Australian Software Engineering Conference (2009)
Toby Myers, Peter Fritzson, R. Geoff Dromey
Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems. EOOLT (2008)
Lian Wen, Robert Colvin, Kai Lin, John Seagrott, Nisansala Yatapanage, R. Geoff Dromey
"Integrare", a Collaborative Environment for Behavior-Oriented Design. CDVE (2007)
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun
Maintaining constraints expressed as formulas in collaborative systems. CollaborateCom (2007)
R. Geoff Dromey
Engineering Large-Scale Software-Intensive Systems. ASWEC (2007)
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)
Lian Wen, Diana Kirk, R. Geoff Dromey
Software Systems as Complex Networks. IEEE ICCI (2007)
Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
Leveraging Single-User Microsoft Visio for Multi-user Real-Time Collaboration. CDVE (2007)
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)
Lian Wen, Diana Kirk, R. Geoff Dromey
A tool to visualize behavior and design evolution. IWPSE (2007)
Lian Wen, R. Geoff Dromey
Architecture Normalization for Component-based Systems. Electron. Notes Theor. Comput. Sci. 160 (2006)
R. Geoff Dromey
Climbing over the "No Silver Bullet" Brick Wall. IEEE Softw. 23 (2) (2006)
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun
Multi-way Dataflow Constraint Propagation in Real-time Collaborative Systems. CollaborateCom (2006)
Kai Lin, David Chen, R. Geoff Dromey, Chengzheng Sun
Maintaining multi-way dataflow constraints in collaborative systems. CollaborateCom (2005)
Saad Zafar, R. Geoff Dromey
Integrating Safety and Security Requirements into Design of an Embedded System. APSEC (2005)
Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
Maintaining Constraints in Collaborative Graphic Systems: the CoGSE Approach. ECSCW (2005)
Cesar Gonzalez-Perez, Brian Henderson-Sellers, R. Geoff Dromey
A Metamodel for the Behavior Trees Modelling Technique. ICITA (1) (2005)
Kai Lin, David Chen, Chengzheng Sun, R. Geoff Dromey
A Constraint Maintenance Strategy and Applications in Real-Time Collaborative Environments. CDVE (2005)
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)
Lian Wen, R. Geoff Dromey
From Requirements Change to Design Change: A Formal Path. SEFM (2004)
R. Geoff Dromey
Genetic Design: Amplifying Our Ability to Deal With Requirements Complexity. Scenarios: Models, Transformations and Tools (2003)
R. Geoff Dromey
Architecture as an Emergent Property of Requirements Integration. STRAW (2003)
R. Geoff Dromey
Software Quality-Prevention versus Cure? Softw. Qual. J. 11 (3) (2003)
R. Geoff Dromey
From Requirements to Design: Formalizing the Key Steps. SEFM (2003)
Zoran Milosevic, R. Geoff Dromey
On Expressing and Monitoring Behaviour in Contracts. EDOC (2002)
R. Geoff Dromey
Software Design: In Search of Method. Australian Software Engineering Conference (1998)
David Billington, R. Geoff Dromey
The Co-invariant Generator: An Aid in Deriving Loop Bodies. Formal Aspects Comput. 8 (1) (1996)
R. Geoff Dromey
Cornering the Chimera. IEEE Softw. 13 (1) (1996)
Si Pan, R. Geoff Dromey
Re-engineering Loops. Comput. J. 39 (3) (1996)
Si Pan, R. Geoff Dromey
Beyond Structured Programming. ICSE (1996)
Si Pan, R. Geoff Dromey
A Formal Basis for Removing Goto Statements. Comput. J. 39 (3) (1996)
R. Geoff Dromey
A Model for Software Product Quality. IEEE Trans. Software Eng. 21 (2) (1995)
Si Pan, R. Geoff Dromey
Using Strongest Postconditions to Improve Software Quality. Software Quality and Productivity (1994)
B. K. Oliver, R. Geoff Dromey
SAFE: A Programming Language for Software Quality. Software Quality and Productivity (1994)
R. Geoff Dromey
Software Quality and Productivity Improvement. Software Quality and Productivity (1994)
R. Geoff Dromey, T. A. Chorvat
Structure Clashes - An Alternative to Program Inversion. Comput. J. 33 (2) (1990)
R. Geoff Dromey
Systematic Program Development. IEEE Trans. Software Eng. 14 (1) (1988)
R. Geoff Dromey
Derivation of Sorting Algorithms from a Specification. Comput. J. 30 (6) (1987)
R. Geoff Dromey
An Algorithm for The Selection Problem. Softw. Pract. Exp. 16 (11) (1986)
R. Geoff Dromey
Forced Termination of Loops. Softw. Pract. Exp. 15 (1) (1985)
R. Geoff Dromey
Program Development by Inductive Stepwise Refinement. Softw. Pract. Exp. 15 (1) (1985)
R. Geoff Dromey
Exploiting Partial Order with Quicksort. Softw. Pract. Exp. 14 (6) (1984)
Thomas A. Bailey, R. Geoff Dromey
Fast String Searching by Finding Subkeys in Subtext. Inf. Process. Lett. 11 (3) (1980)
R. Geoff Dromey
A Fast Algorithm for Text Comparison. Aust. Comput. J. 11 (2) (1979)
R. Geoff Dromey
A Linked-Path Connection Table with Substructural Atom-Ordering. J. Chem. Inf. Comput. Sci. 19 (1) (1979)
R. Geoff Dromey
A Simple Tree-Structured Line Formula Notation for Representing Molecular Topology. J. Chem. Inf. Comput. Sci. 18 (4) (1978)
R. Geoff Dromey
A Compact and Efficient File Structure for Searching Large Generic-Keyed Databases. An Application to Mass Spectral Data. J. Chem. Inf. Comput. Sci. 18 (4) (1978)
R. Geoff Dromey
A Compact Free-Keyword File Structure for Author-Title-Keyword Searching. An Application to an NMR Bibliographic Database. J. Chem. Inf. Comput. Sci. 18 (3) (1978)
R. Geoff Dromey
A Structural Molecular Formula for Flexible and Efficient Substructure Searching of Large Databases. J. Chem. Inf. Comput. Sci. 18 (3) (1978)