The Role of Modelling in Business Software Development: Case Study of Teaching and Industrial Practice in Zrenjanin, Serbia

Author(s):  
Ljubica Kazi
2019 ◽  
Vol 9 (3) ◽  
pp. 280-293
Author(s):  
Muh. Juandi Arif Baitullah ◽  
Wagiran Wagiran

The purpose of this study was to find out: the school strategy, procedure, forms, and evaluation to cooperate with the world of work. The type of research is qualitative with a case study approach. The subjects in this study were the head of the department, the chairman of the special job fairs, the vice-principal of public relations, the vice-principal of curriculum, the head of competence skills, and industry that were in cooperation with the school. The methods of collecting the data were in-depth interviews and documentation. The results show that: (1) the school strategy in cooperation with industry began with industry visits, requesting permission to do industrial practice, good communication, submitting proposals related to school potential in the form of profiles, being active in participating in school promotions, utilizing the role of industry as a guest teacher, being a pre-service place and outsourcing to industry; (2) the cooperation procedure analyzed the community, in this case, the world of work, established communication, and Involved world of work; (3) the forms of cooperation were the training of skills improvement in the field of science and technology, exchange of information, curriculum synchronization and development, implementation of internships, implementation of competency and certification tests, industry visits, industrial work practices, special job fairs, recruitment; (4) the evaluation of management in the implementation of the cooperation was included in the "good" category.


1996 ◽  
Vol 11 (3) ◽  
pp. 185-198 ◽  
Author(s):  
Peter Kawalek ◽  
Jenny Leonard

This paper addresses the issues of software development in situations of organizational and process change. There is wide agreement in the literature that organizations have to be increasingly flexible in order to survive in the current economic climate. They must innovate, replicate, adapt and extemporize. As they do so, the requirements they have of their software applications are likely to change. Equally, as new software solutions are provided, new opportunities for business change arise. The situation is made still more complex because even if the needs of organizations were stable, we still could not be certain of the validity of an application's functions. This is because the process of program development is inherently uncertain. From this situation arise difficult, practical challenges for those concerned with the deployment of software in organizations. Starting with a consideration of the nature of organizations themselves, this paper takes looks at these problems by moving between three related points. It looks at software development methodologies and suggests that these have in the past tended to assume that discrete IT solutions can be cast for a ‘steady state’ which the organization is attempting to achieve. From the second vantage point it looks at the role of IT staff in supporting the operational needs of the organization. The third is the nature of software systems themselves.


Author(s):  
José Luis Cendejas Valdéz ◽  
Gustavo Abraham Vanegas Contreras ◽  
Heberto Ferreira Medina ◽  
Alfonso Hiram Ginori González

Author(s):  
Nasser Al-Mur Al-Hadhrami

Incremental software development through the addition of new features and access rules potentially creates security flaws due to inconsistent access control models. Discovering such flaws in software architectures is commonly performed with formal techniques that allow the verification of the correctness of a system and its compliance with applicable policies. In this chapter, the authors propose the use of the B method to formally, and incrementally, design and evaluate the security of systems running under role-based access control (RBAC) policies. They use an electronic marking system (EMS) as a case study to demonstrate the iterative development of RBAC models and the role of the B language in exploring and re-evaluating the security of the system as well as addressing inconsistencies caused by incremental software development. Two formal approaches of model checking and proof obligations are used to verify the correctness of the RBAC specification.


1987 ◽  
Author(s):  
William A. Worrall ◽  
Ann W. Stockman

Sign in / Sign up

Export Citation Format

Share Document