Naval Postgraduate School
A formal model for risk assessment in software projects
| dc.contributor.advisor | Luqi | |
| dc.contributor.author | Nogueira de Leon, Juan Carlos | |
| dc.date | 2000-09 | |
| dc.date.accessioned | 2014-06-10T22:36:28Z | |
| dc.date.available | 2014-06-10T22:36:28Z | |
| dc.date.issued | 2000-09 | |
| dc.identifier.uri | http://hdl.handle.net/10945/42177 | |
| dc.description | Approved for public release, distribution unlimited | en_US |
| dc.description | Approved for public release; distribution is unlimited | en_US |
| dc.description.abstract | 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. | en_US |
| dc.format.extent | 270 p. | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Monterey, California. Naval Postgraduate School | en_US |
| dc.rights | This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted. | en_US |
| dc.title | A formal model for risk assessment in software projects | en_US |
| dc.type | Thesis | en_US |
| dc.contributor.corporate | Naval Postgraduate School (U.S.) | |
| dc.subject.author | Risk Assessment | en_US |
| dc.subject.author | Formal Models | en_US |
| dc.subject.author | Software Estimation Models | en_US |
| dc.subject.author | Software Metrics | en_US |
| dc.subject.author | Project Management | en_US |
| dc.description.service | Captain, Navy of Uruguay | en_US |
| etd.thesisdegree.name | Ph.D. in Software Engineering | en_US |
| etd.thesisdegree.level | Doctoral | en_US |
| etd.thesisdegree.discipline | Software Engineering | en_US |
| etd.thesisdegree.grantor | Naval Postgraduate School | en_US |
Files in this item
This item appears in the following Collection(s)
-
1. Thesis and Dissertation Collection, all items
Publicly releasable NPS Theses, Dissertations, MBA Professional Reports, Joint Applied Projects, Systems Engineering Project Reports and other NPS degree-earning written works.
Related items
Showing items related by title, author, creator and subject.
-
A formal model for risk assessment in software projects
(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
(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
(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: ...
