مرکز منطقه ای اطلاع رساني علوم و فناوري - Action systems in incremental and aspect-oriented modeling

Title of article :

Action systems in incremental and aspect-oriented modeling

Author/Authors :

R. Kurki-Suonio ، نويسنده ,

Issue Information :

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

Pages :

From page :

201

To page :

217

Keywords :

Action systems – Aspects – Formal specification– Incremental modeling – Superposition – TLA

Journal title :

DISTRIBUTED COMPUTING

Serial Year :

2003

Journal title :

DISTRIBUTED COMPUTING

Record number :

297764

Link To Document :