Show simple item record

dc.contributor.authorHsu, Yung-Kaoen_US
dc.date.accessioned2006-03-10T19:23:29Z
dc.date.available2006-03-10T19:23:29Z
dc.date.issued1991en_US
dc.identifier.urihttp://hdl.handle.net/1853/8185
dc.format.extent237 bytes
dc.format.mimetypetext/html
dc.language.isoen_US
dc.publisherGeorgia Institute of Technologyen_US
dc.rightsAccess restricted to authorized Georgia Tech users only.en_US
dc.subject.lcshComputer programmingen_US
dc.subject.lcshComputer software Developmenten_US
dc.titleA methodology for refining formal software specification using transformation-based toolsen_US
dc.typeDissertationen_US
dc.description.degreePh.D.en_US
dc.contributor.departmentInformation Scienceen_US
dc.description.advisorRichard J. LeBlanc
dc.identifier.bibid344485en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record