Back annotation for conceptual structures

Simple item page
dc.contributor.authorBalachandar, Shreerekhaen
dc.contributor.committeechairCyre, Walling R.en
dc.contributor.committeememberGray, Festus Gailen
dc.contributor.committeememberArmstrong, James R.en
dc.contributor.departmentElectrical Engineeringen
dc.date.accessioned2014-03-14T21:38:03Zen
dc.date.adate2009-06-11en
dc.date.available2014-03-14T21:38:03Zen
dc.date.issued1995-07-08en
dc.date.rdate2009-06-11en
dc.date.sdate2009-06-11en
dc.description.abstractThe 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 movementen
dc.description.degreeMaster of Scienceen
dc.format.extentx, 99 leavesen
dc.format.mediumBTDen
dc.format.mimetypeapplication/pdfen
dc.identifier.otheretd-06112009-063732en
dc.identifier.sourceurlhttp://scholar.lib.vt.edu/theses/available/etd-06112009-063732/en
dc.identifier.urihttp://hdl.handle.net/10919/43182en
dc.language.isoenen
dc.publisherVirginia Techen
dc.relation.haspartLD5655.V855_1995.B359.pdfen
dc.relation.isformatofOCLC# 34306456en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectback annotatoren
dc.subjectmodel generatoren
dc.subject.lccLD5655.V855 1995.B359en
dc.titleBack annotation for conceptual structuresen
dc.typeThesisen
dc.type.dcmitypeTexten
thesis.degree.disciplineElectrical Engineeringen
thesis.degree.grantorVirginia Polytechnic Institute and State Universityen
thesis.degree.levelmastersen
thesis.degree.nameMaster of Scienceen

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
LD5655.V855_1995.B359.pdf
Size:
2.6 MB
Format:
Adobe Portable Document Format
Download

Collections

Masters Theses