The formal specification for competency requirements

Roslina, Mohd Sidek and Noraziah, Ahmad (2011) The formal specification for competency requirements. In: 11th WSEAS International Conference on AIC'11; 4th WSEAS International Conference on BEBI'11; International Conference on Environment, Economics, Energy, Devices, Systems, Communications, Computers, Pure and Applied Mathematics, 23-25 August 2011 , Florence, Italy. pp. 278-282.. ISBN 978-161804028-2

The formal specification for competency requirements.pdf

Download (265kB) | Preview


Competency is a vital characteristic to all area of action, especially in an emergency situation. This is because people must react according to what they supposed to react. If an individual lacking competence in the job or life, the person may take wrong action and make more loss in the area of work or situation such loss of life, injured, and others. To make them competence, people need to attend training. The training give them knowledge and skill. So, good attitude with knowledge and skill make them competence. A chemical company in Pahang, Malaysia has been selected as a case study to model the framework of emergency, response and preparedness (ERP). The framework of ERP was according to the company's competency by considering three elements which are the skill, knowledge and attitude. This paper presents the initialization theorem, pre-condition calculation and properties proving for competency requirement. The competency requirement specification written uses Z notation.

Item Type: Conference or Workshop Item (Lecture)
Additional Information: Indexed by Scopus
Uncontrolled Keywords: Competency; Emergency; Response; Preparedness; Formal specification; Proving
Subjects: Q Science > QA Mathematics > QA76 Computer software
Faculty/Division: Faculty of Computer System And Software Engineering
Depositing User: Mrs. Neng Sury Sulaiman
Date Deposited: 12 Dec 2019 05:07
Last Modified: 12 Dec 2019 05:07
Download Statistic: View Download Statistics

Actions (login required)

View Item View Item