Visando o Reuso Formalmente Justificado de Especificações

• João J. C. Gondim UnB

DOI: https://doi.org/10.5753/sbes.1995.24077

Abstract

The traditional approach in software engineering is to reuse whole program modules, focusing on the code. Here, we depart from that approach in two ways: firstly by working on the specification; second, by attempting to reuse modules partially. Thus, a framework based on logic is proposed to address the problem, which is described in those terms. A solution based on software-engineering-sound reuse principles is obtained. This solution avoids some of the disadvantages other approaches experience. It was also possible to establish a link these results with others, related to the implementation process formalization and how to obtain simple formally justified reuse methodologies.

References

H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.

W. M. Turski e T. S. E. Maibaum. The Specification of Computer Programs. Addison-Wesley Pub. Co., 1988.

P. Gärdenfors. Knowledge in Fluz: Modeling the Dynamics of Epistemic States. The MIT Press, 1988.

M. Ryan. Ondered Presentatons of Theories. PhD Thesis, Imperial College of Science Technology and Medicine, 1992.

H. W. Poubel e B. A. S. Veloso. Sobre o Teorema da Modularização: Importância e uma Prova por Quociente, in Anais do VII Simp. Bras. de Engenharia de Software, 1993.