On methods for safe introduction of operations

Information Processing Letters

Volumn 64, Issue 5, 1997, Pages 231-238

  Veloso, Paulo A S ^a   Veloso, Sheila R M ^a  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Abstract data types; Conservativeness; Formal specifications; Introduction of new operations; Logical specifications; Reductions; Software development; Software engineering; Stepwise refinement; Theory of computation

Indexed keywords

EID: 0040095794     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0020-0190(97)00161-0     Document Type: Article

References (12)

1. H.B. Enderton, A Mathematical Introduction to Logic, Academic Press, New York, 1972.
2. Z. Manna, The Mathematical Theory of Computation, McGraw-Hill, New York, 1974.
3. T.S.E. Maibaum, P.A.S. Veloso, M.R. Sadler, Logical specification and implementation, in: M. Joseph, R. Shyamasundar, eds., Foundations of Software Technology and Theoretical Computer Science, Springer, Berlin, 1984, pp. 13-30.
4. J.M. Neighbors, The DRACO approach to constructing software from reusable components, IEEE Trans. Software Engineering 10 (5) (1984) 564-574.
5. G. Polya, How to Solve it: A New Aspect of the Mathematical Method, Princeton University Press, Princeton, NJ, 1957.
6. J.R. Shoenfield, Mathematical Logic, Addison-Wesley, Reading, MA, 1967.
7. D.R. Smith, KIDS: A semiautomatic program development system, IEEE Trans. Software Engineering 16 (9) (1990) 1024-1043.
8. D.R. Smith, Constructing specification morphisms, Kestrel Institute, Tech. Rept. KES.U.92.1, Palo Alto, 1992.
9. W.M. Turski, T.S.E. Maibaum, The Specification of Computer Programs, Addison-Wesley, Wokingham, 1987.
10. P.A.S. Veloso, On pushout consistency, modularity and interpolation for logical specifications, Inform. Process. Lett. 60 (2) (1996) 59-66.
11. P.A.S. Veloso and T.S.E. Maibaum, On the Modularization Theorem for logical specifications, Inform. Process. Lett. 53 (5) (1995) 287-293.
12. P.A.S. Veloso and S.R.M. Veloso, Problem decomposition and reduction: Applicability, soundness, completeness, in: R. Trappl, J. Klir, F. Pichler, eds., Progress in Cybernetics and Systems Research, Hemisphere, Washington, DC, 1981, pp. 199-203.