- 相關(guān)推薦
計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)參考
參考文獻(xiàn)是學(xué)術(shù)論文的一個(gè)重要組成部分,它不僅體現(xiàn)出是作者嚴(yán)謹(jǐn)?shù)膶W(xué)術(shù)精神,而且還是評(píng)價(jià)論文學(xué)術(shù)水平的重要依據(jù),下面是小編為大家整理的計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)參考,歡迎參考~
篇一:計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)參考
[1]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982,1(3): 64-76.
[2]建模的價(jià)值IBMRational技術(shù)白皮書[R].
[3]邵維忠.楊芙清.面向?qū)ο蟮南到y(tǒng)分析[M].北京:清華大學(xué)出版社.2000
[4]鄭紅軍.張乃孝.軟件幵發(fā)中的形式化方法[J].計(jì)算機(jī)科學(xué).1997,24(6): 90-96.
[5]王一川,石純一.基于n演算的一種Agent組織模型[J].計(jì)算機(jī)研宄與發(fā)展.2003, 40(2): 163-168.
[6]阿麗亞娜5型火箭發(fā)射失敗的調(diào)查報(bào)告[R].
[7]Booch G. Object-Oriented design[J]. ACM SIGAda Ada Letters. 1982,1(3): 64-76.
[8]陳鑫,李宣東.基于設(shè)計(jì)演算的形式化用例分析建?蚣躘J].軟件學(xué)報(bào).2008,19(10): 2539-2549
[9]夏志翔,徐中偉,陳祖希等.UML模型形式化B方法轉(zhuǎn)換的實(shí)現(xiàn)[J].計(jì)算機(jī)應(yīng)用與軟件.2011,28(11): 15-20.
[10]袁曉東,鄭國梁的面向?qū)ο髷U(kuò)充COOZ的設(shè)計(jì)[J].軟件學(xué)報(bào).1997,8(9):694-700.
[11]周翔.邵志清.順序圖與狀態(tài)圖的遞歸語義一致性研宄[J].計(jì)算機(jī)科學(xué).2010,37(8):172-174.
[12]周翔,邵志清,薛炳蔚.基于ASM的`活動(dòng)圖一致性規(guī)則研究[J].計(jì)算機(jī)工程與設(shè)計(jì).2009,30(19): 4536-4539
[13]王紅英.基于Petri網(wǎng)的軟件模型驗(yàn)證[D].華東師范大學(xué),2007.
[14]黃正寶,張廣泉.UML2.0順序圖的XYZ/E時(shí)序邏輯語義研究[J].計(jì)算機(jī)科學(xué).2006,33(8): 249-251.
[15]汪文元,沙基昌.譚東風(fēng).基于Petri網(wǎng)和UML活動(dòng)圖工作流建模比較[J].系統(tǒng)仿真學(xué)報(bào).2006, 18(2): 504-510
[16]Kroll P,Kruchten P. The rational unified process made easy: a practitioner's guide to the RUP[M]. Addison-Wesley Professional. 2003.
[17]Seung Mo Cho,Hyung Ho Kim, Sung Deok Cha etc al. A semantics of sequence diagrams [J]. Information Processing Letters 84. 2002: 125-130
篇二:計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)參考
[1]王仁宏,數(shù)值逼近(第2版),高等教育出版社,2012.
[2]姚永雷.Web服務(wù)自動(dòng)協(xié)商機(jī)制研究(博士論文).北京郵電大學(xué).2007.
[3]程昱.面向自治計(jì)算的自動(dòng)服務(wù)協(xié)商研究(博士論文).浙江大學(xué).2008.
[4]程皇.高濟(jì).基于機(jī)器學(xué)習(xí)的自動(dòng)協(xié)商決策模型.軟件學(xué)報(bào).2009,20(8):2160-2169.
[5]郭靜.陳英武.1-多交互協(xié)議本體的描述.計(jì)算機(jī)工程.2008,34(12):162-166.
[6]翟社平.魏娟麗.李增智.基于概念語義協(xié)商的服務(wù)Agent劃分.電子學(xué)報(bào).2010,38(9):2030-2034.
[7]張林蘭,電子市場中的雙邊同步自動(dòng)協(xié)商研宄(博士論文),華中科技大學(xué),2010.
[8]王斌.李艷.基于多Agent系統(tǒng)的自動(dòng)協(xié)商機(jī)制及通用協(xié)商框架.計(jì)算機(jī)工程與科學(xué).2009,31(1):95-98.
[9]徐明.蔡鴻明.姜麗紅.基于加速遺傳模擬退火算法的.協(xié)商策略研究.計(jì)算機(jī)應(yīng)用與軟件.2010,27(4):1-3.
[10]甘早斌.朱春喜.馬務(wù)等.基于遺傳算法的關(guān)聯(lián)議題并發(fā)談判.軟件學(xué)報(bào).2012,23(11):2987-2999.
[11]侯薇.董紅斌.印桂生.基于Bayesian學(xué)習(xí)的適應(yīng)性優(yōu)化協(xié)商模型.計(jì)算機(jī)研究與發(fā)展.2014,51(4):721-730.
[12]孫天昊.電子商務(wù)中一對(duì)多協(xié)商研宄(博士論文).重慶大學(xué).2008.
[13]吳國全.基于模式的復(fù)合服務(wù)監(jiān)管關(guān)鍵技術(shù)研宄(博士論文).中國科學(xué)技術(shù)大學(xué).2009.
[14]程志文.趙俊.李田等.Web服務(wù)QoS數(shù)據(jù)多源采集方法及實(shí)現(xiàn).計(jì)算機(jī)科學(xué).2009,8(8):180-211.
[15]于衛(wèi)紅.基于JADE平臺(tái)的多Agent系統(tǒng)開發(fā)技術(shù).國防工業(yè)出版社.2011.
[16]甘健侯,姜躍,夏幼明,本體方法及其應(yīng)用,科學(xué)出版社,2011.
相關(guān)文章:
1.計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)參考
2.最新計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)
3.2015計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)
4.2016計(jì)算機(jī)專業(yè)論文參考文獻(xiàn)
5.畢業(yè)論文參考文獻(xiàn)代碼大全
6.計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)
7.計(jì)算機(jī)系畢業(yè)論文參考文獻(xiàn)
8.2016計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)
9.計(jì)算機(jī)畢業(yè)論文參考文獻(xiàn)
10.畢業(yè)論文中各種類型參考文獻(xiàn)引用的標(biāo)注方法
【計(jì)算機(jī)專業(yè)畢業(yè)論文參考文獻(xiàn)參考】相關(guān)文章:
建筑專業(yè)畢業(yè)論文參考文獻(xiàn)07-04
旅游管理專業(yè)畢業(yè)論文參考文獻(xiàn)08-19
畢業(yè)論文參考文獻(xiàn)09-25
計(jì)算機(jī)類畢業(yè)論文參考文獻(xiàn)范例07-25
畢業(yè)論文參考文獻(xiàn)作用10-05
畢業(yè)論文參考文獻(xiàn)格式04-23
網(wǎng)絡(luò)金融畢業(yè)論文參考文獻(xiàn)08-05