scholarly journals Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty

Author(s):  
Alex Serban ◽  
Erik Poll ◽  
Joost Visser
Author(s):  
Takanori Kobashi ◽  
Hironori Washizaki ◽  
Nobukazu Yoshioka ◽  
Haruhiko Kaiya ◽  
Takao Okubo ◽  
...  

Simply confirming potential threats and vulnerabilities in an early stage of the development process (e.g., the requirement or design phase) is insufficient because software developers are not necessarily security experts. Additionally, even if the software design considers security at an early stage, whether the software actually satisfies the security requirements must be confirmed. To realize secure design, the authors propose an application to design software systems with verification of security patterns using model testing. The method provides extended security patterns, which include requirement- and design-level patterns as well as a new designing and model testing process that uses these patterns. Once developers specify threats and vulnerabilities in the target system in an early stage of development, the method can verify whether the security patterns are properly applied and assess if the vulnerabilities are resolved.


2006 ◽  
Vol 38 (1) ◽  
pp. 403-407 ◽  
Author(s):  
Anna Eckerdal ◽  
Robert McCartney ◽  
Jan Erik Moström ◽  
Mark Ratcliffe ◽  
Carol Zander

2018 ◽  
Vol 1 (2) ◽  
pp. 1-17
Author(s):  
Tedi Budiman

One example of the growing information technology today is mobile learning, mobile learning which refers to mobile technology as a learning medium. Mobile learning is learning that is unique for each student to access learning materials anywhere, anytime. Mobile learning is suitable as a model of learning for the students to make it easier to get an understanding of a given subject, such as math is pretty complicated and always using formulas.The design method that I use is the case study method, namely, learning, searching and collecting data related to the study. While the development of engineering design software application programs that will be used by the author is the method of Rapid Application Development (RAD), which consists of 4 stages: Requirements Planning Phase, User Design Phase, Construction Phase and Phase Cotuver.


2020 ◽  
Vol 17 (6) ◽  
pp. 76-91
Author(s):  
E. D. Solozhentsev

The scientific problem of economics “Managing the quality of human life” is formulated on the basis of artificial intelligence, algebra of logic and logical-probabilistic calculus. Managing the quality of human life is represented by managing the processes of his treatment, training and decision making. Events in these processes and the corresponding logical variables relate to the behavior of a person, other persons and infrastructure. The processes of the quality of human life are modeled, analyzed and managed with the participation of the person himself. Scenarios and structural, logical and probabilistic models of managing the quality of human life are given. Special software for quality management is described. The relationship of human quality of life and the digital economy is examined. We consider the role of public opinion in the management of the “bottom” based on the synthesis of many studies on the management of the economics and the state. The bottom management is also feedback from the top management.


Sign in / Sign up

Export Citation Format

Share Document