计算机时代
計算機時代
계산궤시대
COMPUTER ERA
2009年
3期
42-45
,共4页
邹盛荣%郭忠伟%彭昱静%周塔%顾爱华%卫丽
鄒盛榮%郭忠偉%彭昱靜%週塔%顧愛華%衛麗
추성영%곽충위%팽욱정%주탑%고애화%위려
形式化方法%B方法%UML%类图%免疫系统
形式化方法%B方法%UML%類圖%免疫繫統
형식화방법%B방법%UML%류도%면역계통
形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术.文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例.
形式化B方法是建立在嚴格數學基礎上的軟件開髮方法,它用抽象機器符號來描述軟件的規格說明;UML是麵嚮對象的建模技術.文章提齣一種將B的實現轉換成UML類圖的機製,從而以期實現B方法到麵嚮對象編程的無縫連接,併結閤免疫繫統給齣瞭應用實例.
형식화B방법시건립재엄격수학기출상적연건개발방법,타용추상궤기부호래묘술연건적규격설명;UML시면향대상적건모기술.문장제출일충장B적실현전환성UML류도적궤제,종이이기실현B방법도면향대상편정적무봉련접,병결합면역계통급출료응용실례.
