|
School of Computer Science
Plaza Building
THE UNIVERSITY OF ADELAIDE
SA 5005
AUSTRALIA
Email
Telephone: +61 8 8303 5586
Facsimile: +61 8 8303 4366
|
|
[2008]
[2007]
[2006]
[2005]
[2004]
[2003]
[2002]
[2001]
[2000]
[1990s]
- D. Hemer and Y. Ding.
Specifying software architectures using a formal-based
approach.
In Proceedings of Nineteenth Australian Software Engineering Conference
(ASWEC 2008), pages 279-288. IEEE Computer Society, March 2008.
-
D. Hemer. Peer assessment of group-based Software Engineering projects.
In Proceedings of Nineteenth Australian Software Engineering Conference
(ASWEC 2008), pages 470-478. IEEE Computer Society, March 2008.
- D. Hemer. Semi-Automated Component-Based Development of Formally Veried Software.
In Proceedings of the 11th International Refinement Workshop (REFINE 2006),
Electronic Notes in Theoretical Computer Science, Volume 187, 15 July 2007, Pages 173-188.
- D. Hemer. A systematic approach to connecting standalone theorem provers to formal development
environments. In Proceedings of Thirteenth Asia-Pacific Software Engineering
Conference (APSEC 2006), pages 183-190. IEEE Computer Society, December 2006.
- P. Cook, C. Fidge, and D. Hemer. Well-measuring programs. In Proceedings of
the Australian Software Engineering Conference (ASWEC 2006), pages 253-261. IEEE
Computer Society, April 2006.
- D. Hemer and P. Lindsay. Template-based Construction
of Verified Software. In Wolf Zimmermann ed., IEE Proceedings - Software,
Special Issue on Reusable Software Libraries,
152(1):2-12, February 2005.
- D. Hemer. Specification-based retrieval strategies of component
architectures. In P. Strooper ed., Proc. of the Australian Software Engineering
Conference (ASWEC2005), pages 233-242, 2005.
- D. Hemer, G. Long, P. Strooper. Plug-in proof support for formal
development environments. In M. Atkinson and F. Dehne eds., Proc. of Computing: The Australasian Computing
Symposium, Conferences in Research and Practice in Information Technology, vol 41, pages 69-79, 2005.
- D. Hemer. A Formal Approach to Component Adaptation and Composition.
In V. Estivill-Castro, Proc. of the Twenty-Eigth Australasian Computer Science Conference (ACSC2005),
Conferences in Research and Practice in Information Technology, vol 38, pages 259-266, 2005.
-
C. Hamoy, D. Hemer, P. Lindsay, HazLog: Tool support for hazard management
In T. Cant ed., Safety Critical Systems and Software Workshop 2004, Conferences in Research and Practice in Information Technology, vol 47, pages 77-87,
2005.
- R. Colvin, I. Hayes, D. Hemer, P. Strooper, L. Groves and R. Nickson. Developing Logic Programs from Specifications
using Stepwise Refinement. In Maurice Bruynooghe and Kung-Kiu Lau eds., Program Development
in Computational Logic, Lecture Notes in Computer Science, Volume 3049,
pages 66-89, Springer Verlag,
2004.
-
David Hemer, Higher-order associative commutative pattern matching for
component retrieval In Mike Atkinson ed.,
Proceedings of Computing: The Australasian Theory
Symposium (CATS'2004), Electronic Notes in Computer
Science (ENTCS), Volume 91C, pages 116-133, January
2004.(PDF Slideshow).
-
David Hemer, Specification matching of state-based components.
In Proceedings of the Tenth Asia Pacific Software Engineering
Conference (APSEC'2003), pages 446-455, IEEE Computer Society,
December 2003. (PDF Slideshow).
-
F. Feiks and D. Hemer,
Specification Matching of Object-oriented Components
In A. Cerone and P. Lindsay eds.,
Proceedings of the First International Software Engineering and
Formal Methods Conference (SEFM'2003), pages 182-190, IEEE Computer Society,
25-26 September 2003.
-
R. Colvin, I. Hayes, D. Hemer and P. Strooper,
Refinement of higher-order logic programs,
In M. Leuschel ed.,
Proceedings of the International Workshop on
Logic-based Program Synthesis and Transformation (LOPSTR 2002)
, 17-20 September 2002, Lecture Notes in Computer Science, volume 2664,
pages 126-143, Springer, 2003.
-
I. Hayes, R. Colvin, D. Hemer, P. Strooper and R. Nickson. A Refinement
Calculus for Logic Programs. Journal of Theory and
Practice of Logic Programming, 2(4&5):425-460, 2002.
-
D. Hemer. Computer-aided
programming using formally specified design templates. In Paul Strooper
and Pornsiri Muenchaisri, eds.,
Ninth Asia Pacific
Software Engineering Conference (APSEC'2002), pages 307-316, IEEE Computer
Society, December 2002. (Also appears
as SVRC Technical Report 02-27).
-
D. Hemer, I. Hayes, P. Strooper and R. Colvin. Don't Care Non-determinism
in Logic Program Refinement. In James Harland, ed., Computing: The Australasian Theory
Symposium (CATS 2002),
Electronic Notes in Computer Science (ENTCS), vol 61,
Elsevier Science, January 2002 . (Also appears as SVRC Technical Report 01-27) (PDF Slideshow).
- D. Hemer and P. Lindsay.
Supporting component-based reuse in CARE. In
Michael Oudshoorn, ed.,
Proc. of the Twenty-Fifth Australasian Computer Science Conference (ACSC2002),
Conferences in Research and Practice in Information Technology, vol 4,
pages 95-104, Australian Computer Society, January 2002.
(Also appears as SVRC Technical Report 01-26).
- Robert Colvin, David Hemer, Ian Hayes, and Paul Strooper,
Translating
Refined Logic Programs to Mercury. In
Michael Oudshoorn, ed.,
Proc. of the Twenty-Fifth Australasian Computer Science Conference (ACSC2002),
Conferences in Research and Practice in Information Technology, vol 4,
pages 33-40, Australian Computer Society, January 2002. (Also appears as SVRC
Technical Report 01-32).
-
David Hemer, Robert Colvin, Ian Hayes and Paul Strooper.
Refining Logic Programs in the Large.
SVRC Technical Report 02-33, Software Verification Research Centre,
The University of Queensland, Australia, September 2002.
- D. Hemer, I. Hayes and P. Strooper.
Refinement Calculus for Logic
Programming in Isabelle/HOL. In R. J. Boulton and P. B. Jackson, editors,
Theorem Proving in Higher Order Logics, 14th International Conference, TPHOLs 2001, Lecture Notes in Computer Science, vol 2152, pages 249-264,
September 2001. Springer Verlag. (Also appears as SVRC
Technical Report 01-08).
- D. Hemer and P. Lindsay. Specification-based Retrieval Strategies
for Module Reuse. In D. Grant and L. Stirling, editors,
Proceedings
of 2001 Australian Software Engineering Conference (ASWEC'2001), pages
235-243, 27-28 August 2001, IEEE Computer Society. (Also appears as SVRC
Techical Report 01-25).
- D. Hemer. A Unified Approach to Adapting and Retrieving Formally Specified
Components for Reuse.
Department of Computer Science and Electrical Engineering. University
of Queensland. April 2000.
(PDF file)
-
David Hemer, Building Tool Support for Refinement Calculus for Logic
Programming: A Comparison of Interactive Theorem Provers, Technical
report 00-06, Software Verification Research Centre, School of Information
Technology, The University of Queensland, Brisbane 4072, Australia, March
2000.
- D. Hemer. An
algorithm for pattern-matching mathematical expressions. In L Groves
and S Reeves, editors, Proceedings Formal Methods Pacific (FMP'97),
pages 103-123, July 1997. Springer. Singapore, (Also appears as
Technical
report 97-35
).
- D. Hemer and P. Lindsay. Reuse
of verified design templates through extended pattern matching. In
Fitzgerald, Jones and Lucas, editors, Proceedings Formal Methods Europe
(FME'97), pages 495-514, September 1997. Springer Verlag. Berlin, Germany,
(Also appears as
Technical
report 97-03
).
- P. Lindsay and D. Hemer. Using
CARE to construct verified software. In M. G. Hinchey and S. Liu, editors,
Proceedings
1st International Conference on Formal Engineering Methods (ICFEM'97),
pages 122-131, November 1997. IEEE Computer Society Press. Los Alamitos,
California, USA, (Also appears as
Technical
report 97-40
).
1996
- D. Hemer and P. Lindsay. The CARE toolset for developing verified
programs from formal specifications, O. Frieder and J. Wigglesworth, editors,
Proceedings
of the Fourth IEEE International Symposium on Assessment of Software Tools,
pages 24-35, IEEE Computer Society Press, May 1996. (Also appears as SVRC
Technical Report 95-52.)
- P. Lindsay and D. Hemer.
An Industrial-Strength Method for the Construction
of Formally Verified Software, Paul A. Bailes, editor,
Proceedings of
1996 Australian Software Engineering Conference (ASWEC'96), pages 27-36,
IEEE Computer Society Press, July 1996. (Also appears as SVRC
Technical Report 96-13.)
1995
- D. Hemer and P. A. Lindsay, Formal specification of Proof Obligation
Generation in CARE, Technical
report 95-13, Software Verification Research Centre, School of Information
Technology, The University of Queensland, Brisbane 4072. Australia, December
1995. pdf.
- David Hemer, Concrete syntax for the Care fragment language,
Technical
report 95-14, Software Verification Research Centre, School of Information
Technology, The University of Queensland, Brisbane 4072. Australia, June
1995.pdf.
- Peter Lindsay, David Hemer, Rex Matthews, Keith Harwood, Thies Arens,
Frances Collis and Trudy Weibel, Using CARE to construct verified software
in industry, Technical
report 95-31, Software Verification Research Centre, School of Information
Technology, The University of Queensland, Brisbane 4072. Australia, December
1995.pdf.
- D. Hemer and P. A. Lindsay, Formal specification of an Abstract Syntax
for the CARE Language, Technical
report 95-44, Software Verification Research Centre, School of Information
Technology, The University of Queensland, Brisbane 4072. Australia, October
1995.pdf.
1993
- David Hemer, Peter Lindsay and Rex Matthews, Formal Specification
of an Abstract Syntax for Fragments, Technical
report 93-09, Software Verification Research Centre, School of Information
Technology, The University of Queensland, Brisbane 4072. Australia, November
1993.pdf.
|
|
