Title of article :
Automated rapid prototyping of TUG specifications using Prolog
Author/Authors :
Chia-Chu Chiang، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2004
Keywords :
Software transformation , Rapid prototyping , TUG , Formality , Formal specification language
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology