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

• Main Authors: Mohamed, Noraini, Othman, Mahfudzah, Alias, Nursyahidah
• Format: Conference or Workshop Item
• Language: English
• Published: 2008
• Subjects: Institutions of higher education; Technology. Information technology. Internet in higher education; Technological innovations; Information technology. Information systems
• Online Access: https://ir.uitm.edu.my/id/eprint/57526/1/57526.PDF; https://ir.uitm.edu.my/id/eprint/57526/

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).