A formal model for risk assessment in software projects

Download
Author
Nogueira de Leon, Juan Carlos
Date
2000-09Advisor
Luqi
Metadata
Show full item recordAbstract
The current state of the art techniques of risk assessment rely on checklists and human expertise. This constitutes a weak approach because different people could arrive at different conclusions from the same scenario. The difficulty of estimating the duration of projects applying evolutionary software processes adds intricacy to the risk assessment problem. This dissertation introduces a formal method to assess the risk and the duration of software projects automatically, based on measurements that can be obtained early in the development process. The method has been designed according to the characteristics of evolutionary software processes, such as efficiency, requirement volatility and complexity. The formal model based on these three indicators estimates the duration and risk of evolutionary software processes. The approach introduces benefits in two fields: a) automation of risk assessment and, b) early estimation methods for evolutionary software processes.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
A formal model for risk assessment in software projects
Nogueira, Juan Carlos (Monterey, California. Naval Postgraduate School, 2000-09);The current state of the art techniques of risk assessment rely on checklists and human expertise. This thesis introduces a formal method to assess the risk and the duration of software projects automatically. The method ... -
Formal models of a least privilege separation kernel in alloy
Phelps, David; Levin, Timothy E.; Auguston, Mikhail (International Conference on i-Warfare and Security, 2008-06-01);We describe the specification of the formal security policy model and formal top-level specification for the Least Privilege Separation Kernel (LPSK) in Alloy, a relatively new modelling language and analysis tool. The ... -
Where is software headed? A virtual roundtable
Lewis, Ted G.; Power, Dave; Meyer, Bertrand; Grimes, Jack; Potel, Mike; Vetter, Ronald J.; Laplante, Phillip A.; Pree, Wolfgang; Pomberger, Gustav; Hill, Mark D. (1995-08);To find out where software is headed, experts in academia and industry share their vision of software's future. It is a snapshot in time of where we have been and possibly where we are headed. The subjects discussed are: ...