2012
DOI: 10.11113/jt.v48.225
|View full text |Cite
|
Sign up to set email alerts
|

Mengukur Paras Kesahsahihan Spesifikasi Z Dalam Penilaian Spesifikasi Keperluan Pelajar Melalui Pendekatan Pelaksanaan Bersimbol

Abstract: Kertas ini mengesyorkan kaedah pengukuran paras kesahsahihan spesifikasi formal perisian. Pengesahsahihan dilakukan untuk memastikan spesifikasi menyatakan kelakuan program dengan tepat dan memenuhi keperluan pengguna. Paras kesahsahihan ini ingin diukur khususnya untuk kegunaan guru dalam menilai spesifikasi keperluan yang disediakan oleh pelajar. Pengesahsahihan dilakukan dengan menggunakan teknik pengujian, iaitu spesifikasi yang dihasilkan (oleh pelajar) dilaksanakan secara bersimbol terhadap sejumlah kes … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 20 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?