Using Z specification to object-oriented software testing
學年 85
學期 1
發表日期 1996-10-01
作品名稱 Using Z specification to object-oriented software testing
作品名稱(其他語言)
著者 莊淇銘; Chung, Chi-ming; Shih, Timothy K.; Kuo, Ying-feng; Wang, Chun-chin
作品所屬單位 淡江大學資訊工程學系
出版者
會議名稱
會議地點
摘要
關鍵字
語言 en
收錄於
會議性質
校內研討會地點
研討會時間
通訊作者
國別
公開徵稿
出版型式
出處 The 14th pacific northwest software quality conference, Portland, Oregon, U.S.A., pp.281-298
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/37558 )

機構典藏連結