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