计算机专业毕业论文参考文献

计算机专业毕业论文参考文献计算机专业毕业论文参考文献范文篇一：计算机专业毕业论文参考文献范文BoochG.Object-Orienteddesign[J].ACMSIGAdaAdaLetters.1982,1(3)：64-76.建模的价值IBMRational技术白皮书[R].邵维忠.杨芙清.面向对象的系统分析[M].北京：清华大学出版社.2000郑红军•张乃孝.软件幵发中的形式化方法[J].计算机科学.1997,24(6)：90-96.王一川，石纯一.基于n演算的一种Agent组织模型[J].计算机研宄与发展.2003,40(2)： 163-168.阿丽亚娜5型火箭发射失败的调查报告[R].BoochG.Object-Orienteddesign[J].ACMSIGAdaAdaLetters.1982,1(3)： 64-76.陈鑫，李宣东.基于设计演算的形式化用例分析建模框架[J].软件学报.2008,19(10)： 2539-2549夏志翔，徐中伟，陈祖希等.UML模型形式化B方法转换的实现[J].计算机应用与软件.2011,28(11)：15-20.袁晓东，郑国梁的面向对象扩充COOZ的设计[J].软件学报.1997,8(9)：694-700.周翔•邵志清•顺序图与状态图的递归语义一致性研宄[J].计算机科学.2010,37(8)：172-174.周翔，邵志清，薛炳蔚•基于ASM的活动图一致性规则研究[J].计算机工程与设计.2009,30(19)： 4536-4539王红英.基于Petri网的软件模型验证[D].华东师范大学，2007.黄正宝，张广泉.UML2.0顺序图的XYZ/E时序逻辑语义研究[J].计算机科学.2006,33(8)： 249-251.汪文元，沙基昌•谭东风•基于Petri网和UML活动图工作流建模比较[J].系统仿真学报.2006,18(2)： 504-510KrollP,KruchtenP.Therationalunifiedprocessmadeeasy:apractitioner'sguidetotheRUP[M].Addison-WesleyProfessional.2003.SeungMoCho,HyungHoKim,SungDeokChaetcal.Asemanticsofsequencediagrams[J].InformationProcessingLetters84.2002:125130篇二：计算机专业毕业论文参考文献范文[1]王仁宏,数值逼近(第2版),高等教育出版社,2012.姚永雷.Web服务自动协商机制研究(博士论文).北京邮电大学.2007.程昱.面向自治计算的自动服务协商研究(博士论文).浙江大学.2008.程皇.高济.基于机器学习的自动协商决策模型.软件学报.2009,20(8)：2160-2169.郭静.陈英武.1-多交互协议本体的描述.计算机工程.2008,34(12)：162-166.翟社平.魏娟丽.李增智.基于概念语义协商的.服务Agent划分.电子学报.2010,38(9)：2030-2034.张林兰,电子市场中的双边同步自动协商研宄(博士论文),华中科技大学,2010.王斌.李艳.基于多Agent系统的自动协商机制及通用协商框架.计算机工程与科学.2009,31(1)：95-98.徐明.蔡鸿明.姜丽红.基于加速遗传模拟退火算法的协商策略研究.计算机应用与软件.2010,27(4)：1-3.甘早斌.朱春喜.马务等.基于遗传算法的关联议题并发谈判.软件学报.2012,23(11)：2987-2999.侯薇.董红斌.印桂生.基于Bayesian学习的适应性优化协商模型.计算机研究与发展.2014,51(4)：721-730.孙天昊.电子商务中一对多协商研宄(博士论文).重庆大学.2008.吴国全.基于模式的复合服务监管关键技术研宄(博士论文).中国科学技术大学.2009.[14]程志文.赵俊.李田等.Web服务QoS数据多源采集方法及实现.计算机