内蒙古民族大学学报（自然科学版）
內矇古民族大學學報（自然科學版）
내몽고민족대학학보（자연과학판）
JOURNAL OF INNER MONGOLIA UNIVERSITY FOR NATIONALITIES(NATURAL SCIENCES)
2010年
2期
166-167
,共2页
形式化方法%软件%可靠性
形式化方法%軟件%可靠性
형식화방법%연건%가고성
形式化方法是一种基于数学的表示方法.它的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致,不明确或不完整,有助于增加软件开发人员对系统的理解,因此形式化表示方法是提高软件系统,特别是Safety-Critical系统的安全性与可靠性的重要手段.
形式化方法是一種基于數學的錶示方法.它的意義在于它能幫助髮現其它方法不容易髮現的繫統描述的不一緻,不明確或不完整,有助于增加軟件開髮人員對繫統的理解,因此形式化錶示方法是提高軟件繫統,特彆是Safety-Critical繫統的安全性與可靠性的重要手段.
형식화방법시일충기우수학적표시방법.타적의의재우타능방조발현기타방법불용역발현적계통묘술적불일치,불명학혹불완정,유조우증가연건개발인원대계통적리해,인차형식화표시방법시제고연건계통,특별시Safety-Critical계통적안전성여가고성적중요수단.
