摘要:形式化B方法是建立在嚴格數學基礎上的軟件開發方法,它用抽象機器符號來描述軟件的規格說明;UML是面向對象的建模技術。文章提出一種將B的實現轉換成UML類圖的機制,從而以期實現B方法到面向對象編程的無縫連接,并結合免疫系統給出了應用實例。
關鍵詞:形式化方法;B方法;UML;類圖;免疫系統
計算機時代2009年3期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業管理與科技》2024年6期
9《現代食品》2024年4期
10《衛生職業教育》2024年10期
關于參考網