Computer Science ›› 2015, Vol. 42 ›› Issue (12): 120-123.
Previous Articles Next Articles
KAI Jin-yu, MIAO Huai-kou and GAO Hong-hao
[1] 陈碧欢.基于需求和体系结构的软件系统自适应方法[D].上海:复旦大学,2014 Chen Bi-huan.Requirements- and Architecture-based Self-adaptation of Software Systems[D].Shanghai:Fudan University,2014 [2] Wang Zhen-zhen.Survey of Model Checking[J].ComputerScience,2013,40(Z6):1-14 [3] Calinescu R,Ghezzi C,Kwiatkowska M,et al.Self-adaptive software needs quantitative verification at runtime[J].Communications of the ACM,2012,55(9):69-77 [4] Cardoso J,Sheth A,Miller J,et al.Quality of service for workflows and Web service processes[J].Web Semantics:Science,Services and Agents on the World Wide Web,2004,1(3):281-308 [5] 范小芹,蒋昌俊,王俊丽,等.随机 QoS 感知的可靠Web服务组合[J].软件学报,2009,20(3):546-556 Fan X Q,Jiang C J,Wang J L,et al.Random-QoS-Aware reliable Web service composition[J].Journal of Software,2009,0(3):546-556 [6] 刘阳.基于概率模型验证的服务流程建模与验证[D].上海:上海大学,2012 Liu Yang.Probabilistic Model Checking-based Modeling and Verification for Service Flow[D].Shanghai:Shanghai University,2012 [7] Ricca F,Tonella P.Web site analysis:structure and evolution[C]∥Proceedings of the International Conference on Software Maintenance.San Jose,California,USA,2000:76-86 [8] Tramontana P.Reverse Engineering Web Applications[C]∥Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM05).Budapest,Hungary,2005:705-708 [9] Bellettini C,Marchetto A,Trentini A.WebUml:Reverse Engineering of Web Applications[C]∥SAC.2004:1662-1669 [10] 高洪皓.基于概率模型验证的Web服务动态自适应配置[D].上海:上海大学,2012 Gao Hong-hao.Dynamic Self-adaption Reconfiguration of Web Service using Probabilistic Model Checking[D].Shanghai:Shanghai Univerisity,2012 [11] 王晶,戎玫,张广泉,等.基于概率模型检测的Web服务组合验证[J].计算机科学,2012,9(1):120-123 Wang Jing,Rong Mei,Zhang Guang-quan,et al.Validation of Web Service Composition Based on Probabilitist Model Checking[J].Computer Science,2012,9(1):120-123 [12] Filieri A,Ghezzi C,Tamburrelli G.Run-time efficient probabilistic model checking[C]∥Proceedings of the 33rd International Conference on Software Engineering.ACM,2011:341-350 [13] van der Meulen M J P,Strigini L,Revilla M A.On the effectiveness of run-time checks[M]∥Computer Safety,Reliability,and Security.Springer Berlin Heidelberg,2005:151-164 |
No related articles found! |
|