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.
","abstract_html":"<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>","abstract_has_math":false,"creators":["Patterson, Jamie L"],"institution":null,"degree_name":"MS in Computer Science","degree_level":null,"degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Clark Turner"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2013,"date_issued":"2013-12-01T08:00:00Z","date_published":"2013-12-01T08:00:00Z","updated_at":"2026-07-24T01:31:28Z","subjects":["natural language","software requirements","parts of speech analysis","Other Computer Engineering"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["10.15368/theses.2013.227"],"render_values":[{"text":"10.15368/theses.2013.227","href":"https://doi.org/10.15368/theses.2013.227","code":true}]}]},"links":{"outbound_url":"https://digitalcommons.calpoly.edu/theses/1147","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Clark Turner"]},{"key":"dc:creator","label":"Author","values":["Patterson, Jamie L"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.available","label":"Dc Date Available","values":["2013-12-12T08:00:00Z"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_name","label":"Degree Name","values":["MS in Computer Science"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["natural language","software requirements","parts of speech analysis","Other Computer Engineering"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://digitalcommons.calpoly.edu/theses/1147","10.15368/theses.2013.227"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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.
"]},{"key":"dc:title","label":"Title","values":["Parsing of Natural Language Requirements"]}]}],"canonical_facts":{"dc:contributor":["Clark Turner"],"dc:creator":["Patterson, Jamie L"],"dc:date.available":["2013-12-12T08:00:00Z"],"dc:description.abstract":["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.
"],"dc:identifier":["https://digitalcommons.calpoly.edu/theses/1147","10.15368/theses.2013.227"],"dc:subject":["natural language","software requirements","parts of speech analysis","Other Computer Engineering"],"dc:title":["Parsing of Natural Language Requirements"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_name":["MS in Computer Science"]},"updated_at":"2026-07-24T01:31:28Z"}