Abstract
Software reusability has two main purposes: to increase the reliability of software and to reduce the cost of software development. Most current approaches to object-oriented reusability are based on empirical methods focussing on reuse of implementation code. However the most effective forms of reuse are generally found at more abstract levels of software design. A model for the definition of the structure of a reusable component allowing descriptions of object class hierarchies at different levels of abstraction is presented. This model integrates algebraic specification and concrete classes in an object-oriented language. An object-oriented programming method with reuse, based on the model, is described. Our approach reconciles formal specifications with their concrete implementations.
Chapter PDF
Similar content being viewed by others
References
Biggerstaff, T. and Perlis, A., Eds (1989). Software Reusability Volume 1: Concepts and Models. ACM Press.
Carbajo, M., Diez, G. and Palomeque, C. (1997) Undergraduate Thesis, Departamento de Computación, Universidad Nacional del Centro de la Pcia. de Buenos Aires, Argentina.
Clerici, S. and Orejas, F. (1990). The Specification Language GSBL. Recent Trends in Data Type Specification.
Clerici, S. (1989). Ph.D. Thesis, LSI Department. Universidad Politécnica de Catalunya, Espana.
Favre, L., Diez, G., Carbajo, M. and Palomeque, C. (1997). Object-oriented Software Reusability: A Rigorous Method, in Proceedings SEKE′97, Knowledge System Institute, USA.
Favre, L. (1997). Formal Methods and Object-oriented Reusability, Research Report 35, Isistan, UNCPBA, Argentina.
Hennicker, R. and Wirsing, M. (1992). A Formal Method for the Systematic Reuse of Specification Components in Lecture Notes in Computer Science 544, Springer-Verlag.
Meyer, B. (1997). Object-oriented Construction. Prentice Hall.
Meyer, B. (1992). Eiffel The Language. Prentice Hall.
Wirsing, M. (1995). Algebraic Specification Languages: An Overview in Lecture Notes in Computer Science 906 (eds. E. Astesiano, G. Reggio and A. Tarlecki) Springer-Verlag, Germany.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP
About this chapter
Cite this chapter
Favre, L.M., Diez, G.M. (1998). Object-oriented software reusability through formal specifications. In: Horspool, R.N. (eds) Systems Implementation 2000. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35350-0_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-35350-0_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2873-5
Online ISBN: 978-0-387-35350-0
eBook Packages: Springer Book Archive