10.3969/j.issn.1000-3428.2007.07.101
基于Web的网络旅游服务系统的形式化B开发
形式化B方法支持从规格说明到代码生成的全部软件开发过程.结合网络旅游服务系统模型,讨论了形式化B方法的具体运用,在分析服务器端和客户端状态表示的基础上,给出了该系统的抽象机模型及其精化过程.
形式化方法、B方法、Web技术、抽象机
33
TP391(计算技术、计算机技术)
浙江省教育厅资助项目20031272
2007-05-28(万方平台首次上网日期,不代表论文的发表时间)
共4页
282-285