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