查詢結果分析
相關文獻
頁籤選單縮合
題 名 | Towards Quality of Software in TUG |
---|---|
作 者 | 蔣家駒; | 書刊名 | Journal of Information Science and Engineering |
卷 期 | 20:4 2004.07[民93.07] |
頁 次 | 頁575-615 |
分類號 | 312.121 |
關鍵詞 | Executable specifications; Formal method; Formal specifications; Proofs; Rapid prototyping; Reuse; Software transformations; TUG; Waterfall model; |
語 文 | 英文(English) |