{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/40670"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/40670","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"Supporting design: a computational theory of design and its implementation in a software support tool","abstract":"Most work in knowledge acquisition and manipulation has focused on expert systems. Expert systems solve one kind of problem: heuristic classification. This thesis extends some advances in knowledge engineering to a broader class of problem: design. Design is examined as a generic activity, found in many fields of professional practice. A theoretical framework is developed that supports the refinement of design from high-level concepts through implementation. This framework includes a computational model that is shown to be completely general (Turing-equivalent). Therefore, the theory and model are suitable for representing any design project. They are applied specifically to software development. Practical support for software designers is offered in a prototype software design system. Existing work in automated knowledge acquisition is used to transfer knowledge about a design from the designer to the automated tool. Consistent support for refinement of design choices at any level of detail makes design a maintainable activity. This opens new possibilities for automated code generation, automated maintenance, and the nlore effective management of software at a higher-level design representation.","abstract_html":"Most work in knowledge acquisition and manipulation has focused on expert systems. Expert systems solve one kind of problem: heuristic classification. This thesis extends some advances in knowledge engineering to a broader class of problem: design. Design is examined as a generic activity, found in many fields of professional practice. A theoretical framework is developed that supports the refinement of design from high-level concepts through implementation. This framework includes a computational model that is shown to be completely general (Turing-equivalent). Therefore, the theory and model are suitable for representing any design project. They are applied specifically to software development. Practical support for software designers is offered in a prototype software design system. Existing work in automated knowledge acquisition is used to transfer knowledge about a design from the designer to the automated tool. Consistent support for refinement of design choices at any level of detail makes design a maintainable activity. This opens new possibilities for automated code generation, automated maintenance, and the nlore effective management of software at a higher-level design representation.","abstract_has_math":false,"creators":["Holliday, Glenn E."],"institution":"Virginia Tech","degree_name":"Master of Science","degree_level":"masters","degree_discipline":"Computer Science and Applications","degree_department":"Computer Science and Applications","school":null,"contributors":[],"advisors":[],"committee_chairs":["Roach, John W."],"committee_members":["Hix, Deborah S.","McConnell, David E."],"year":1994,"date_issued":"1994-05-15","date_published":"1994-05-15","updated_at":"2026-07-22T22:19:56Z","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-01172009-063655"],"render_values":[{"text":"etd-01172009-063655","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10919/40670","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.committeechair","label":"Committee Chair","values":["Roach, John W."]},{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Hix, Deborah S.","McConnell, David E."]},{"key":"dc:contributor.department","label":"Department","values":["Computer Science and Applications"]},{"key":"dc:creator","label":"Author","values":["Holliday, Glenn E."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-03-14T21:27:26Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-03-14T21:27:26Z","2009-01-17"]},{"key":"dc:date.issued","label":"Date","values":["1994-05-15"]},{"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":["Computer Science and Applications"]},{"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-01172009-063655"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/40670"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Most work in knowledge acquisition and manipulation has focused on expert systems. Expert systems solve one kind of problem: heuristic classification. This thesis extends some advances in knowledge engineering to a broader class of problem: design. Design is examined as a generic activity, found in many fields of professional practice. A theoretical framework is developed that supports the refinement of design from high-level concepts through implementation. This framework includes a computational model that is shown to be completely general (Turing-equivalent). Therefore, the theory and model are suitable for representing any design project. They are applied specifically to software development. Practical support for software designers is offered in a prototype software design system. Existing work in automated knowledge acquisition is used to transfer knowledge about a design from the designer to the automated tool. Consistent support for refinement of design choices at any level of detail makes design a maintainable activity. This opens new possibilities for automated code generation, automated maintenance, and the nlore effective management of software at a higher-level design representation."]},{"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":["Supporting design: a computational theory of design and its implementation in a software support tool"]}]}],"canonical_facts":{"dc:contributor.committeechair":["Roach, John W."],"dc:contributor.committeemember":["Hix, Deborah S.","McConnell, David E."],"dc:contributor.department":["Computer Science and Applications"],"dc:creator":["Holliday, Glenn E."],"dc:date.accessioned":["2014-03-14T21:27:26Z"],"dc:date.available":["2014-03-14T21:27:26Z","2009-01-17"],"dc:date.issued":["1994-05-15"],"dc:description.abstract":["Most work in knowledge acquisition and manipulation has focused on expert systems. Expert systems solve one kind of problem: heuristic classification. This thesis extends some advances in knowledge engineering to a broader class of problem: design. Design is examined as a generic activity, found in many fields of professional practice. A theoretical framework is developed that supports the refinement of design from high-level concepts through implementation. This framework includes a computational model that is shown to be completely general (Turing-equivalent). Therefore, the theory and model are suitable for representing any design project. They are applied specifically to software development. Practical support for software designers is offered in a prototype software design system. Existing work in automated knowledge acquisition is used to transfer knowledge about a design from the designer to the automated tool. Consistent support for refinement of design choices at any level of detail makes design a maintainable activity. This opens new possibilities for automated code generation, automated maintenance, and the nlore effective management of software at a higher-level design representation."],"dc:description.degree":["Master of Science"],"dc:format.medium":["BTD"],"dc:format.mimetype":["application/pdf"],"dc:identifier.other":["etd-01172009-063655"],"dc:identifier.uri":["http://hdl.handle.net/10919/40670"],"dc:language.iso":["en"],"dc:publisher":["Virginia Tech"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["Supporting design: a computational theory of design and its implementation in a software support tool"],"dc:type":["Thesis"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Computer Science and Applications"],"thesis:degree_level":["masters"],"thesis:degree_name":["Master of Science"],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:19:56Z"}