Contextual matching of software library components

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2002-January, Issue , 2002, Pages 297-306

  Fidge, C J ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

Assembly; Computer languages; Programming environments; Programming profession; Software engineering; Software libraries

Indexed keywords

ASSEMBLY; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; PROFESSIONAL ASPECTS;

AUTOMATED PROGRAMMING; CONTEXT-BASED; PROGRAMMING ENVIRONMENT; PROGRAMMING PROFESSION; REFINEMENT THEORY; SOFTWARE LIBRARIES;

SOFTWARE ENGINEERING;

EID: 35248834992     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2002.1182999     Document Type: Conference Paper

References (20)

1. R.-J. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer-Verlag, 1998.
2. R.-J. R. Back. Refinement calculus, lattices and higher order logic. Technical Report Caltech-CS-TR-92-22, California Institute of Technology, 1992.
3. R.-J. R. Back and J. von Wright. Refinement calculus, part I: Sequential nondeterministic programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (REX Workshop 1989), volume 430 of Lecture Notes in Computer Science, pages 42-66. Springer-Verlag, 1989.
4. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
5. E. W. Dijkstra and C. S. Scholten. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.
6. S. Dunne. Private communication. School of Computing and Mathematics, The University of Teesside, United Kingdom, Aug. 2002.
7. C. J. Fidge. Compilation of specifications. In Proceedings of the Eighth Asia-Pacific Software Engineering Conference (APSEC 2001), pages 355-362. IEEE Computer Society Press, Dec. 2001.
8. D. Hemer and P. Lindsay. Specification-based retrieval strategies for module reuse. In D. Grant and L. Stirling, editors, Proceedings of the Australian Software Engineering Conference (ASWEC'01), pages 235-243. IEEE Computer Society Press, Aug. 2001.
9. D. Hemer and P. Lindsay. Supporting component-based reuse in CARE. In M. Oudshoorn, editor, Proceedings of the Twenty-Fifth Australasian Computer Science Conference (ACSC 2002), volume 4 of Conferences in Research and Practice in Information Technology, pages 95-104. Australian Computer Society, 2002.
10. W. H. Hesselink. Programs, Recursion and Unbounded Choice: Predicate- Transformation Semantics and Transformation Rules, volume 27 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
11. P. Lindsay and D. Hemer. Using CARE to construct verified software. In M. G. Hinchey and S. Liu, editors, Proceedings of the 1st International Conference on Formal Engineering Methods (ICFEM'97), pages 122-131. IEEE Computer Society, 1997.
12. Z. Manna and R. Waldinger. Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 18(8):674-704, Aug. 1992.
13. C. Morgan. Programming from Specifications. Prentice-Hall, 1990.
14. C. Morgan and K. Robinson. Specification statements and refinement. IBM Journal of Research and Development, 31(5):546-555, Sept. 1987.
15. R. Nickson and I. J. Hayes. Supporting contexts in program refinement. Science of Computer Programming, 29(3):279-302, 1997.
16. D. R. Smith and C. Green. Toward practical applications of software synthesis. In Proceedings of FMSP'96, The First Workshop on Formal Methods in Software Practice, pages 31-39, Jan. 1996.
17. L. Wildman, C. J. Fidge, and D. A. Carrington. Computer-aided development of a real-time program. Software - Concepts & Tools, 19(4):190-202, Aug. 2000.
18. K. Williamson, M. Healy, and R. Barker. Industrial applications of software synthesis via category theory - case studies using Specware. Automated Software Engineering, 8(1):7-30, Jan. 2001.
19. A. Zaremski and J. Wing. Signature matching: A tool for using software libraries. ACM Transactions on Software Engineering and Methodology, 4(2):146-170, Apr. 1995.
20. A. Zaremski and J. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, 6(4):333-369, Oct. 1997.