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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Penerbit Universiti Kebangsaan Malaysia
2012
|
| Online Access: | http://journalarticle.ukm.my/6264/1/1722-3255-1-SM.pdf http://journalarticle.ukm.my/6264/ http://www.ftsm.ukm.my/apjitm/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Kebangsaan Malaysia |
| Language: | English |