مرکز منطقه ای اطلاع رساني علوم و فناوري - An approach to formal automated analysis of problem-frame concerns

Title of article :

An approach to formal automated analysis of problem-frame concerns

Author/Authors :

Maria Augusta Nelson، نويسنده , , Torsten Nelson، نويسنده , , Paulo Alencar، نويسنده , , Don Cowan، نويسنده ,

Issue Information :

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

Pages :

From page :

913

To page :

927

Keywords :

Formal analysis , Concerns , Alloy , COMPOSITION , Problem frames

Journal title :

Information and Software Technology

Serial Year :

2005

Journal title :

Information and Software Technology

Record number :

135162

Link To Document :