Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah

QR Code

Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah

Formal approach will remove ambiguity in the specification. Formal specification is used to highlight an error in a specification. A developer of a system can detect an error of the system in early phase of system development life cycle. A verification and validation activity can be reduced towards...

Full description

Bibliographic Details
Main Authors:	Nursyahidah Alias, Mohd Norafizal Abd Aziz, Zazaleena Zakariah
Format:	Research Reports
Language:	English
Published:	Research Management Institute (RMI) 2013
Online Access:	https://ir.uitm.edu.my/id/eprint/17498/

Similar Items

Critical factors of B2B E-marketplaces among SMEs: the case of agribazaar.com.my / Zazaleena Zakariah, Nursyahidah Alias and Mohd Norafizal Abd Aziz
by: Zakariah, Zazaleena, et al.
Published: (2012)

Electronic reservation for hotel services / Zazaleena Zakariah
by: Zakariah, Zazaleena
Published: (2005)

Cadangan pemantapan proses penilaian pelajar di Kolej- Kolej Bersekutu (KKB) UiTM menggunakan penanda arasan penilaian / Mohd Norafizal Abd Aziz and Hasnizawati Hashim
by: Abd Aziz, Mohd Norafizal, et al.
Published: (2008)

Student management system in schools: The use of web-based application / Mahfudzah Othman, Zainab Othman and Mohd Norafizal A. Aziz
by: Othman, Mahfudzah, et al.
Published: (2006)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z
by: Zarina Shukur,, et al.
Published: (2009)

Technological capability building through backward linkages in the Malaysian petrochemical industry / Zakariah Abdullah
by: Zakariah, Abdullah
Published: (2012)

Impact of loan sales towards asset risk of Malayan Banking Berhad / Sahidah Zakariah
by: Zakariah, Sahidah
Published: (2008)

Biochemical quality of clarias batrachus indifferent preservation methods / Nor Alia Abd Aziz
by: Abd Aziz, Nor Alia
Published: (2015)

A case study on the community acceptance and satisfaction of electronic services (E-Service) / Noradilah Zakariah
by: Zakariah, Noradilah
Published: (2005)

The role of entrepreneurial orientation and innovation on employee job performance in Malaysian hotels / Siti Hajar Zakariah
by: Zakariah, Siti Hajar
Published: (2020)

Factors influencing high accident rate among harvesters in oil palm plantation / Muhammad Hafiz Zakariah
by: Zakariah, Muhammad Hafiz
Published: (2016)

Adopting social commerce elements: a comparison of Social Networking Site (SNS) and E-Commerce Site / Habiel Zakariah
by: Zakariah, Habiel
Published: (2014)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

Motivasi : Realiti atau fantasi teori / Hasnizawati Hashim, Rozieana A. Halid and Mohd Norajizal Abd. Aziz
by: Hashim, Hasnizawati, et al.
Published: (2008)

The determinants of house price in Malaysia / Raja Nurul Huda Raja Zakariah and Siti Fatimah Md Termizi
by: Raja Zakariah, Raja Nurul Huda, et al.
Published: (2019)

Formalize the Software Quality Measurement for Heterogeneous Requirements
by: Edwin, Mit, et al.
Published: (2015)

Perception of the public towards Safe City: A case study at Taman Kenanga Seksyen 1 / Khairun Nisak Farid Waradi and Nabilah Zakariah
by: Farid Waradi, Khairun Nisak, et al.
Published: (2013)

Fundamentals of Entrepreneurship ENT300 Euphoria Cafe Enterprise Cake And Bakery / Nurul Balqis Zakariah...[et al.]
by: Zakariah, Nurul Balqis, et al.
Published: (2019)

Satisfaction among Malacca's General Hospital nurses / Maizatul Eliana Mansor , Mira Adilah Zakariah and Siti Nur Ain Kamal
by: Mansor, Maizatul Eliana, et al.
Published: (2012)

Market requirements and the accounting graduates / Abdul Samad Haji Alias
Published: (1991)

The effect applying different rate of nitrogen fertilizer on rice / Natasha Husna Zakariah
Published: (2016)

Nilai-nilai Kemanusiaan dalam Sajak-Sajak J.M. Aziz dan T. Alias Taib
by: Nyia, See Keng
Published: (2004)

Basic operational generalizations, managerial requirements and issues in the use of non-formal education
by: M. Yassin, Sulaiman
Published: (1982)

Skill content in Malaysia's manufacturing trade: Keesing Approach / Mohamed Sharif Bashir and Zakariah A. Rashid
Published: (2005)

Sistem jadual peepriksaan on-line / Mohd Naharuddin Abd Aziz
by: Mohd Naharuddin , Abd Aziz
Published: (2001)

Puspa Biru Bakery / Hamizah Abd Aziz ... [et al.]
by: Abd Aziz, Hamizah, et al.
Published: (2003)

Are real estate and securities markets integrated / Nurliza Abd Aziz
by: Abd Aziz, Nurliza
Published: (2007)

Formal Specification Language For Design Patterns.
by: Taibi, Taufik
Published: (2003)

Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system
by: Mohamad, Radziah, et al.
Published: (2001)

The interrelatedness of formal, non-formal and informal learning
by: Cameron, Roslyn, et al.
Published: (2012)

Pakej pembelajaran untuk kanak-kanak / Siti Azrina Abd Aziz
by: Siti Azrina, Abd Aziz
Published: (2002)

Automatic whiteboard cleaner/ Muhammad Idham Abd Aziz ...[et al.]
by: Abd Aziz, Muhammad Idham, et al.
Published: (2018)

Preliminary study of active pollen of elaeis guineensis / Norsahira Abd Aziz
by: Abd Aziz, Norsahira
Published: (2017)

Summary Judgement : Its application in Malaysia / Abd. Aziz Mohd Yusuff
by: Mohd Yusuff, Abd. Aziz
Published: (1987)

The determinants of household debt in Malaysia / Abu Nidal Johan Abd Aziz
by: Abd Aziz, Abu Nidal Johan
Published: (2019)

Minors contracts: its legal and equitable effects / Amir Abd. Aziz
by: Abd. Aziz, Amir
Published: (1986)

Epidemiology and serology of gynaecological neoplasms in Malaysia / Nor Azlina Abd. Aziz
by: Abd. Aziz, Nor Azlina
Published: (1998)

Problem-based learning information sharing system / Suriani Abd. Aziz
by: Suriani , Abd. Aziz
Published: (2003)

Business Model Canvas : AFZ Enterprise / Afiqah Anati Abd Aziz
by: Abd Aziz, Afiqah Anati
Published: (2020)