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/1/1722-3255-1-SM.pdf |
| _version_ | 1848811095298408448 |
|---|---|
| author | Rozilawati Razali, Garratt, Paul |
| author_facet | Rozilawati Razali, Garratt, Paul |
| author_sort | Rozilawati Razali, |
| building | UKM Institutional Repository |
| collection | Online Access |
| description | 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 instrumen sokongan, alatan pengesahbetulan seharusnya berupaya mengatasi kekangan ini. Kajian ini mempersembah satu kaji selidik yang dilaksana ke atas dua contoh alatan pengesahbetulan yang menyokong tatatanda formal iaitu ProB dan B-Toolkit. Kaji selidik ini bertujuan mengenal pasti ciri kebolehgunaan yang perlu ada pada sesuatu alatan pengesahbetulan. Kaji selidik ini mengguna rangka kerja Cognitive Dimensions of Notations (CD) dan beberapa kriteria yang dicadang oleh piawaian International Organization for Standardization (ISO) sebagai instrumen kajian. Enam puluh tiga peserta memberi maklum balas terhadap kajian ini. Data dianalisis mengguna pendekatan Grounded Theory. Analisis ini memboleh pengenalpastian ciri abstrak dan sifat yang membentuk garis panduan bagi mereka bentuk alatan pengesahbetulan yang berguna. Garis panduan ini meliputi tiga kategori ciri utama iaitu Antara muka, Utiliti dan Pengurusan Sumber. Ciri tersebut diperinci dengan penyataan sifat dan dimensi khusus pelaksanaannya. Garis panduan ini boleh diguna sebagai rujukan oleh pereka bagi mereka bentuk alatan pengesahbetulan yang menggalak penggunaan tatatanda formal. |
| first_indexed | 2025-11-14T23:40:57Z |
| format | Article |
| id | oai:generic.eprints.org:6264 |
| institution | Universiti Kebangasaan Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T23:40:57Z |
| publishDate | 2012 |
| publisher | Penerbit Universiti Kebangsaan Malaysia |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | oai:generic.eprints.org:62642016-12-14T06:40:40Z http://journalarticle.ukm.my/6264/ Keperluan kebolehgunaan alatan pengesahbetulan formal Rozilawati Razali, Garratt, Paul 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 instrumen sokongan, alatan pengesahbetulan seharusnya berupaya mengatasi kekangan ini. Kajian ini mempersembah satu kaji selidik yang dilaksana ke atas dua contoh alatan pengesahbetulan yang menyokong tatatanda formal iaitu ProB dan B-Toolkit. Kaji selidik ini bertujuan mengenal pasti ciri kebolehgunaan yang perlu ada pada sesuatu alatan pengesahbetulan. Kaji selidik ini mengguna rangka kerja Cognitive Dimensions of Notations (CD) dan beberapa kriteria yang dicadang oleh piawaian International Organization for Standardization (ISO) sebagai instrumen kajian. Enam puluh tiga peserta memberi maklum balas terhadap kajian ini. Data dianalisis mengguna pendekatan Grounded Theory. Analisis ini memboleh pengenalpastian ciri abstrak dan sifat yang membentuk garis panduan bagi mereka bentuk alatan pengesahbetulan yang berguna. Garis panduan ini meliputi tiga kategori ciri utama iaitu Antara muka, Utiliti dan Pengurusan Sumber. Ciri tersebut diperinci dengan penyataan sifat dan dimensi khusus pelaksanaannya. Garis panduan ini boleh diguna sebagai rujukan oleh pereka bagi mereka bentuk alatan pengesahbetulan yang menggalak penggunaan tatatanda formal. Penerbit Universiti Kebangsaan Malaysia 2012-12 Article PeerReviewed application/pdf en http://journalarticle.ukm.my/6264/1/1722-3255-1-SM.pdf Rozilawati Razali, and Garratt, Paul (2012) Keperluan kebolehgunaan alatan pengesahbetulan formal. Asia-Pacific Journal of Information Technology and Multimedia, 1 (2). pp. 37-52. ISSN 2289-2192 http://www.ftsm.ukm.my/apjitm/ |
| spellingShingle | Rozilawati Razali, Garratt, Paul Keperluan kebolehgunaan alatan pengesahbetulan formal |
| title | Keperluan kebolehgunaan alatan pengesahbetulan formal |
| title_full | Keperluan kebolehgunaan alatan pengesahbetulan formal |
| title_fullStr | Keperluan kebolehgunaan alatan pengesahbetulan formal |
| title_full_unstemmed | Keperluan kebolehgunaan alatan pengesahbetulan formal |
| title_short | Keperluan kebolehgunaan alatan pengesahbetulan formal |
| title_sort | keperluan kebolehgunaan alatan pengesahbetulan formal |
| url | http://journalarticle.ukm.my/6264/ http://journalarticle.ukm.my/6264/ http://journalarticle.ukm.my/6264/1/1722-3255-1-SM.pdf |