- 學位論文
以證據為基礎的物件導向軟體認證方法
Evidence-Based Verification and Validation for Object Oriented Software
若您是本文的作者，可授權文章由華藝線上圖書館中協助推廣。
被引用紀錄
侯玉中（1998）。提升可信度的軟體驗證與確認方法〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-0112200611322797
延伸閱讀
- 黃韋豪（1995）。以證據為基礎的軟體認證方式〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-0112200611342504
- 陳世旻（2011）。嚴格證明法則下之人證據方法架構。萬國法律，(180)，78-92。https://doi.org/10.30161/FLR.201112.0011
- 趙相科、高倚萱（2023）。實證醫學中的科學證據：證據階層的實作與科學哲學觀點。歐美研究，53(1)，59-98。https://doi.org/10.7015/JEAS.202303_53(1).0002
- 賴鴻義（1994）。以參考架構為基礎的軟體安全分析法〔碩士論文，元智大學〕。華藝線上圖書館。https://www.airitilibrary.com/Article/Detail?DocID=U0009-3004200913340640
- Wu, C. K. (2004). Constraint-based Software Specification and Safety Verification [master's thesis, Yuan Ze University]. Airiti Library. https://www.airitilibrary.com/Article/Detail?DocID=U0009-0112200611291134