Author:
Hu Kai,Lei Lei,Tsai Wei-Tek
Funder
National Natural Science Foundations of China
State Key Laboratory of Software Development Environment
Aviation Science Foundation of China
Subject
Hardware and Architecture,Modeling and Simulation,Software
Reference38 articles.
1. Software-as-a-Service (SaaS): perspectives and challenges;Tsai;Sci. China Inf. Sci.,2014
2. Lian Yu, W.T. Tsai, et al., Testing as a service over cloud. Service Oriented System Engineering (SOSE), in: 2010 Fifth IEEE International Symposium on Service Oriented System Engineering.
3. W.T. Tsai, Y. Huang, X.Y. Bai, J. Gao, Scalable architecture for SaaS, in: Proceedings of 15th IEEE International Symposium on Object Component Service-oriented Real-time Distributed Computing, ISORC’12, April 2012.
4. Formal methods: state of the art and future directions;Clarke;ACM Comput. Surv.,1996
5. Software Development An Introduction to Program Verification;Almeida,2011
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献