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
|
Pdf
The formal specification for competency requirements.pdf Download (265kB) | Preview |
Abstract
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 |
| URI: | http://umpir.ump.edu.my/id/eprint/25565 |
| Download Statistic: | View Download Statistics |
Actions (login required)
 |
View Item |