A formal approach to component adaptation and composition

Conferences in Research and Practice in Information Technology Series

Volumn 38, Issue , 2005, Pages 259-266

  Hemer, David ^a  

^a UNIVERSITY OF ADELAIDE   (Australia)

Author keywords

Component adaptation; Component based software engineering; Retrieval; Specification matching

Indexed keywords

COMPONENT ADAPTATION; COMPONENT INTERFACES; COMPONENT-BASED SOFTWARE ENGINEERING; FORMAL APPROACH; FORMAL NOTATIONS; INTERFACE SPECIFICATION; MATCHING TECHNIQUES; PROBLEM SPECIFICATION; PROGRAM COMPONENTS; RETRIEVAL; RETRIEVAL STRATEGIES; RETRIEVAL TECHNIQUES; SEMI-AUTOMATED; SPECIFICATION MATCHING;

COMPUTER SOFTWARE REUSABILITY; SEMANTICS; SOFTWARE ENGINEERING;

SPECIFICATIONS;

EID: 33646570816     PISSN: 14451336     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Bosch, J. (1999), 'Superimposition : A component adaptation technique', Information and Software Technology 4(5), 249-305.
2. Bracciali, A., Bragi, A. & Canal, C. (2002), Adapting components with mismatching behaviours, in J. Bishop, ed., 'Proceedings of CD'2002', Vol. 2370 of LNCS, Springer Verlag, pp. 185-199.
3. Breymann, U. (2000), Designing Components with the C++STL, Addison-Wesley.
4. Gordon, M. J., Milner, A. J. & Wadsworth, C. P. (1979), Edinburgh LCF : A Mechanised Logic of Computation, Vol. 78 of Lecture Notes in Computer Science, Springer-Verlag.
5. Hemer, D. & Lindsay, P. (2002), Supporting component-based reuse in CARE, in M. Oudshoorn, ed., 'Proceedings of the Twenty-Fifth Australasian Computer Science Conference', Vol. 4 of Conferences in Research and Practice in Information Technology, Australian Computer Society Inc., pp. 95-104.
6. Hemer, D. & Lindsay, P. (2004), 'Template-based construction of formally verified software', IEE Proceedings Software. Accepted for publication.
7. Jeng, J.-J. & Cheng, B. (1995), Specification matching for software reuse: A foundation, in 'Proceedings of ACM Symposium on Software Reuse', pp. 97-105.
8. Konstantas, D. (1993), Object oriented interoperability, in O. M. Nierstrasz, ed., 'Proceedings of ECOOP'93', Vol. 707 of LNCS, Springer Verlag, pp. 80-102.
9. Lindsay, P. & Hemer, D. (1996), An industrialstrength method for the construction of formally verified software, in 'Proceedings of ASWEC'96', IEEE Computer Society Press, pp. 26-37.
10. Lindsay, P. & Hemer, D. (1997), Using CARE to construct verified software, in M. Hinchey & S. Liu, eds, 'Proceedings of ICFEM'97', IEEE Computer Society Press, pp. 122-131.
11. McIlroy, M. (1969), 'Mass produced software components', Software Engineering Concepts and Techniques pp. 88-98.
12. Morel, B. & Alexander, P. (2003), A slicing approach for parallel component adaptation, in 'Proceedings of ECBS'03', IEEE Computer Society, pp. 108-114.
13. Nipkow, T., Paulson, L. C. & Wenzel, M. (2002), Isabelle/ HOL A Proof Assistant for Higher-Order Logic, number 2283 in 'LNCS', Springer.
14. Penix, J. & Alexander, P. (1997), Toward automated component adaptation, in 'Proceedings of the Ninth International Conference on Software Engineering and Knowledge Engineering', pp. 535- 542.
15. Perry, D. & Popovich, S. (1993), Inquire: Predicatebased use and reuse, in 'Proceedings of the 8th Knowledge-Based Software Engineering Conference', pp. 144-151.
16. Rittri, M. (1989), Using types as search keys in function libraries, in 'Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture', ACM Press, pp. 174-183.
17. Rollins, E. & Wing, J. (1991), Specifications as search keys for software libraries, in K. Furukawa, ed., 'Eighth International Conference on Logic Programming', MIT Press, pp. 173-187. (Pubitemid 23592812)
18. Runciman, C. & Toyn, I. (1989), Retrieving re-usable software components by polymorphic type, in 'Proceedings of the Fourth International Conference on Functional Programming and Computer Architecture', ACM Press, pp. 166-173.
19. Schumann, J. & Fischer, B. (1997), NORA/HAMMR: Making deduction-based software component retrieval practical, in 'Proceedins of ASE'97', IEEE Computer Society, pp. 246-254.
20. Smith, D. (1990), 'KIDS: a semiautomatic program development system', IEEE Transactions on Software Engineering 16(9), 1024-1043.
21. Spivey, J. (1989), The Z Notation: a Reference Manual, Prentice-Hall, New York.
22. Zaremski, A. M. & Wing, J. (1997), 'Specification matching of software components', ACM Transactions on Software Engineering 6(4), 333-369. (Pubitemid 127459820)