信息技术
信息技術
신식기술
INFORMATION TECHNOLOGY
2008年
1期
101-103,107
,共4页
形式化方法%电梯控制%B方法%抽象机
形式化方法%電梯控製%B方法%抽象機
형식화방법%전제공제%B방법%추상궤
B方法是一种新的形式化方法,使用B方法开发软件可有效提高软件的可靠性、可复用性和开发效率.文中使用B方法对电梯控制系统建立了抽象机模型并对其进行活性证明,自动生成相应软件,提高了电梯控制系统的可靠性和稳定性.
B方法是一種新的形式化方法,使用B方法開髮軟件可有效提高軟件的可靠性、可複用性和開髮效率.文中使用B方法對電梯控製繫統建立瞭抽象機模型併對其進行活性證明,自動生成相應軟件,提高瞭電梯控製繫統的可靠性和穩定性.
B방법시일충신적형식화방법,사용B방법개발연건가유효제고연건적가고성、가복용성화개발효솔.문중사용B방법대전제공제계통건립료추상궤모형병대기진행활성증명,자동생성상응연건,제고료전제공제계통적가고성화은정성.
