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
48
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