The formal specification for the inventory system using Z language

Formal methods use mathematical notations to precisely express requirements specification. The formal specification removes ambiguity which is inherently present in natural language specification.Formal specification also addresses the software reliability. In this paper, we present the formal speci...

全面介紹

Saved in:
書目詳細資料
Main Authors: Bakri, Siti Halimah, Harun, Hanis, Alzoubi, Amera, Ibrahim, Rosziati
格式: Conference or Workshop Item
語言:English
出版: 2013
主題:
在線閱讀:http://repo.uum.edu.my/12053/1/PID64.pdf
http://repo.uum.edu.my/12053/
http://www.icoci.cms.net.my/proceedings/2013/TOC.html
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
id my.uum.repo.12053
record_format eprints
spelling my.uum.repo.120532014-08-26T02:13:10Z http://repo.uum.edu.my/12053/ The formal specification for the inventory system using Z language Bakri, Siti Halimah Harun, Hanis Alzoubi, Amera Ibrahim, Rosziati QA76 Computer software Formal methods use mathematical notations to precisely express requirements specification. The formal specification removes ambiguity which is inherently present in natural language specification.Formal specification also addresses the software reliability. In this paper, we present the formal specification for the inventory system by using Z language.Based from the scenario of the inventory system, we present the Unified Modeling Language (UML) specification by means of use case diagram and class diagram.We then present the Z schema based from the UML specification. We also show the consistency between UML specification and Z schema for this inventory system.The Z schema can effectively improve system reliability and reduce defect in developing the system. 2013-08-28 Conference or Workshop Item PeerReviewed application/pdf en http://repo.uum.edu.my/12053/1/PID64.pdf Bakri, Siti Halimah and Harun, Hanis and Alzoubi, Amera and Ibrahim, Rosziati (2013) The formal specification for the inventory system using Z language. In: 4th International Conference on Computing and Informatics (ICOCI 2013), 28 -30 August 2013, Kuching, Sarawak, Malaysia. http://www.icoci.cms.net.my/proceedings/2013/TOC.html
institution Universiti Utara Malaysia
building UUM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Utara Malaysia
content_source UUM Institutionali Repository
url_provider http://repo.uum.edu.my/
language English
topic QA76 Computer software
spellingShingle QA76 Computer software
Bakri, Siti Halimah
Harun, Hanis
Alzoubi, Amera
Ibrahim, Rosziati
The formal specification for the inventory system using Z language
description Formal methods use mathematical notations to precisely express requirements specification. The formal specification removes ambiguity which is inherently present in natural language specification.Formal specification also addresses the software reliability. In this paper, we present the formal specification for the inventory system by using Z language.Based from the scenario of the inventory system, we present the Unified Modeling Language (UML) specification by means of use case diagram and class diagram.We then present the Z schema based from the UML specification. We also show the consistency between UML specification and Z schema for this inventory system.The Z schema can effectively improve system reliability and reduce defect in developing the system.
format Conference or Workshop Item
author Bakri, Siti Halimah
Harun, Hanis
Alzoubi, Amera
Ibrahim, Rosziati
author_facet Bakri, Siti Halimah
Harun, Hanis
Alzoubi, Amera
Ibrahim, Rosziati
author_sort Bakri, Siti Halimah
title The formal specification for the inventory system using Z language
title_short The formal specification for the inventory system using Z language
title_full The formal specification for the inventory system using Z language
title_fullStr The formal specification for the inventory system using Z language
title_full_unstemmed The formal specification for the inventory system using Z language
title_sort formal specification for the inventory system using z language
publishDate 2013
url http://repo.uum.edu.my/12053/1/PID64.pdf
http://repo.uum.edu.my/12053/
http://www.icoci.cms.net.my/proceedings/2013/TOC.html
_version_ 1644280808713748480
score 13.250246