UTHM Institutional Repository

The formal specification for measuring dust concentration using Z language

Bakori (Bakri), Siti Halimah (2014) The formal specification for measuring dust concentration using Z language. Masters thesis, Universiti Tun Hussein Onn Malaysia.


Download (343kB)


System Development Life Cycle (SDLC) is a standard methodology to be used for software developers when implementing any system. Most software developers prefer not to use formal specification approach in designing database system. Meanwhile, the formal specification is able to reduce ambiguities in the system requirements. Therefore, this thesis focuses on the use of formal specification of Z language in developing the application of measuring the air quality based on dust concentration. In order to specify requirements of a system, this study use formal specification. The formal specification is more precise compare to the informal method. The steps involves in this study include steps for measuring air quality based on dust concentration, then steps for specifying the functions in measuring dust concentration using Z language and finally steps for developing an application using Matlab based on the formal specification using Z language. In this study, five nodes were selected in the Universiti Tun Hussien Onn Malaysia (UTHM) as the case study. Results collected from the nodes have been discussed in the thesis, and the justification of why these nodes were selected has been explained as well. The application was developed to calculate the pollution index using codes in Matlab. The results were shown in plotted graph that during the haze season in June, the Particulate Matter (PM10) concentration rose to a very high API value. As a conclusion to the thesis, this research study contributes to the cross field between environmental science and computer science, by using the formal specification of Z language in the application to measure the air quality using dust. The algorithm and the Z schema can be embedded into any software tool as long as the parameters are the same.

Item Type: Thesis (Masters)
Subjects: Q Science > QA Mathematics > QA76 Computer software
Depositing User: Normajihan Abd. Rahman
Date Deposited: 10 Dec 2014 07:50
Last Modified: 10 Dec 2014 07:50
URI: http://eprints.uthm.edu.my/id/eprint/6153
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item


Downloads per month over past year