The formal specification for competency requirements

  • Authors:

  • Roslina Mohd Sidek;A. Noraziah

  • Affiliations:

  • Faculty of Computer Systems & Software Engineering, University Malaysia Pahang, Kuantan, Malaysia;Faculty of Computer Systems & Software Engineering, University Malaysia Pahang, Kuantan, Malaysia

  • Venue:
  • AIASABEBI'11 Proceedings of the 11th WSEAS international conference on Applied informatics and communications, and Proceedings of the 4th WSEAS International conference on Biomedical electronics and biomedical informatics, and Proceedings of the international conference on Computational engineering in systems applications
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

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.