Spesifikast Formal Bagi Keperluan Sistem Pengurusan Inventori Teragihm Lkpp Corporation Sdn. Bhd. Menggunakan Teknik Z

ABDUL HALIM, NORDIANA (2003) Spesifikast Formal Bagi Keperluan Sistem Pengurusan Inventori Teragihm Lkpp Corporation Sdn. Bhd. Menggunakan Teknik Z. Other thesis, Universiti teknologi Malaysia.

[img]
Preview
PDF
nordiana_binti_abdul_halim.PDF

Download (2810Kb) | Preview

Abstract

Activities in analysis requirements phase is very important in the software development system.It's indicate the further study and research about the domain problem of the system and the discussion with customers and it is very important to understand the real objective of the system.Then,the data from the research will be analyzed conscientiously before the next execution in the designing system phase. One of the way to prove the verification and fully exactly in user requirements by using the formal method. Formal methods can remove ambiguity in the requirement as discussion is centered on the correctness of the requirements and also help to remove errors at the early stages of software developntent. The reason of developing this project is to study the process of the formal specification development for the Management Distributed Inventory System using suitable formal method.This formal specification hopefully useful in the early design phase. In the future, this project hopefully can be the beginning of the other formal method's project.

Item Type: Thesis (Other)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Computer Science and Information System > Software Engineering
Depositing User: Unnamed user with email knizam@utm.my
Date Deposited: 04 Jul 2013 07:08
Last Modified: 04 Jul 2013 07:08
URI: http://ir.fsksm.utm.my/id/eprint/1274

Actions (login required)

View Item View Item