河南大学学报(自然科学版)
河南大學學報(自然科學版)
하남대학학보(자연과학판)
JOURNAL OF HENAN UNIVERSITY(NATURAL SCIENCE)
2009年
3期
304-308
,共5页
B方法%形式化方法%规范说明%软件设计%POS
B方法%形式化方法%規範說明%軟件設計%POS
B방법%형식화방법%규범설명%연건설계%POS
随着应用的发展,计算机系统的一致性和可靠性变得越来越重要. 形式化方法以精确的数学语义为基础,能精确描述系统规范,严格验证规范的性质,从而更好地保证软件的一致性和可靠性. B形式化方法支持从规范说明到代码生成的整个软件开发周期. 在给出基于B方法的开发过程之后,以POS系统的开发过程为例,介绍B方法在实际软件开发中的应用.
隨著應用的髮展,計算機繫統的一緻性和可靠性變得越來越重要. 形式化方法以精確的數學語義為基礎,能精確描述繫統規範,嚴格驗證規範的性質,從而更好地保證軟件的一緻性和可靠性. B形式化方法支持從規範說明到代碼生成的整箇軟件開髮週期. 在給齣基于B方法的開髮過程之後,以POS繫統的開髮過程為例,介紹B方法在實際軟件開髮中的應用.
수착응용적발전,계산궤계통적일치성화가고성변득월래월중요. 형식화방법이정학적수학어의위기출,능정학묘술계통규범,엄격험증규범적성질,종이경호지보증연건적일치성화가고성. B형식화방법지지종규범설명도대마생성적정개연건개발주기. 재급출기우B방법적개발과정지후,이POS계통적개발과정위례,개소B방법재실제연건개발중적응용.