Generalization for component reuse

Proceedings of the Annual Southeast Conference

Volumn , Issue , 2004, Pages 134-139

  Sadaoui, Samira ^a   Yin, Pengzhou ^a  

^a UNIVERSITY OF REGINA   (Canada)

Author keywords

Algebraic specifications; Generalization; Reusable component

Indexed keywords

ALGEBRAIC SPECIFICATIONS; CODE REUSE; COMPONENT REUSE; FORMAL SEMANTICS; FORMAL SPECIFICATION; GENERALIZATION ALGORITHMS; GENERIC COMPONENTS; LEVEL OF ABSTRACTION; PARAMETERIZING; REUSABLE COMPONENTS; SOFTWARE CRISIS;

ABSTRACTING; ALGEBRA; FORMAL METHODS; REUSABILITY; SEMANTICS; SPECIFICATIONS;

COMPUTER SOFTWARE REUSABILITY;

EID: 67651242875     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/986537.986569     Document Type: Conference Paper

References (18)

1. D. Batory and S. O. Malley. The design and implementation of hierarchical software systems with reusable components. In ACM Transactions on Software Engineering and Methodology.
2. P. S. Chen, R. Hennicker, and M. Jarke. On the retrieval of reusable software components. Technical report, Aachen, 1993.
3. Y. Chen and B. H. C. Cheng. Formalizing and automating component reuse. In TCTAI, pages 94-101, 1997.
4. E. ESTEVEZ and P. FILLOTTRANI. Algebraic specifications and refinement for component-based development using raise, October 2002.
5. J. Gibson. Formal object oriented development of software systems using lotos. Thesis, 1993.
6. H. Ehrig, B. Mahr. Fundamental of Algebraic Specication 1: Equations and Initial Semantics. EATCS Monograph on Theoretical Computer Science, volume 6. Springer-Verlag, 1985.
7. G. T. Heineman and W. T. Council. Component-based software engineering: Putting the pieces together. Addison-Wesley, 2001.
8. R. Hinze. Polytypic values possess polykinded types. In Science of Computer Programming, volume 43(2-3), pages 129-159, 2002.
9. J.-J. Jeng and B. H. C. Cheng. Using formal methods to construct a software component library. In Proc. Fourth European Software Engineering Conference, pages 397-417, Springer-Verlag, 1993.
10. J.-J. Jeng and B. H. C. Cheng. A formal approach to reusing more general components. In Knowledge-Based Soft. Eng. Conf, pages 90-97, 1994.
11. C. Krueger. Software reuse. In ACM Computing Surveys, June 1972.
12. J. A. Manas. A Tutorial on ADT semantics for LOTOS users Part I: Fundmanetal Concepts. Nov, 1988.
13. A. M. Moreira. La généralisation: un outil pour la réutilisation. In PhD thesis, INPG, Grenoble, France, 1995.
14. A. M. Moreira. Proof preservation in component generalization. In World Congress on Formal Methods 1999: 1866,Toulouse, France, volume 2, 1999.
15. A. M. Moreira and C. Ringeissen. Generalizing CASL specification components and preserving rewrite proofs. In Technical Report, INRIA, 2003.
16. S. Sadaoui. Assistance in the generalization of algebraic specifications. In Proc. of International Conference on Applied Informatics, Software Engineering, IASTED, Austria, February 18-21, 2002.
17. I. Sommerville and M. Ramachandran. Reuse assessment. In First International Workshop on Software Reuse, Dortmund, Germany, July 1991.
18. A. van Lamsweerde. Formal specification: a roadmap. In Proc. of Conference on the Future of Software Engmneering, Limerick Ireland, pages 147-159, 2000.