Extended Programming and Design: A Language and Toolset for Integrating Requirements, Architecture, Design and Implementation when Developing Complex Software Systems
Shrestha, Sanjeev. (2015). Extended Programming and Design: A Language and Toolset for Integrating Requirements, Architecture, Design and Implementation when Developing Complex Software Systems. Theses and Dissertations Collection, University of Idaho Library Digital Collections. https://www.lib.uidaho.edu/digital/etd/items/shrestha_idaho_0089n_10698.html
- Title:
- Extended Programming and Design: A Language and Toolset for Integrating Requirements, Architecture, Design and Implementation when Developing Complex Software Systems
- Author:
- Shrestha, Sanjeev
- Date:
- 2015
- Keywords:
- development methods extended design extended development extended programming formal verication hidden dependencies
- Program:
- Computer Science
- Subject Category:
- Computer science
- Abstract:
-
Complex software systems are developed by engineers with diverse backgrounds using different software development methods such as traditional, formal, and agile. Increasing software complexity coupled with the lack of holistic system models, ineffective communication between engineers, and the lack of up-to-date system documentation increases the likelihood of faults and failures of system security and safety. This thesis, introduces EXMPLRAD: a language for specifying software project artifacts such as informal requirements, design and architectural descriptions, and source code. This thesis also present SyModEx2, an expert tool that analyzes EXMPLRAD specifications and verifies the absence of hidden dependencies between system components. A case study of applying these technique and associated toolset to the SEL4 micro-kernel's Interprocess Communication architecture is presented.
- Description:
- masters, M.S., Computer Science -- University of Idaho - College of Graduate Studies, 2015
- Major Professor:
- Leon, Daniel Conte de
- Committee:
- Alves-Foss, Jim; Krings, Axel W.
- Defense Date:
- 2015
- Identifier:
- Shrestha_idaho_0089N_10698
- Type:
- Text
- Format Original:
- Format:
- application/pdf
- Rights:
- In Copyright - Educational Use Permitted. For more information, please contact University of Idaho Library Special Collections and Archives Department at libspec@uidaho.edu.
- Standardized Rights:
- http://rightsstatements.org/vocab/InC-EDU/1.0/