A knowledge-based specification system.
dc.contributor.author | Zhang, Xianghui | en_US |
dc.contributor.advisor | Teichroew, Daniel | en_US |
dc.date.accessioned | 2014-02-24T16:27:06Z | |
dc.date.available | 2014-02-24T16:27:06Z | |
dc.date.issued | 1990 | en_US |
dc.identifier.other | (UMI)AAI9116339 | en_US |
dc.identifier.uri | http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:9116339 | en_US |
dc.identifier.uri | https://hdl.handle.net/2027.42/105321 | |
dc.description.abstract | One of the most important causes for the vast cost of software development is inconsistency and incompleteness, and inaccurate estimation of software development cost. This dissertation presents a paradigm for specifying systems with a knowledge-based approach. The specification activities are further divided into domain customization, specification documentation and specification examination. The domain knowledge in the domain customization step is used to check for the consistency and completeness of the specification. Theorem-proving and prototyping techniques are used to conduct the consistency and completeness checking. A modified Functional Point method is used to estimate the potential effort needed. A natural language specification is generated in the specification documentation step. A prototype of the knowledge-based approach is implemented to show its feasibility. The results from the prototype are satisfactory. | en_US |
dc.format.extent | 218 p. | en_US |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Computer Science | en_US |
dc.title | A knowledge-based specification system. | en_US |
dc.type | Thesis | en_US |
dc.description.thesisdegreename | PhD | en_US |
dc.description.thesisdegreediscipline | Computer, Information, and Control Engineering | en_US |
dc.description.thesisdegreegrantor | University of Michigan, Horace H. Rackham School of Graduate Studies | en_US |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/105321/1/9116339.pdf | |
dc.description.filedescription | Description of 9116339.pdf : Restricted to UM users only. | en_US |
dc.owningcollname | Dissertations and Theses (Ph.D. and Master's) |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.