• Title of article

    Formal specification of design pattern combination using BPSL

  • Author/Authors

    Toufik Taibi، نويسنده , , David Chek Ling Ngo، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2002
  • Pages
    14
  • From page
    157
  • To page
    170
  • Keywords
    Balanced Pattern Specification Language , Structural aspect , Behavioral aspect , First Order Logic substitutions , Behavioral dominance
  • Journal title
    Information and Software Technology
  • Serial Year
    2002
  • Journal title
    Information and Software Technology
  • Record number

    134936