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: | Mohd Zin, Abdullah, Mohamad Shah, Maridah, Md Yusof, Abd Malik |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Fakulti Teknologi Maklumat dan Sains Kuantitatif
2001
|
| Subjects: | |
| Online Access: | https://ir.uitm.edu.my/id/eprint/11637/ |
Similar Items
Perisian menganggar kos minyak
by: Laupa, Junus
Published: (2011)
by: Laupa, Junus
Published: (2011)
Extrication of biodiesel feedstock from early stage of food waste liquefaction / Maridah Binti Mohd Amin
by: Mohd Amin, Maridah
Published: (2015)
by: Mohd Amin, Maridah
Published: (2015)
Rekabentuk Sistem Ultrasound Berwarna Kos Rendah Berasaskan Komputer.
by: Ngah, Umi Kalthum, et al.
Published: (2003)
by: Ngah, Umi Kalthum, et al.
Published: (2003)
College Student Allocation System / Asmahani Mohd Zin
by: Mohd Zin, Asmahani
Published: (2007)
by: Mohd Zin, Asmahani
Published: (2007)
Borang Pengesahan Spesifikasi Software
by: UNIMAS, CICTS
Published: (2016)
by: UNIMAS, CICTS
Published: (2016)
Kaedah Alternatif Untuk Menganggar Sukatan
Kecenderungan Memusat
by: Mohd Noor, Normazuin
Published: (2007)
by: Mohd Noor, Normazuin
Published: (2007)
Borang Pengesahan Spesifikasi Peralatan ICT
by: UNIMAS, CICTS
Published: (2016)
by: UNIMAS, CICTS
Published: (2016)
E-Grocery system designed for shopping malls / Benz Aliff Malik
by: Malik, Benz Aliff
Published: (2006)
by: Malik, Benz Aliff
Published: (2006)
Alam Sekitar : Jawatankuasa Kabinet tentukan spesifikasi
Published: (2008)
Published: (2008)
Contoh Borang Pengesahan Spesifikasi Peralatan ICT
by: UNIMAS, CICTS
Published: (2016)
by: UNIMAS, CICTS
Published: (2016)
Bernas, UPM Rangka Spesifikasi Mutu Beras
by: Berita Harian,
Published: (2004)
by: Berita Harian,
Published: (2004)
ANALISIS PEKERJAAN MANTAPKAN SPESIFIKASI BIDANG
TUGAS
by: MPRC, Pusat Media & Perhubungan Awam
Published: (2016)
by: MPRC, Pusat Media & Perhubungan Awam
Published: (2016)
CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)
Formalization of ORM revisited
by: Halpin, Terry
Published: (2012)
by: Halpin, Terry
Published: (2012)
Intelligent Tutoring System for Mandarin-English (ITS-4-ME) / Wan Faizah Wan Zin
by: Wan Faizah, Wan Zin
Published: (2003)
by: Wan Faizah, Wan Zin
Published: (2003)
CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES [TEORI AUTOMATA & BAHASA FORMAL] JUN 2016
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2016)
CPT443 – AUTOMATA THEORY & FORMAL LANGUAGES
[TEORI AUTOMATA & BAHASA FORMAL] JUN 2017
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2017)
Pembangunan dan penilaian perisian prototaip MS~GraviS berasaskan kemahiran berfikir secara kritis dalam mekanik
by: Ahamad, Masrah
Published: (2006)
by: Ahamad, Masrah
Published: (2006)
The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)
by: Roslina, Mohd Sidek, et al.
Published: (2011)
Perisian Finger Spelling / Nurul Ashikin Mohammad
by: Nurul Ashikin , Mohammad
Published: (2004)
by: Nurul Ashikin , Mohammad
Published: (2004)
Sistem penyelarasan belanjawan projek pembangunan perisian
by: Ibrahim, Siti Nurkhadijah Aishah
Published: (2006)
by: Ibrahim, Siti Nurkhadijah Aishah
Published: (2006)
Penentuan spesifikasi rekabentuk untuk persekitaran maya pelbagai pengguna
by: Salleh, Fakruridza
Published: (2000)
by: Salleh, Fakruridza
Published: (2000)
Spesifikasi Personaliti Reka Bentuk Skuter Berdasarkan
Citarasa Pengguna
by: Khatijah, Binti Hanapi
Published: (2013)
by: Khatijah, Binti Hanapi
Published: (2013)
Aplikasi skor-Z Altman dalam menganggar kesolvenan pengendali takaful di Malaysia
by: Noor Huzaidah Husin,, et al.
Published: (2017)
by: Noor Huzaidah Husin,, et al.
Published: (2017)
Penggunaan teknik berilium-7 untuk menganggar kadar hakisan tanih jangka pendek
by: Mokhtar Jaafar,, et al.
Published: (2011)
by: Mokhtar Jaafar,, et al.
Published: (2011)
Merekabentuk dan membangunkan perisian alat ukur pengujian psikologi berasaskan teknologi perkhidmatan web: kajian fasa pengujian dan fasa implementasi pembangunan e-kaunseling. (peringkat ii)
by: Syed Yahya, Syed Mohd. Asri, et al.
Published: (2004)
by: Syed Yahya, Syed Mohd. Asri, et al.
Published: (2004)
Formal Specification Language for Vehicular Ad-Hoc Networks
by: Maythem Kamal , Abbas, et al.
Published: (2009)
by: Maythem Kamal , Abbas, et al.
Published: (2009)
EEE430- KEJURUTERAAN PERISIAN - NOVEMBER 2008.
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (2008)
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (2008)
EEE 227 - KEJURUTERAAN PERISIAN APRIL 1994.
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (1994)
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (1994)
EEE 227 - KEJURUTERAAN PERISIAN APRIL 1995.
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (1995)
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (1995)
EEE 430 - KEJURUTERAAN PERISIAN NOVEMBER 2010
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (2010)
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (2010)
Why and how should design patterns be formalized?
by: Taibi,, T, et al.
Published: (2001)
by: Taibi,, T, et al.
Published: (2001)
A lightweight key management framework for secure dynamic group based applications / Salman Iqbal Malik
by: Salman Iqbal , Malik
Published: (2017)
by: Salman Iqbal , Malik
Published: (2017)
Fuzzy agent-based model for learning behavior in formal education
by: Nur Syafikah, Sukri
Published: (2019)
by: Nur Syafikah, Sukri
Published: (2019)
Spesifikasi ruang dalam kata kerja deiktik datang dan pergi
by: Maslida Yusof,, et al.
Published: (2021)
by: Maslida Yusof,, et al.
Published: (2021)
Sistem Pengurusan Inventori Perisian / Tey Su Lin
by: Tey, Su Lin
Published: (2001)
by: Tey, Su Lin
Published: (2001)
CSE301 - KEJURUTERAAN PERISIAN - APR. 1999
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1999)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1999)
CSE301 - Kejuruteraan Perisian November 1995
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1995)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1995)
Formal specification of design pattern combination using BPSL
by: Taibi, T
Published: (2003)
by: Taibi, T
Published: (2003)
Knowledge management portal (software engineering) / Norzamhana Yusof
by: Norzamhana , Yusof
Published: (2005)
by: Norzamhana , Yusof
Published: (2005)
Similar Items
-
Perisian menganggar kos minyak
by: Laupa, Junus
Published: (2011) -
Extrication of biodiesel feedstock from early stage of food waste liquefaction / Maridah Binti Mohd Amin
by: Mohd Amin, Maridah
Published: (2015) -
Rekabentuk Sistem Ultrasound Berwarna Kos Rendah Berasaskan Komputer.
by: Ngah, Umi Kalthum, et al.
Published: (2003) -
College Student Allocation System / Asmahani Mohd Zin
by: Mohd Zin, Asmahani
Published: (2007) -
Borang Pengesahan Spesifikasi Software
by: UNIMAS, CICTS
Published: (2016)