مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

A semantics of sequence diagrams

Author/Authors :

Seung Mo Cho، نويسنده , , Hyung Ho Kim، نويسنده , , Sung Deok Cha، نويسنده , , Doo Hwan Bae، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2002

Pages :

From page :

125

To page :

130

Keywords :

Sequence diagram , Specification languages , Temporal Logic , Formal semantics

Journal title :

Information Processing Letters

Serial Year :

2002

Journal title :

Information Processing Letters

Record number :

129599

Link To Document :