Specification matching of object-oriented components

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003

Volumn , Issue , 2003, Pages 182-190

  Feiks, F ^a   Hemer, D ^b  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORMAL METHODS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

CASE RETRIEVAL; INFORMATION HIDING; LIBRARY COMPONENTS; OBJECT ORIENTATION; OBJECT ORIENTED; SOFTWARE DEVELOPER; SPECIFICATION MATCHING; TRADITIONAL APPROACHES;

FORMAL SPECIFICATION;

INFORMATION RETRIEVAL; SPECIFICATIONS;

EID: 37249071774     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2003.1236220     Document Type: Conference Paper

References (16)

1. R.J.R. Back and J. von Wright. Refinement Calculus: A Systematic Introduction. Springer, 1998.
2. C.J. Fidge. Contextual matching of software library components. In P. Strooper and P. Muenchaisri, editors, Proceedings of Ninth Asia-Pacific Software Engineering Conference (APSEC'2002), pages 307-316. IEEE Computer Society Press, December 2002.
3. A. Goldberg and D. Robson. Smalltalk 80: the Language and its Implementation. Addison-Wesley, 1983.
4. D. Hemer and P. Lindsay. Specification-based retrieval strategies for module reuse. In D. Grant and L. Stirling, editors, Proc. of Australian Software Engineering Conference (ASWEC'2001), pages 235-243. IEEE Computer Society, August 2001.
5. David Hemer. Specification matching of state-based components. Technical Report 02-34, Software Verification Research Centre, The University of Queensland, Australia, 2002.
6. David Hemer and Peter Lindsay. Supporting component-based reuse in CARE. In Michael Oudshoorn, editor, Proceedings of the Twenty-Fifth Australasian Computer Science Conference, volume 4 of Conferences in Research and Practice in Information Technology, pages 95-104. Australian Computer Society Inc., January 2002.
7. J-J. Jeng and B.H.C Cheng. Specification matching for software reuse: A foundation. In Proceedings of ACM Symposium on Software Reuse, pages 97-105, April 1995.
8. K. Melhorn and S. Naher. Leda: A platform for combinatorial and geometric computing. Communications of the ACM, 38(1):96-102, January 1995.
9. Bertrand Meyer. Eiffel: The Language. Prentice Hall, 1992.
10. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, second edition, 1997.
11. John Penix and Perry Alexander. Toward automated component adaptation. In Proceedings of the Ninth International Conference on Software Engineering and Knowledge Engineering, pages 535-542, June 1997.
12. D.E. Perry and S.S. Popovich. Inquire: Predicate-based use and reuse. In Proceedings of the 8th Knowledge-Based Software Engineering Conference, pages 144-151, September 1993.
13. E.J. Rollins and J.M. Wing. Specifications as search keys for software libraries. In K. Furukawa, editor, Eighth International Conference on Logic Programming, pages 173-187. MIT Press, June 1991.
14. H.W. Schmidt and W. Zimmermann. A complexity calculus for object-oriented programs. Journal of Object-Oriented Systems, 1(2):117-147, 1994.
15. G. Smith. The Object-Z Specification Language. Advances in Formal Methods Series. Kluwer Academic Publishers, 2000.
16. A. Moormann Zaremski and J.M. Wing. Specification matching of software components. ACM Transactions on Software Engineering, 6(4):333-369, October 1997.