基于Web的网络旅游服务系统的形式化B开发

• 作者: 李信本
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化方法 B方法 Web技术 抽象机
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 开发研究与设计技术
• 页码范围: 282-285
• 页数: 4页
• 分类号: TP391
• 字数: 5027字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.07.101

摘要

形式化B方法支持从规格说明到代码生成的全部软件开发过程.结合网络旅游服务系统模型,讨论了形式化B方法的具体运用,在分析服务器端和客户端状态表示的基础上,给出了该系统的抽象机模型及其精化过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李信本	浙江万里学院计算机与信息学院	4	40	3.0	4.0