ETD PDF

Extended Programming and Design: A Language and Toolset for Integrating Requirements, Architecture, Design and Implementation when Developing Complex Software Systems

Citation

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:
PDF
Format:
application/pdf

Contact us about this record

Rights
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/