David Hemer

27 papers B 2C 5Journal 3Unranked 15
YearRankTypeTitle / Venue / Authors
2010 B conf
An Optimised Algorithm to Tackle the Model Explosion Problem in CTL Model Update.
PRICAI
Yulin Ding, David Hemer
2008 — conf
Peer Assessment of Group-Based Software Engineering Projects.
Australian Software Engineering Conference
David Hemer
2008 — conf
Specifying Software Architectures Using a Formal-Based Approach.
Australian Software Engineering Conference
David Hemer, Yulin Ding
2006 C conf
A systematic approach to connecting standalone theorem provers to formal development environments.
APSEC
David Hemer
2006 — conf
Semi-Automated Component-Based Development of Formally Verified Software.
Refine@ICFEM
David Hemer
2005 — conf
A Formal Approach to Component Adaptation and Composition.
ACSC
David Hemer
2005 — conf
Plug-in Proof Support for Formal Development Environments.
CATS
David Hemer, Gregory Long, Paul A. Strooper
2005 — conf
Specification-Based Retrieval Strategies for Component Architectures.
Australian Software Engineering Conference
David Hemer
2005 J jnl
Template-based construction of verified software.
IEE Proc. Softw.
David Hemer, Peter A. Lindsay
2004 — ch.
Developing Logic Programs from Specifications Using Stepwise Refinement.
Program Development in Computational Logic
Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper
2004 — conf
HazLog: Tool Support for Hazard Management.
SCS
Christian Hamoy, David Hemer, Peter A. Lindsay
2004 — conf
Higher-order associative commutative pattern matching for component retrieval.
CATS
David Hemer
2003 B conf
Specification Matching of Object-Oriented Components.
SEFM
Frank Feiks, David Hemer
2003 C conf
Specification matching of state-based modular components.
APSEC
David Hemer
2002 J jnl
A Refinement Calculus for Logic Programs
CoRR
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
2002 J jnl
A refinement calculus for logic programs.
Theory Pract. Log. Program.
Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson
2002 C conf
Computer-aided programming using formally specified design templates.
APSEC
David Hemer
2002 — conf
Don't Care Non-determinism in Logic Program Refinement.
CATS
David Hemer, Ian J. Hayes, Paul A. Strooper, Robert Colvin
2002 C conf
Refinement of Higher-Order Logic Programs.
LOPSTR
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
2002 — conf
Supporting Component-Based Reuse in CARE.
ACSC
David Hemer, Peter A. Lindsay
2002 — conf
Translating Refined Logic Programs to Mercury.
ACSC
Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper
2001 — conf
Refinement Calculus for Logic Programming in Isabelle/HOL.
TPHOLs
David Hemer, Ian J. Hayes, Paul A. Strooper
2001 — conf
Specification-Based Retrieval Strategies for Module Reuse.
Australian Software Engineering Conference
David Hemer, Peter A. Lindsay
2000 — —
A unified approach to adapting and retrieving formally specified components for reuse
David Hemer
1997 — conf
Reuse of Verified Design Templates Through Extended Pattern Matching.
FME
David Hemer, Peter A. Lindsay
1997 C conf
Using CARE to Construct Verified Software.
ICFEM
Peter A. Lindsay, David Hemer
1996 — conf
An Industrial-Strength Method For The Construction Of Formally Verified Software.
Australian Software Engineering Conference
Peter A. Lindsay, David Hemer