Specification-based retrieval strategies for module reuse

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2001-January, Issue , 2001, Pages 235-243

  Hemer, David ^a   Lindsay, Peter ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Adaptation; Component reuse; Retrieval; Specification matching

Indexed keywords

FORMAL SPECIFICATION; LIBRARIES; SPECIFICATIONS;

ADAPTATION; COARSE-GRAINED; COMPONENT REUSE; GENERIC SOLUTIONS; RETRIEVAL; RETRIEVAL STRATEGIES; REUSABLE COMPONENTS; SPECIFICATION MATCHING;

SOFTWARE ENGINEERING;

EID: 84949221131     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2001.948517     Document Type: Conference Paper

References (21)

1. Isabelle home page, http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html.
2. J.-R. Abrial. The B Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
3. A. W. Brown, editor. Component-Based Software Engineering. IEEE Computer Society, Carnegie Mellon University, Software Engineering Institute, 1996.
4. D. Good. Reusable problem domain theories. Technical Report 31, ICSCA, University of Texas at Austin, 1982.
5. D. Hemer. A Unified Approach to Adapting and Retrieving Formally Specified Components for Reuse. PhD thesis, Department of Computer Science and Electrical Engineering, University of Queensland, April 2000.
6. D. Hemer and P. Lindsay. The Care toolset for developing verified programs from formal specifications. In O. Frieder and J. Wigglesworth, editors, Proceeding of the Fourth International Symposium on Assessment of Software Tools, pages 24-35. IEEE Computer Society Press, May 1996. SVRC TR 95-52.
7. J.-J. Jeng and B. Cheng. Specification matching for software reuse: A foundation. In Proc. of ACM Symposium on Software Reuse, pages 97-105, April 1995.
8. A. Kelley and I. Pohl. A Book on C. Benjamin Qimmins, third edition, 1995.
9. P. Lindsay. A survey of mechanical support for formal reasoning. Software Engineering Journal, 3(1):3-27, January 1988.
10. P. Lindsay and D. Hemer. A template-based approach to construction of verified software. Technical Report 96-23, Software Verification Research Centre, 1996.
11. R. Milner. A theory of type polymorphism in programming. JCSS, 17:348-375, 1978.
12. D. Perry and S. Popovich. Inquire: Predicate-based use and reuse. In Proceedings of the 8th Knowledge-Based Software Engineering Conference, pages 144-151, September 1993.
13. M. Rittri. Using types as search keys in function libraries. In Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture, pages 174-183. ACM Press, 1989.
14. E. Rollins and J. Wing. Specifications as search keys for software libraries. In K. Furukawa, editor, Eighth International Conference on Logic Programming, pages 173-187. MIT Press, 1991.
15. C. Runciman and I. Toyn. Retrieving re-usable software components by polymorphic type. In Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture, pages 166-173. ACM Press, 1989.
16. D. Smith. KIDS: A semiautomatic program development system. IEEE Transactions on Software Engineering, 16(9):1024-1043, September 1990.
17. S. Sokolowski. Applicative High Order Programming. Chapman and Hall, 1991.
18. J. Spivey. The Z Notation: a Reference Manual. Prentice-Hall, New York, 1989.
19. B. Stroustrup. The C++ Programming Language. Addison Wesley, second edition, 1991.
20. A. Zaremski and J. Wing. Signature matching: a tool for using software libraries. ACM Transactions on Software Engineering and Methodology, 4(2):146-170, April 1995.
21. A. M. Zaremski and J. Wing. Specification matching of software components. In Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, 1996.