{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/45187"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/45187","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"An evaluation of three user-system interface specification techniques","abstract":"User-System Interface (USI) design is a highly iterative process involving empirical testing and evaluation. The existence of a design specification is implicit in this design process. The quality of the design specification impacts the length and cost of the design cycle. A survey was made of available USI specification tools to determine: which USI components they can specify; their relation to a finite state model of the USI; and if they are usable by the human factors engineer as a basis for an analytic analysis of a USI design to detect violations of excepted USI design guidelines. Four categories of tools were surveyed: semi-formal techniques, Backus-Naur Form grammars, programming languages, and transition networks. An engineering tradeoff analysis was performed based on four pragmatic criteria: understandability, efficiency, expressive power, and fidelity. The results of the tradeoff analysis suggest that specification tools differ in representational strength and it is best to use a set of tools for a complete specification. A behavioral study using human factors engineers was performed to validate the results of the tradeoff analysis. Human factors graduate students were trained in the use of one of three specification tools and asked to perform an analytic analysis looking for design defects. Fifteen design defects were embedded in each of the specifications. Results suggest that using two of the tools together is the most effective specification technique. In light of these results, current and future software design practices were examined to determine what role the human factors engineer can have on the design team.","abstract_html":"User-System Interface (USI) design is a highly iterative process involving empirical testing and evaluation. The existence of a design specification is implicit in this design process. The quality of the design specification impacts the length and cost of the design cycle. A survey was made of available USI specification tools to determine: which USI components they can specify; their relation to a finite state model of the USI; and if they are usable by the human factors engineer as a basis for an analytic analysis of a USI design to detect violations of excepted USI design guidelines. Four categories of tools were surveyed: semi-formal techniques, Backus-Naur Form grammars, programming languages, and transition networks. An engineering tradeoff analysis was performed based on four pragmatic criteria: understandability, efficiency, expressive power, and fidelity. The results of the tradeoff analysis suggest that specification tools differ in representational strength and it is best to use a set of tools for a complete specification. A behavioral study using human factors engineers was performed to validate the results of the tradeoff analysis. Human factors graduate students were trained in the use of one of three specification tools and asked to perform an analytic analysis looking for design defects. Fifteen design defects were embedded in each of the specifications. Results suggest that using two of the tools together is the most effective specification technique. In light of these results, current and future software design practices were examined to determine what role the human factors engineer can have on the design team.","abstract_has_math":false,"creators":["Smith, William W."],"institution":"Virginia Tech","degree_name":"Master of Science","degree_level":"masters","degree_discipline":"Industrial Engineering and Operations Research","degree_department":"Industrial Engineering and Operations Research","school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1988,"date_issued":"1988","date_published":"1988","updated_at":"2026-07-22T22:20:07Z","subjects":[],"languages":["en"],"rights":["In Copyright"],"rights_urls":["http://rightsstatements.org/vocab/InC/1.0/"],"identifier_entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-10132010-020315"],"render_values":[{"text":"etd-10132010-020315","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10919/45187","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.department","label":"Department","values":["Industrial Engineering and Operations Research"]},{"key":"dc:creator","label":"Author","values":["Smith, William W."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-03-14T21:47:38Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-03-14T21:47:38Z","2010-10-13"]},{"key":"dc:date.issued","label":"Date","values":["1988"]},{"key":"dc:publisher","label":"Institution","values":["Virginia Tech"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.dcmitype","label":"Dc Type Dcmitype","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Industrial Engineering and Operations Research"]},{"key":"thesis:degree_level","label":"Degree Level","values":["masters"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Master of Science"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Virginia Polytechnic Institute and State University"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["In Copyright"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.other","label":"Dc Identifier Other","values":["etd-10132010-020315"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/45187"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["User-System Interface (USI) design is a highly iterative process involving empirical testing and evaluation. The existence of a design specification is implicit in this design process. The quality of the design specification impacts the length and cost of the design cycle. A survey was made of available USI specification tools to determine: which USI components they can specify; their relation to a finite state model of the USI; and if they are usable by the human factors engineer as a basis for an analytic analysis of a USI design to detect violations of excepted USI design guidelines. Four categories of tools were surveyed: semi-formal techniques, Backus-Naur Form grammars, programming languages, and transition networks. An engineering tradeoff analysis was performed based on four pragmatic criteria: understandability, efficiency, expressive power, and fidelity. The results of the tradeoff analysis suggest that specification tools differ in representational strength and it is best to use a set of tools for a complete specification. A behavioral study using human factors engineers was performed to validate the results of the tradeoff analysis. Human factors graduate students were trained in the use of one of three specification tools and asked to perform an analytic analysis looking for design defects. Fifteen design defects were embedded in each of the specifications. Results suggest that using two of the tools together is the most effective specification technique. In light of these results, current and future software design practices were examined to determine what role the human factors engineer can have on the design team."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Master of Science"]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["BTD"]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["An evaluation of three user-system interface specification techniques"]}]}],"canonical_facts":{"dc:contributor.department":["Industrial Engineering and Operations Research"],"dc:creator":["Smith, William W."],"dc:date.accessioned":["2014-03-14T21:47:38Z"],"dc:date.available":["2014-03-14T21:47:38Z","2010-10-13"],"dc:date.issued":["1988"],"dc:description.abstract":["User-System Interface (USI) design is a highly iterative process involving empirical testing and evaluation. The existence of a design specification is implicit in this design process. The quality of the design specification impacts the length and cost of the design cycle. A survey was made of available USI specification tools to determine: which USI components they can specify; their relation to a finite state model of the USI; and if they are usable by the human factors engineer as a basis for an analytic analysis of a USI design to detect violations of excepted USI design guidelines. Four categories of tools were surveyed: semi-formal techniques, Backus-Naur Form grammars, programming languages, and transition networks. An engineering tradeoff analysis was performed based on four pragmatic criteria: understandability, efficiency, expressive power, and fidelity. The results of the tradeoff analysis suggest that specification tools differ in representational strength and it is best to use a set of tools for a complete specification. A behavioral study using human factors engineers was performed to validate the results of the tradeoff analysis. Human factors graduate students were trained in the use of one of three specification tools and asked to perform an analytic analysis looking for design defects. Fifteen design defects were embedded in each of the specifications. Results suggest that using two of the tools together is the most effective specification technique. In light of these results, current and future software design practices were examined to determine what role the human factors engineer can have on the design team."],"dc:description.degree":["Master of Science"],"dc:format.medium":["BTD"],"dc:format.mimetype":["application/pdf"],"dc:identifier.other":["etd-10132010-020315"],"dc:identifier.uri":["http://hdl.handle.net/10919/45187"],"dc:language.iso":["en"],"dc:publisher":["Virginia Tech"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["An evaluation of three user-system interface specification techniques"],"dc:type":["Thesis"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Industrial Engineering and Operations Research"],"thesis:degree_level":["masters"],"thesis:degree_name":["Master of Science"],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:20:07Z"}