A methodology for refining formal software specification using transformation-based tools

Bibliographic Details
Main Author:	Hsu, Yung-Kao
Format:	Others
Language:	en_US
Published:	Georgia Institute of Technology 2006
Subjects:	Computer programming Computer software Development
Online Access:	http://hdl.handle.net/1853/8185

id	ndltd-GATECH-oai-smartech.gatech.edu-1853-8185
record_format	oai_dc
spelling	ndltd-GATECH-oai-smartech.gatech.edu-1853-81852013-12-15T03:31:08ZA methodology for refining formal software specification using transformation-based toolsHsu, Yung-KaoComputer programmingComputer software DevelopmentGeorgia Institute of Technology2006-03-10T19:23:29Z2006-03-10T19:23:29Z1991Dissertation237 bytestext/htmlhttp://hdl.handle.net/1853/8185344485en_USAccess restricted to authorized Georgia Tech users only.
collection	NDLTD
language	en_US
format	Others
sources	NDLTD
topic	Computer programming Computer software Development
spellingShingle	Computer programming Computer software Development Hsu, Yung-Kao A methodology for refining formal software specification using transformation-based tools
author	Hsu, Yung-Kao
author_facet	Hsu, Yung-Kao
author_sort	Hsu, Yung-Kao
title	A methodology for refining formal software specification using transformation-based tools
title_short	A methodology for refining formal software specification using transformation-based tools
title_full	A methodology for refining formal software specification using transformation-based tools
title_fullStr	A methodology for refining formal software specification using transformation-based tools
title_full_unstemmed	A methodology for refining formal software specification using transformation-based tools
title_sort	methodology for refining formal software specification using transformation-based tools
publisher	Georgia Institute of Technology
publishDate	2006
url	http://hdl.handle.net/1853/8185
work_keys_str_mv	AT hsuyungkao amethodologyforrefiningformalsoftwarespecificationusingtransformationbasedtools AT hsuyungkao methodologyforrefiningformalsoftwarespecificationusingtransformationbasedtools
_version_	1716616929574125568

A methodology for refining formal software specification using transformation-based tools

Similar Items