Browse by all authors Browse By Author ID - David George Hemer

Browse Results (13 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Hayes, Ian, Colvin, Robert, Hemer, David, Strooper, Paul and Nickson, Ray (2002) A refinement calculus for logic programs. Theory And Practice of Logic Programming, 2 Part 4-5: 425-460. doi:10.1017/S1471068402001448 67   3 Cited 2 times in Scopus2 0
Hemer, David George (2000). A Unified Approach to Adapting and Retrieving Formally Specified Components for Reuse PhD Thesis, Information Technology and Electrical Engineering, University of Queensland. 114  
Hemer, David (2002). Computer-aided programming using formally specificed design templates. In: P. Strooper and P. Muenchaisri, Proceedings of IEEE: Ninth Asia-Pacific Software Engineering Conference (APSEC 2002). APSEC 2002, Gold Coast, Australia, (307-316). 4-6 December 2002. doi:10.1109/APSEC.2002.1183000 42   0
Colvin, Robert, Groves, Lindsay, Hayes, Ian J., Hemer, David, Nickson, Ray and Strooper, Paul (2004). Developing logic programs from specifications using stepwise refinement. In Maurice Bruynooghe and Kunk-Kiu Lau (Ed.), Program Development in Computational Logic (pp. 66-89) Berlin: Springer Verlag. 112 89 1
Hemer, D. G., Colvin, R., Hayes, I. J. and Strooper, P. A. (2001) Don't care non-determinism in logic program refinement. SRV Techical Report No. 01-27, Software Verification Research Centre, School of Information Technology, The University of Queensland. 60  
Hemer, David, Colvin, Robert, Hayes, Ian and Strooper, Paul (2002). Don't care non-determinism in logic program refinement. In: James Harland, Electronic Notes in Theoretical Computer Science: Proceedings of the Australasian Theory Symposium. CATS'02, Computing: the Australasian Theory Symposium, Amsterdam, Denmark, (101-121). 28 January - 1 February 2002. doi:10.1016/S1571-0661(04)00308-1 92   Cited 1 times in Scopus1 0
Colvin, Robert, Hayes, Ian J., Hemer, David G. and Strooper, Paul A. (2003). Refinement of higher-order logic programs. In: M. Leuschel, Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation. Proceedings of the Twelfth International Workshop. The Twelfth International Symposium on Logic-based Program Synthesis and Transformation, Madrid, Spain, (126-143). 17-20 September 2002. doi:10.1007/3-540-45013-0_11 101 96 1 Cited 1 times in Scopus1 0
Hemer, David and Lindsay, Peter (1999) Specification-based retrieval strategies for module reuse. Technical Report SSE 99-11, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 23 1
Hemer, D. G. and Lindsay, P. A. (2001) Specification-based retrieval strategies for module reuse Brisbane: Software Verification Research Cen. Univ of Qld 31  
Feiks, Frank and Hemer, David (2003). Specification matching of object-oriented components. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods (SEFM'03). First International Conference on Software Engineering and Formal Methods, Brisbane, Australia, (182-190). 22-27 September 2003. doi:10.1109/SEFM.2003.1236220 33   1 0
Hemer, D. G. (2002) Specification matching of state-based modular components Brisbane, Australia: The University of Queensland 33  
Hemer, D. G. and Lindsay, P. A. (2001) Supporting component-based reuse in CARE Brisbane: Software Verification Research Cen. Univ of Qld 27  
Colvin, R., Hayes, I. J., Hemer, D. G. and Strooper, P. A. (2002). Translating refined logic programs to Mercury. In: M. Oudshoorn, Proceedings of the Twenty-Fifth Australasian Computer Science Conference - Computer Science 2002. ACSC 2002, Melbourne, Australia, (33-40). 28 January - 1 February, 2002. 40