On methods for safe introduction of operations

Paulo A. S. Veloso، نويسنده , , Sheila R. M. Veloso، نويسنده ,

دوهفته نامه با شماره پیاپی سال 1997

8

231

238

Fonnal specifications , Logical specifications , Introduction of new operations , Abstract data types , Stepwise refinement , Software engineering , Theory of computation , Reductions , Conservativeness , Softwaredevelopment

Information Processing Letters

1997

Information Processing Letters

128793