The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Hemer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Hemer
    A Formal Approach to Component Adaptation and Composition. [Citation Graph (0, 0)][DBLP]
    ACSC, 2005, pp:259-266 [Conf]
  2. David Hemer, Peter A. Lindsay
    Supporting Component-Based Reuse in CARE. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:95-104 [Conf]
  3. Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
    Translating Refined Logic Programs to Mercury. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:33-40 [Conf]
  4. David Hemer
    Computer-aided programming using formally specified design templates. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:307-316 [Conf]
  5. David Hemer
    Specification matching of state-based modular components. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:446-455 [Conf]
  6. Peter A. Lindsay, David Hemer
    An Industrial-Strength Method For The Construction Of Formally Verified Software. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 1996, pp:27-0 [Conf]
  7. David Hemer
    Specification-Based Retrieval Strategies for Component Architectures. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2005, pp:233-242 [Conf]
  8. David Hemer, Peter A. Lindsay
    Specification-Based Retrieval Strategies for Module Reuse. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:235-243 [Conf]
  9. Peter A. Lindsay, David Hemer
    An Industrial-Strength Method For The Construction Of Formally Verified Software. [Citation Graph (0, 0)][DBLP]
    ASYNC, 1996, pp:27-0 [Conf]
  10. David Hemer, Gregory Long, Paul A. Strooper
    Plug-in Proof Support for Formal Development Environments. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:69-79 [Conf]
  11. David Hemer, Peter A. Lindsay
    Reuse of Verified Design Templates Through Extended Pattern Matching. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:495-514 [Conf]
  12. Peter A. Lindsay, David Hemer
    Using CARE to Construct Verified Software. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:122-131 [Conf]
  13. Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper
    Developing Logic Programs from Specifications Using Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:66-89 [Conf]
  14. Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
    Refinement of Higher-Order Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:126-143 [Conf]
  15. Christian Hamoy, David Hemer, Peter A. Lindsay
    HazLog: Tool Support for Hazard Management. [Citation Graph (0, 0)][DBLP]
    SCS, 2004, pp:77-87 [Conf]
  16. Frank Feiks, David Hemer
    Specification Matching of Object-Oriented Components. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:182-190 [Conf]
  17. David Hemer, Ian J. Hayes, Paul A. Strooper
    Refinement Calculus for Logic Programming in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:249-264 [Conf]
  18. Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
    A Refinement Calculus for Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  19. David Hemer
    Higher-order associative commutative pattern matching for component retrieval. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:116-133 [Journal]
  20. David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
    Don't Care Non-determinism in Logic Program Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal]
  21. Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
    A refinement calculus for logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:4-5, pp:425-460 [Journal]
  22. David Hemer
    Semi-Automated Component-Based Development of Formally Verified Software. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:173-188 [Journal]

  23. A systematic approach to connecting standalone theorem provers to formal development environments. [Citation Graph (, )][DBLP]


  24. Peer Assessment of Group-Based Software Engineering Projects. [Citation Graph (, )][DBLP]


  25. Specifying Software Architectures Using a Formal-Based Approach. [Citation Graph (, )][DBLP]


  26. An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. [Citation Graph (, )][DBLP]


Search in 0.272secs, Finished in 0.273secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002