مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal specification of design pattern combination using BPSL

Title of article :

Formal specification of design pattern combination using BPSL

Author/Authors :

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

Issue Information :

ماهنامه با شماره پیاپی سال 2002

Pages :

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

Link To Document :