Spesifikasi formal dengan bahasa spesifikasi Z untuk aplikasi perpustakaan FMIPA Universitas Diponegoro

Prasetya , Tomi Yoga (2001) Spesifikasi formal dengan bahasa spesifikasi Z untuk aplikasi perpustakaan FMIPA Universitas Diponegoro. Undergraduate thesis, FMIPA UNDIP.

[img]PDF
Restricted to Repository staff only

2455Kb
[img]
Preview
PDF
19Kb
[img]
Preview
PDF
217Kb
[img]
Preview
PDF
348Kb
[img]
Preview
PDF
264Kb
[img]
Preview
PDF
578Kb
[img]PDF
Restricted to Repository staff only

1524Kb
[img]
Preview
PDF
213Kb
[img]
Preview
PDF
229Kb

Abstract

Spesifikasi perangkat lunak bermula dari pernyataan-pernyataan persyaratan berbahasa natural yang memuat obyek dan kelakuan sistem. Penggunaan bahasa natural dalam penulisan spesifikasi kerap menyebabkan spesifikasi menjadi tidak jelas dan tidak ringkas. Diperlukan suatu cara penulisan lain yang berisi notasi dan aturan-aturan khusus yang dapat menutupi kelemahan┬Čkelemahan bahasa natural sehingga spesifikasi yang dibuat dapat mernpunyai kualitas yang lebih baik. Kualitas yang lebih baik ini dapat dipenuhi dengan spesifikasi formal. Dalam tugas akhir ini, spesifikasi formal akan diterapkan dengan menggunakan bahasa spesifikasi Z untuk pemyataan-pernyataan persyaratan perpustakaan FMIPA Universitas Diponegoro. Penerapan spesifikasi formal dengan notasi dan aturan khusus yang berdasar pada notasi matematik ini, akan menggambarkan obyek dan operasi yang ada pada perpustakaan FMIPA Universitas Diponegoro secara jelas dan ringkas, serta memberikan ketepatan dan ketidakbiasan makna. vi

Item Type:Thesis (Undergraduate)
Subjects:Q Science > QA Mathematics
Divisions:Faculty of Science and Mathematics > Department of Mathematics
ID Code:31836
Deposited By:Mr UPT Perpus 1
Deposited On:25 Nov 2011 10:36
Last Modified:25 Nov 2011 10:36

Repository Staff Only: item control page