مرکز منطقه ای اطلاع رساني علوم و فناوري - Graphical scenarios for specifying temporal properties: an automated approach

Title of article :

Graphical scenarios for specifying temporal properties: an automated approach

Author/Authors :

M. Autili، نويسنده , , P. Inverardi and P. Pelliccione ، نويسنده ,

Issue Information :

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

Pages :

From page :

293

To page :

340

Keywords :

Scenario based notation · System requirements specification · Temporalproperties specification

Journal title :

Automated Software Engineering

Serial Year :

2007

Journal title :

Automated Software Engineering

Record number :

307179

Link To Document :