Keperluan kebolehgunaan alatan pengesahbetulan formal
Tatatanda formal mengguna simbol dan interpretasi matematik bagi menggambar unsur sistem. Formaliti yang dikenakan oleh tatatanda tersebut memboleh ketepatan dan ketekalan model sistem disah oleh alatan pengesahbetulan. Namun, tatatanda formal secara umum adalah sukar difahami dan diguna. Sebagai in...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Penerbit Universiti Kebangsaan Malaysia
2012
|
| Online Access: | http://journalarticle.ukm.my/6264/ http://journalarticle.ukm.my/6264/ http://journalarticle.ukm.my/6264/1/1722-3255-1-SM.pdf |