參考文獻在各個學科、各種類型出版物都有着明確的標註法。以下是本站小編爲您整理的計算機專業論文參考文獻，希望能提供幫助。
篇一：參考文獻
[1] 劉韜，樓興華.SQL Server2000 數據庫系統開發實例導航. 北京:人民郵電出版社，2004.
[2] 丁寶康，董健全. 數據庫實驗教程. 北京：清華大學出版社， 2003：125-170.
[3] 孫強. 基於ASP.NET 的專題網站的研究與設計. 東北師範大學，2006.
[4] Michele Leroux Bustamants.Secure your ASP.NET Apps and WCF services with Windows CardSpace. MSDN Magazine，April 2007.
[5] 肖建編. ASP.NET 編程實例與技巧集粹. 北京：北京希望電子出版社，2003.
[6] 巴茲拉等. ASP.NET 安全性進階編程. 北京：清華大學出版社，2003.
[7] Jesse Libert.Programming C#中文版. 電子工業出版社，2006.
[8] 米切爾的等編著. ASP.NET 權威指南. 北京：中國電力出版社，2003.
[9] 曾登高編著..NET 系統架構與開發. 北京：電子工業出版社，2003.
[10] Jeffrey Richter. Applied Microsoft .NET Framework programming.北京：清華大學出版社， 2003.
[11] 張海藩. 軟件工程導論. 北京：清華大學出版社， 2003.
篇二：參考文獻
[1] 馮燕奎， 趙德奎. JSP實用案例教程[M] 清華大學出版社， 2004， 5: 70-100
[2] 王家華 軟件工程[M] 東北大學出版社2001年3月303頁
[3] 王宜貴 軟件工程[M] 北京：機械工業出版社，2002：20-79
[4] 孫衛琴 精通struts[M]電子工業出版社 2004年8月 50-70
[5] 孫衛琴 精通hibernate[M]電子工業出版社 2005年4月 100-120
[6] 張洪斌 java2進階程序設計[M]中科多媒體出版社 2001年11月 85-90
[7] Jim Arlow UML2.0 and the Unified Process[M]機械工業出版社 2006年6月 30-40
[8] 林信良 spring2.0技術手冊[M]電子工業出版社 2006年6月 50-100
[9] 熊節、林儀明、峯、陳玉泉等主編[《CSDN社區電子雜誌——Java雜誌》創刊號]
[10]《程序員》雜誌 2007 年第4期
[11] 耿祥義編著.JSP基礎編程[M].清華大學出版社，2004.55-162
[12]徐建波，周新蓮.Web設計原理於編程技術[M].中南大學出版社，2005.185-193
[13] 孫鑫編著.Java Web開發詳解[M].電子工業出版社，2006.189-274
[14] 林上傑，林康司編著.JSP2.0技術手冊[M].電子工業出版社，2004.3-6
[15] 薩師煊，王珊.數據庫系統概論(第三版)[M].北京：高等教育出版社，1998.
[16] 蔡劍，景楠.Java Web應用開發：J2EE和Tomcat[M].北京：清華大學出版社，2004.
篇三：參考文獻
[1]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982，1(3)： 64-76.
[2]建模的價值IBMRational技術白皮書[R].
[3]邵維忠.楊芙清.面向對象的系統分析[M].北京：清華大學出版社.2000
[4]鄭紅軍.張乃孝.軟件幵發中的形式化方法[J].計算機科學.1997，24(6)： 90-96.
[5]王一川，石純一.基於n演算的一種Agent組織模型[J].計算機研宄與發展.2003， 40(2)： 163-168.
[6]阿麗亞娜5型火箭發射失敗的調查報告[R].
[7]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982，1(3)： 64-76.
[8]陳鑫，李宣東.基於設計演算的形式化用例分析建模框架[J].軟件學報.2008，19(10)： 2539-2549
[9]夏志翔，徐中偉，陳祖希等.UML模型形式化B方法轉換的實現[J].計算機應用與軟件.2011，28(11)： 15-20.
[10]袁曉東，鄭國樑的面向對象擴充COOZ的設計[J].軟件學報.1997，8(9)：694-700.
[11]周翔.邵志清.順序圖與狀態圖的遞歸語義一致性研宄[J].計算機科學.2010，37(8)：172-174.
[12]周翔，邵志清，薛炳蔚.基於ASM的活動圖一致性規則研究[J].計算機工程與設計.2009，30(19)： 4536-4539
[13]王紅英.基於Petri網的軟件模型驗證[D].華東師範大學，2007.