مرکز منطقه ای اطلاع رساني علوم و فناوري - A method for module architecture verification and its application on a large component-based system

Title of article :

A method for module architecture verification and its application on a large component-based system

Author/Authors :

André Postma، نويسنده ,

Issue Information :

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

Pages :

From page :

171

To page :

194

Keywords :

Software maintenance , analysis , Testing , and verification , Module architecture verification , Relational algebra , Software architecture

Journal title :

Information and Software Technology

Serial Year :

2002

Journal title :

Information and Software Technology

Record number :

134937

Link To Document :