{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/43182"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/43182","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"Back annotation for conceptual structures","abstract":"The design of digital systems is getting more complex with rapid improvements in VLSI design which can accommodate many millions of gates in one integrated chip (IC). Additionally, the speed with which the design is completed is also becoming significant due to the demands of the market for the ICs. Tools to automate the initial design process can make the designer's task simpler and more accurate. The ASPIN system being built at Virginia Polytechnic Institute and State University focuses on deriving a synthesizable model for a digital system from various kinds of informal specifications( e.g. natural language descriptions, flowcharts, block diagrams, timing diagrams). This thesis describes an interactive tool for validating and correcting formal models acquired from natural language specifications of digital system. Validation is important since the formal models have to be devoid of any ambiguities which might be present in the natural language specifications. The information acquired from the specifications is stored in an intermediate graphical notation called conceptual graphs. A preliminary tool called the Model Generator can produce a graphical display from conceptual graphs which helps the user visualize the model contained in the conceptual graph. The Back Annotator which is described in this thesis lets the user correct any misinterpretations by making changes to the graphical display such as additions, deletions, modifications, and movement","abstract_html":"The design of digital systems is getting more complex with rapid improvements in VLSI design which can accommodate many millions of gates in one integrated chip (IC). Additionally, the speed with which the design is completed is also becoming significant due to the demands of the market for the ICs. Tools to automate the initial design process can make the designer's task simpler and more accurate. The ASPIN system being built at Virginia Polytechnic Institute and State University focuses on deriving a synthesizable model for a digital system from various kinds of informal specifications( e.g. natural language descriptions, flowcharts, block diagrams, timing diagrams). This thesis describes an interactive tool for validating and correcting formal models acquired from natural language specifications of digital system. Validation is important since the formal models have to be devoid of any ambiguities which might be present in the natural language specifications. The information acquired from the specifications is stored in an intermediate graphical notation called conceptual graphs. A preliminary tool called the Model Generator can produce a graphical display from conceptual graphs which helps the user visualize the model contained in the conceptual graph. The Back Annotator which is described in this thesis lets the user correct any misinterpretations by making changes to the graphical display such as additions, deletions, modifications, and movement","abstract_has_math":false,"creators":["Balachandar, Shreerekha"],"institution":"Virginia Tech","degree_name":"Master of Science","degree_level":"masters","degree_discipline":"Electrical Engineering","degree_department":"Electrical Engineering","school":null,"contributors":[],"advisors":[],"committee_chairs":["Cyre, Walling R."],"committee_members":["Gray, Festus Gail","Armstrong, James R."],"year":1995,"date_issued":"1995-07-08","date_published":"1995-07-08","updated_at":"2026-07-22T22:20:12Z","subjects":["back annotator","model generator"],"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-06112009-063732"],"render_values":[{"text":"etd-06112009-063732","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/10919/43182","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.committeechair","label":"Committee Chair","values":["Cyre, Walling R."]},{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Gray, Festus Gail","Armstrong, James R."]},{"key":"dc:contributor.department","label":"Department","values":["Electrical Engineering"]},{"key":"dc:creator","label":"Author","values":["Balachandar, Shreerekha"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-03-14T21:38:03Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-03-14T21:38:03Z","2009-06-11"]},{"key":"dc:date.issued","label":"Date","values":["1995-07-08"]},{"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":["Electrical Engineering"]},{"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":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["back annotator","model generator"]}]},{"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-06112009-063732"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/43182"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["The design of digital systems is getting more complex with rapid improvements in VLSI design which can accommodate many millions of gates in one integrated chip (IC). Additionally, the speed with which the design is completed is also becoming significant due to the demands of the market for the ICs. Tools to automate the initial design process can make the designer's task simpler and more accurate. The ASPIN system being built at Virginia Polytechnic Institute and State University focuses on deriving a synthesizable model for a digital system from various kinds of informal specifications( e.g. natural language descriptions, flowcharts, block diagrams, timing diagrams). This thesis describes an interactive tool for validating and correcting formal models acquired from natural language specifications of digital system. Validation is important since the formal models have to be devoid of any ambiguities which might be present in the natural language specifications. The information acquired from the specifications is stored in an intermediate graphical notation called conceptual graphs. A preliminary tool called the Model Generator can produce a graphical display from conceptual graphs which helps the user visualize the model contained in the conceptual graph. The Back Annotator which is described in this thesis lets the user correct any misinterpretations by making changes to the graphical display such as additions, deletions, modifications, and movement"]},{"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":["Back annotation for conceptual structures"]}]}],"canonical_facts":{"dc:contributor.committeechair":["Cyre, Walling R."],"dc:contributor.committeemember":["Gray, Festus Gail","Armstrong, James R."],"dc:contributor.department":["Electrical Engineering"],"dc:creator":["Balachandar, Shreerekha"],"dc:date.accessioned":["2014-03-14T21:38:03Z"],"dc:date.available":["2014-03-14T21:38:03Z","2009-06-11"],"dc:date.issued":["1995-07-08"],"dc:description.abstract":["The design of digital systems is getting more complex with rapid improvements in VLSI design which can accommodate many millions of gates in one integrated chip (IC). Additionally, the speed with which the design is completed is also becoming significant due to the demands of the market for the ICs. Tools to automate the initial design process can make the designer's task simpler and more accurate. The ASPIN system being built at Virginia Polytechnic Institute and State University focuses on deriving a synthesizable model for a digital system from various kinds of informal specifications( e.g. natural language descriptions, flowcharts, block diagrams, timing diagrams). This thesis describes an interactive tool for validating and correcting formal models acquired from natural language specifications of digital system. Validation is important since the formal models have to be devoid of any ambiguities which might be present in the natural language specifications. The information acquired from the specifications is stored in an intermediate graphical notation called conceptual graphs. A preliminary tool called the Model Generator can produce a graphical display from conceptual graphs which helps the user visualize the model contained in the conceptual graph. The Back Annotator which is described in this thesis lets the user correct any misinterpretations by making changes to the graphical display such as additions, deletions, modifications, and movement"],"dc:description.degree":["Master of Science"],"dc:format.medium":["BTD"],"dc:format.mimetype":["application/pdf"],"dc:identifier.other":["etd-06112009-063732"],"dc:identifier.uri":["http://hdl.handle.net/10919/43182"],"dc:language.iso":["en"],"dc:publisher":["Virginia Tech"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:subject":["back annotator","model generator"],"dc:title":["Back annotation for conceptual structures"],"dc:type":["Thesis"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Electrical Engineering"],"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:12Z"}