The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
R. Geoff Dromey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  40. Software Systems as Complex Networks. [Citation Graph (, )][DBLP]


  41. Early Validation and Verification of a Distributed Role-Based Access Control Model. [Citation Graph (, )][DBLP]


  42. Engineering Large-Scale Software-Intensive Systems. [Citation Graph (, )][DBLP]


  43. Dynamic Relational Behaviour for Large-Scale Systems. [Citation Graph (, )][DBLP]


  44. From Requirements to Embedded Software - Formalising the Key Steps. [Citation Graph (, )][DBLP]


  45. Architecture as an Emergent Property of Requirements Integration. [Citation Graph (, )][DBLP]


  46. A tool to visualize behavior and design evolution. [Citation Graph (, )][DBLP]


  47. API design recommendations for facilitating conversion of single-user applications into collaborative applications. [Citation Graph (, )][DBLP]


  48. Maintaining constraints expressed as formulas in collaborative systems. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.328secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002