Title of article
On methods for safe introduction of operations
Author/Authors
Paulo A. S. Veloso، نويسنده , , Sheila R. M. Veloso، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1997
Pages
8
From page
231
To page
238
Keywords
Fonnal specifications , Logical specifications , Introduction of new operations , Abstract data types , Stepwise refinement , Software engineering , Theory of computation , Reductions , Conservativeness , Softwaredevelopment
Journal title
Information Processing Letters
Serial Year
1997
Journal title
Information Processing Letters
Record number
128793
Link To Document