مرکز منطقه ای اطلاع رساني علوم و فناوري - Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1

Title of article :

Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1

Author/Authors :

Hye Yeon Kim and Frederick T. Sheldon ، نويسنده ,

Issue Information :

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

Pages :

From page :

231

To page :

264

Keywords :

Z , Statecharts , requirements specification and validation , Completeness , Fault-tolerance , Consistency

Journal title :

Software Quality Journal

Serial Year :

2004

Journal title :

Software Quality Journal

Record number :

292825

Link To Document :