Abstract
dc:description.abstract<p>The purpose of this thesis was to automate verification of the software requirements for an implantable cardioverter defibrillator with minimal manual rework. The requirements were written in plain English with only loose stylistic constraints. While full automation proved infeasible, many significant advances were made towards solving the problem, including a framework for storing requirements, a program which translates most of the natural language requirements into the framework, and a novel approach to parts of speech analysis.</p>
Degree
thesis:*- Name thesis:degree_name
- MS in Computer Science
- Discipline thesis:degree_discipline
- Computer Science
- Year dc:date.available
- 2013
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Patterson, Jamie L
- Contributors dc:contributor
-
- Clark Turner
Subjects
dc:subject × 4Identifiers
dc:identifier.*- Identifier
- 10.15368/theses.2013.227
- OAI identifier oai:identifier
- oai:digitalcommons.calpoly.edu:theses-2205