• 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