Recent CARE papers
- David Hemer & Peter
Lindsay, Supporting component-based reuse in CARE,
in: Michael Oudshoorn, ed., Proc 25th Australasian Computer Science Conference
(ACSC 2002), Melbourne,
Australia,
Conferences in Research and Practice in Information Technology, Vol. 4,
Australian Computer Society, 2002, 95-104.
See: SVRC Technical Report 01-26.
- David Hemer & Peter
Lindsay, Specification-based retrieval strategies for module reuse, in
Proc Aust Software Eng Conference (ASWEC 2001), IEEE Computer Society
Press 2001, 235-243.
Best Paper Award ASWEC 2001 See: SVRC
Technical Report 01-25.
- Lindsay, P.A., and Hemer,
D., Using CARE to construct verified software,
in: Proc. 1st Int Conf
on Formal Eng Methods (ICFEM'97), Hiroshima, Japan,
IEEE Computer Society Press, 1997, pages 122-131.
See: SVRC Technical Report 97-40.
- Hemer, D., and Lindsay,
P.A., Reuse of verified design components through extended pattern
matching,
in: Proc. Formal Methods Europe
(FME'97), Springer Verlag, 1997, pages 495-514.
See: SVRC Technical Report 97-03,
January 1997.
- Lindsay, P.A., and Hemer,
D., A template-based approach to construction of verified software,
SVRC Technical Report 96-23.
- Hemer, D., and Lindsay,
P.A., The CARE toolset for developing verified programs from formal
specifications,
in: O. Frieder and J. Wigglesworth (eds), Proc 4th
IEEE International Symposium on Assessment of Software Tools (SAST'96),
Toronto, Canada, May 1996, pages 24-35.
See: SVRC
Technical Report 95-52.
- Lindsay, P.A., and Hemer,
D., An industrial-strength method for the construction of formally
verified software,
in: Proc 9th Australian Software Engineering Conference (ASWEC'96),
Melbourne,
July 1996, IEEE Computer Society Press, pages 26-37.
See: SVRC Technical Report 96-13.
- Lindsay, P., The Data
Logger case study in CARE,
in: Proc 5th Australasian Refinement Workshop (ARW-96), Brisbane, April
1996.
See: SVRC Technical Report 95-10
- Lindsay, P., The CARE
method of verified software development,
SVRC Technical Report 95-9