Development of Web-based Travel Agency System Using B Method
LI Xin-ben · Jisuanji gongcheng · 2007
Bmethod is one of the formal methods,which supports the whole process of software development from the specification to code generation.This paper applies the B method to Web-based travel agency system,based on the analysis of the state representation in server and client side the formal abstract machine as well as its refinements is given.