微处理机
微處理機
미처리궤
MICROPROCESSORS
2004年
1期
44-46
,共3页
规范说明%UML%谓词转移
規範說明%UML%謂詞轉移
규범설명%UML%위사전이
软件的规范说明阶段(specification phase)对于软件的整体开发过程来说是一个非常重要的阶段,UML方法是目前比较流行的软件工程开发方法,它对软件整体开发过程提供了一套有用的模型.本文根据UML和谓词转换,提出一种面向对象的形式化规范说明方法,并给出一组和UML相对应的数学模型.本文的方法吸收了UML和一般形式化方法的优点,具有数学的严谨性和精确性,并且更加易于理解和表达.
軟件的規範說明階段(specification phase)對于軟件的整體開髮過程來說是一箇非常重要的階段,UML方法是目前比較流行的軟件工程開髮方法,它對軟件整體開髮過程提供瞭一套有用的模型.本文根據UML和謂詞轉換,提齣一種麵嚮對象的形式化規範說明方法,併給齣一組和UML相對應的數學模型.本文的方法吸收瞭UML和一般形式化方法的優點,具有數學的嚴謹性和精確性,併且更加易于理解和錶達.
연건적규범설명계단(specification phase)대우연건적정체개발과정래설시일개비상중요적계단,UML방법시목전비교류행적연건공정개발방법,타대연건정체개발과정제공료일투유용적모형.본문근거UML화위사전환,제출일충면향대상적형식화규범설명방법,병급출일조화UML상대응적수학모형.본문적방법흡수료UML화일반형식화방법적우점,구유수학적엄근성화정학성,병차경가역우리해화표체.
