Title of article :
Automated rapid prototyping of TUG specifications using Prolog
Author/Authors :
Chia-Chu Chiang، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2004
Pages :
17
From page :
857
To page :
873
Keywords :
Software transformation , Rapid prototyping , TUG , Formality , Formal specification language
Journal title :
Information and Software Technology
Serial Year :
2004
Journal title :
Information and Software Technology
Record number :
135083
Link To Document :
بازگشت