形式方法论文

基于形式方法面向服务的Web软件开发技术研究
论文摘要网络技术的飞速发展,给人们的工作、生活方式带来了极大的变化,人们对网络的需求与依赖也越来越明显,对Web软件的需求也越来越多,例如电子政（商）务等。Web环境的开放性、...