Title of article :
On pushout consistency, modularity and interpolation for logical specifications
Author/Authors :
Paulo A. S. Veloso، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
Pages :
8
From page :
59
To page :
66
Keywords :
Software engineering , Formal specifications , Data types , Interpretations , Extensions , Consistency , modularity , interpolation , Internalization , Pushout , CoequaIizer , Theory of computation
Journal title :
Information Processing Letters
Serial Year :
1996
Journal title :
Information Processing Letters
Record number :
128567
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=128567
