Implementing Software Quality Assurance (SQA) in UiTM Pahang: the preliminary study of formal methods in software development life cycle / Noraini Mohamed, Mahfudzah Othman and Nursyahidah Alias
This paper is aimed to study the method of Software Quality Assurance (SQA) that can be implemented in Universiti Teknologi MARA (UiTM) Pahang. Software quality as defined by Institute of Electronics and Electrical Engineers (IEEE) is the degree to which a system component or process meets specified...
Saved in:
Main Authors: | , , |
---|---|
Format: | Book |
Published: |
2008.
|
Subjects: | |
Online Access: | Link Metadata |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000 am a22000003u 4500 | ||
---|---|---|---|
001 | repouitm_57526 | ||
042 | |a dc | ||
100 | 1 | 0 | |a Mohamed, Noraini |e author |
700 | 1 | 0 | |a Othman, Mahfudzah |e author |
700 | 1 | 0 | |a Alias, Nursyahidah |e author |
245 | 0 | 0 | |a Implementing Software Quality Assurance (SQA) in UiTM Pahang: the preliminary study of formal methods in software development life cycle / Noraini Mohamed, Mahfudzah Othman and Nursyahidah Alias |
260 | |c 2008. | ||
500 | |a https://ir.uitm.edu.my/id/eprint/57526/1/57526.PDF | ||
520 | |a This paper is aimed to study the method of Software Quality Assurance (SQA) that can be implemented in Universiti Teknologi MARA (UiTM) Pahang. Software quality as defined by Institute of Electronics and Electrical Engineers (IEEE) is the degree to which a system component or process meets specified requirements and user needs or expectations. Whereas, Software Quality Assurance (SQA) is a planned and systematic pattern of all actions necessary to provide adequate confidence that an item or product conforms to established technical requirements. [n this study, we will investigate the use of formal methods that is integrated in software project life cycle development to ensure the quality assurance of the software. Focus is given to a number of methods only, which are the B Method, SDL, VDM, Z Language and Cleanroom Software Development. This paper will compare these techniques to study the use of formal methods in the Software Development Life Cycle (SDLC). | ||
546 | |a en | ||
690 | |a Institutions of higher education | ||
690 | |a Technology. Information technology. Internet in higher education | ||
690 | |a Technological innovations | ||
690 | |a Information technology. Information systems | ||
655 | 7 | |a Conference or Workshop Item |2 local | |
655 | 7 | |a PeerReviewed |2 local | |
787 | 0 | |n https://ir.uitm.edu.my/id/eprint/57526/ | |
856 | 4 | 1 | |u https://ir.uitm.edu.my/id/eprint/57526/ |z Link Metadata |