The formal specification for competency requirements
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 wor...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2011
|
| Subjects: | |
| Online Access: | http://umpir.ump.edu.my/id/eprint/25565/ http://umpir.ump.edu.my/id/eprint/25565/1/The%20formal%20specification%20for%20competency%20requirements.pdf |
| _version_ | 1848822311031930880 |
|---|---|
| author | Roslina, Mohd Sidek Noraziah, Ahmad |
| author_facet | Roslina, Mohd Sidek Noraziah, Ahmad |
| author_sort | Roslina, Mohd Sidek |
| building | UMP Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T02:39:13Z |
| format | Conference or Workshop Item |
| id | ump-25565 |
| institution | Universiti Malaysia Pahang |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T02:39:13Z |
| publishDate | 2011 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | ump-255652019-12-12T05:07:06Z http://umpir.ump.edu.my/id/eprint/25565/ The formal specification for competency requirements Roslina, Mohd Sidek Noraziah, Ahmad QA76 Computer software 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. 2011 Conference or Workshop Item PeerReviewed pdf en http://umpir.ump.edu.my/id/eprint/25565/1/The%20formal%20specification%20for%20competency%20requirements.pdf 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 (Published) |
| spellingShingle | QA76 Computer software Roslina, Mohd Sidek Noraziah, Ahmad The formal specification for competency requirements |
| title | The formal specification for competency requirements |
| title_full | The formal specification for competency requirements |
| title_fullStr | The formal specification for competency requirements |
| title_full_unstemmed | The formal specification for competency requirements |
| title_short | The formal specification for competency requirements |
| title_sort | formal specification for competency requirements |
| topic | QA76 Computer software |
| url | http://umpir.ump.edu.my/id/eprint/25565/ http://umpir.ump.edu.my/id/eprint/25565/1/The%20formal%20specification%20for%20competency%20requirements.pdf |