Computer Science ›› 2013, Vol. 40 ›› Issue (11): 191-196.
Previous Articles Next Articles
TANG Shan,LI Li-ping and TAN Wen-an
[1] Kephart J O,Chess D M.The Vision of Autonomic Computing[J].Computer,2003,6(1):41-50 [2] van Lamsweerde A.Goal-Oriented Requirements Engineering:A Guided Tour[C]∥Proceedings RE’01,5th IEEE International Symposium on Requirements Engineering.Toronto, 2001:249-263 [3] van Lamsweerde A,Letier E.Handling Obstacles in Goal-oriented Requirements Engineering[J].IEEE Transactions on Software Engineering,2000,26(10):978-1005 [4] Clarke E M,Grumberg O,Peled D A.Model Checking[M].The MIT Press,2001 [5] Taher L,Basha R,Khatib H E.Qos Information & Computation(QoS-IC)Framework for QoS-based Discovery of Web services[J].The European Journal for the Informatics Professional,2005,6(4) [6] Mani A,Nagarajan A.Understanding quality of service for Web services.http://www-128.ibm.com/developerworks/webservices/library/ws-quality.html [7] Dalpiaz F,Giorgini P,Mylopoulos J.An architecture for requirements-driven self-reconfiguration[C]∥Proceedings,CAiSE,Volume 5565of LNCS.Springer,2009:246-260 [8] Lee I,Ben-Abdallah H,Kannan S,et al.A monitoring and checking framework for run-time correctness assurance[C]∥Proceedings of the 1998Korea-U.S.Technical Conference on Strategic Technologies.1998 [9] Li Zheng,Jin Yan,Han Jun.A Runtime Monitoring and Validation Framework for Web Service Interactions[C]∥Proceedings of ASWEC’06Proceedings of the Australian Software Enginee-ring Conference.IEEE Computer Society,2006:70-79 [10] Chen Feng,Rosu G.MOP:An Efficient and Generic RuntimeVerification Framework[R].Technical report UIUCDCS-R-2007-2836.March 2007 [11] Simmonds J,Ben-David S,Chechik M.Monitoring and Recovery of Web Service Applications[C]∥The Smart Internet 2010.Springer,2010:250-288 [12] Amin A,Colman A,Grunske L.Using Automated ControlCharts for the Runtime Evaluation of QoS Attributes[C]∥Proceedings of the 13ht IEEE International High Assurance Systems Engineering Symposium.IEEE Computer Society,2011:299-306 [13] Delgado N,Gates A Q,Roach S.A Taxonomy and Catalog ofRuntime Software-Fault Monitoring Tools[J].IEEE Transactions on Software Engineering,2004,30(12):859-872 [14] Avgustinov P,Bodden E,Hajiyev E,et al.Aspect for trace monitoring[C]∥Proc of Formal Approaches to Testing Systems and Runtime Verification(FATES/RV 2006).LNCS 4262,2006:20-39 [15] Bodden E.A lightweight LTL runtime verification tool for Java[C]∥Proc of OOPSLA.2004:306-307 |
No related articles found! |
|