مرکز منطقه ای اطلاع رساني علوم و فناوري - Applying formal description techniques to software architectural design

Title of article :

Applying formal description techniques to software architectural design

Author/Authors :

J. J. Li، نويسنده , , J. R. Horgan، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2000

Pages :

From page :

1169

To page :

1178

Keywords :

Communicating extended finite state machine , Specification and descriptionlanguage , Formal description technique , Software architecture , Workflow

Journal title :

Computer Communications

Serial Year :

2000

Journal title :

Computer Communications

Record number :

309217

Link To Document :