scholarly journals Formal Requirements Capturing using VRS system

10.29007/q6mc ◽  
2018 ◽  
Author(s):  
Alexander Letichevsky ◽  
Alexander Kolchin ◽  
Oleksandr Letychevskyy jr. ◽  
Stepan Potiyenko ◽  
Vlad Volkov ◽  
...  
Keyword(s):  
Model Checking ◽  
Software Development ◽  
Theorem Proving ◽  
Specification Language ◽  
System Support ◽  
Development Projects ◽  
Short Overview ◽  
Formal Requirements

We give a short overview of main functionalities and specification language of the VRS system. That environment was succesfully used for formalization and verification of ~30 software development projects implemented in Motorola. The system support both model checking and theorem proving techniques enhanced with invariants generation.

scholarly journals Longevity of risks in software development projects: a comparative analysis with an academic environment

2021 ◽  
Vol 181 ◽  
pp. 827-834
Author(s):  
Luís M. Alves ◽  
Gustavo Souza ◽  
Pedro Ribeiro ◽  
Ricardo J. Machado
Keyword(s):  
Comparative Analysis ◽  
Software Development ◽  
Development Projects ◽  
Academic Environment

Batch-based agile program management approach for coordinating IT multi-project concurrent development

2021 ◽  
pp. 1063293X2110152
Author(s):  
Qing Yang ◽  
Yingxin Bi ◽  
Qinru Wang ◽  
Tao Yao
Keyword(s):  
Software Development ◽  
New Technologies ◽  
Program Management ◽  
Agile Development ◽  
Management Approach ◽  
Development Projects ◽  
Project Development ◽  
Concurrent Development ◽  
Communication And Coordination ◽  
Development Practice

Software development projects have undergone remarkable changes with the arrival of agile development approaches. Many firms are facing a need to use these approaches to manage entities consisting of multiple projects (i.e. programs) simultaneously and efficiently. New technologies such as big data provide a huge power and rich demand for the IT application system of the commercial bank which has the characteristics of multiple sub-projects, strong inter-project correlation, and numerous project participating teams. Hence, taking the IT program management of a bank in China as a case, we explore the methods to solve the problems in multi-project concurrent development practice through integrating the ideas of program and batch management. First, to coordinate the multi-project development process, this paper presents the batch-based agile program management approach that synthesizes concurrent engineering with agile methods. And we compare the application of batch management between software development projects and manufacturing process. Further, we analyze the concurrent multi-project development practice in the batch-based agile program management, including the overlapping between stages, individual project’s activities, and multiple projects based on common resources and environment to stimulate the knowledge transfer. Third, to facilitate the communication and coordination of batch-based program management, we present the double-level responsibility organizational structure of batch management.

Risk Management and Assessment in Software Development Projects

2021 ◽  
Vol 43 (4) ◽  
pp. 113-124
Author(s):  
D.V. Saveliev ◽  
Keyword(s):  
Risk Management ◽  
Software Development ◽  
Risk Index ◽  
Development Projects ◽  
Risk Status ◽  
Threat Model ◽  
The World ◽  
Web Systems

The article defines the concept of threat model. Described a list of current security guidelines for the development and administration of web systems. Formed the list of cybersecurity threats, the consequences of their implementation are determined. Described the process of forming a model of cybersecurity threats of web systems. Defined the list of threats based on the recommendations and experience of authoritative organizations in the world and Ukraine. Defined the concepts of risk, risk index and risk status for the security of web systems. Defined the main principles of risk management in software development projects.

Sign in / Sign up

Export Citation Format

Share Document