Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof
Suatu masalah yang sering dihadapi oleh pengurus pembangunan projekperisian ialah tentang anggaran kos bagi membangunkan perisian tersebut. Kertas ini mencadangkan suatu kaedah untuk menganggar kos berasaskan spesifikasi formal Z. Bagi membolehkan kaedah ini digunakan, satu teknik untuk membuat angg...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Fakulti Teknologi Maklumat dan Sains Kuantitatif
2001
|
| Subjects: | |
| Online Access: | https://ir.uitm.edu.my/id/eprint/11637/ |
| _version_ | 1848803031362043904 |
|---|---|
| author | Mohd Zin, Abdullah Mohamad Shah, Maridah Md Yusof, Abd Malik |
| author_facet | Mohd Zin, Abdullah Mohamad Shah, Maridah Md Yusof, Abd Malik |
| author_sort | Mohd Zin, Abdullah |
| building | UiTM Institutional Repository |
| collection | Online Access |
| description | Suatu masalah yang sering dihadapi oleh pengurus pembangunan projekperisian ialah tentang anggaran kos bagi membangunkan perisian tersebut. Kertas ini mencadangkan suatu kaedah untuk menganggar kos berasaskan spesifikasi formal Z. Bagi membolehkan kaedah ini digunakan, satu teknik untuk membuat anggaran bilangan baris kod yang dihasilkan oleh suatu perisian telah dikemukakan. Daripada
bilangan baris kod ini, anggaran kos dapat dilakukan dengan menggunakan teknik sedia ada, seperti COCOMO. Bagi menunjukkan keberkesanan teknik ini, lima kajian kes telah dilakukan. Kajian kes tersebut menunjukkan bahawa teknik yang dicadangkan ini memberikan hasilyang memberansangkan. |
| first_indexed | 2025-11-14T21:32:47Z |
| format | Article |
| id | uitm-11637 |
| institution | Universiti Teknologi MARA |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T21:32:47Z |
| publishDate | 2001 |
| publisher | Fakulti Teknologi Maklumat dan Sains Kuantitatif |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | uitm-116372016-09-26T03:33:30Z https://ir.uitm.edu.my/id/eprint/11637/ Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof Mohd Zin, Abdullah Mohamad Shah, Maridah Md Yusof, Abd Malik Electronic Computers. Computer Science Suatu masalah yang sering dihadapi oleh pengurus pembangunan projekperisian ialah tentang anggaran kos bagi membangunkan perisian tersebut. Kertas ini mencadangkan suatu kaedah untuk menganggar kos berasaskan spesifikasi formal Z. Bagi membolehkan kaedah ini digunakan, satu teknik untuk membuat anggaran bilangan baris kod yang dihasilkan oleh suatu perisian telah dikemukakan. Daripada bilangan baris kod ini, anggaran kos dapat dilakukan dengan menggunakan teknik sedia ada, seperti COCOMO. Bagi menunjukkan keberkesanan teknik ini, lima kajian kes telah dilakukan. Kajian kes tersebut menunjukkan bahawa teknik yang dicadangkan ini memberikan hasilyang memberansangkan. Fakulti Teknologi Maklumat dan Sains Kuantitatif 2001 Article PeerReviewed text en https://ir.uitm.edu.my/id/eprint/11637/1/AJ_ABDULLAH%20MOHD%20ZIN%20JTMSK%2001%201.pdf Mohd Zin, Abdullah and Mohamad Shah, Maridah and Md Yusof, Abd Malik (2001) Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof. (2001) Jurnal Teknologi Maklumat dan Sains Kuantitatif <https://ir.uitm.edu.my/view/publication/Jurnal_Teknologi_Maklumat_dan_Sains_Kuantitatif.html>, 3 (1). pp. 75-85. ISSN 1823-0822 |
| spellingShingle | Electronic Computers. Computer Science Mohd Zin, Abdullah Mohamad Shah, Maridah Md Yusof, Abd Malik Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof |
| title | Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof |
| title_full | Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof |
| title_fullStr | Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof |
| title_full_unstemmed | Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof |
| title_short | Suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / Abdullah Mohd Zin, Maridah Mohamad Shah and Abd Malik Md Yusof |
| title_sort | suatu kaedah menganggar kos perisian berasaskan spesifikasi formal / abdullah mohd zin, maridah mohamad shah and abd malik md yusof |
| topic | Electronic Computers. Computer Science |
| url | https://ir.uitm.edu.my/id/eprint/11637/ |