Personnel management practices in the co-operative sector in Kerala

A study on the personnel management practices in the co+operative sector in the Kerala State is carried out during the years 1989-91, with the overall objective of assessing the extent of application of modern personnel management concepts in the cooperative organizations in the Kerala State. The specific objectives of the study are to assess the effectiveness of the various personnel management practices followed in the cooperative sector, to analyse the nature and extent of compensating the employees in co—operatives, to measure the level of job satisfaction derived by the employees, to evaluate the industrial relations existing in the co-operative organizations and to suggest, if found necessary, ways and means of toning up the personnel management practices followed in the co-operative sector in Kerala

Personnel Management Practices in the Kerala based Scheduled commercial Banks

The thesis entitled Personnel Management Practices in the Kerala-Based Scheduled Commercial Banks. Personnel management function is of cardinal importance, requiring a sophisticated and scientific approach. In a labour-intensive, service industry like banking. Productivity and ultimate profitability of the entire organization depend considerably on the effectiveness with which personnel management function is executed; and the prudence with which personnel problems are handle. The main objectives of the study are to understand the current status of personnel management functions in the banks and to evaluate the practices in the light of the principles and theories of personnel management so as to identify the strengths and weaknesses. The universe of this study is the eight Scheduled Commercial Banks based in Kerala. The major limitation of the study is that as State Bank of Travancore, the lone public sector bank based in Kerala did not grant permission for collection of data, this study had to be confined to private sector banks only. Almost the entire data used for this study are primary and were collected from the files and other records or the concerned banks. This report has chapters dealing with the functional areas of personnel management such as determination of human resource requirements, recruitment and selection, training and development, performance appraisal, promotions and compensation. Findings reveal that the practice of personnel management in the Kerala-based private sector scheduled commercial banks has not gained a degree of sophistication compatible with its role in modern business management.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code