Search the dblp DataBase
David Hemer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David Hemer A Formal Approach to Component Adaptation and Composition. [Citation Graph (0, 0)][DBLP ] ACSC, 2005, pp:259-266 [Conf ] David Hemer , Peter A. Lindsay Supporting Component-Based Reuse in CARE. [Citation Graph (0, 0)][DBLP ] ACSC, 2002, pp:95-104 [Conf ] 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 ] David Hemer Computer-aided programming using formally specified design templates. [Citation Graph (0, 0)][DBLP ] APSEC, 2002, pp:307-316 [Conf ] David Hemer Specification matching of state-based modular components. [Citation Graph (0, 0)][DBLP ] APSEC, 2003, pp:446-455 [Conf ] 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 ] David Hemer Specification-Based Retrieval Strategies for Component Architectures. [Citation Graph (0, 0)][DBLP ] Australian Software Engineering Conference, 2005, pp:233-242 [Conf ] 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 ] 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 ] 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 ] 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 ] Peter A. Lindsay , David Hemer Using CARE to Construct Verified Software. [Citation Graph (0, 0)][DBLP ] ICFEM, 1997, pp:122-131 [Conf ] 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 ] 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 ] Christian Hamoy , David Hemer , Peter A. Lindsay HazLog: Tool Support for Hazard Management. [Citation Graph (0, 0)][DBLP ] SCS, 2004, pp:77-87 [Conf ] Frank Feiks , David Hemer Specification Matching of Object-Oriented Components. [Citation Graph (0, 0)][DBLP ] SEFM, 2003, pp:182-190 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] A systematic approach to connecting standalone theorem provers to formal development environments. [Citation Graph (, )][DBLP ] Peer Assessment of Group-Based Software Engineering Projects. [Citation Graph (, )][DBLP ] Specifying Software Architectures Using a Formal-Based Approach. [Citation Graph (, )][DBLP ] An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.302secs