10.3969/j.issn.1002-2279.2004.01.015
基于UML的形式化规范说明研究
软件的规范说明阶段(specification phase)对于软件的整体开发过程来说是一个非常重要的阶段,UML方法是目前比较流行的软件工程开发方法,它对软件整体开发过程提供了一套有用的模型.本文根据UML和谓词转换,提出一种面向对象的形式化规范说明方法,并给出一组和UML相对应的数学模型.本文的方法吸收了UML和一般形式化方法的优点,具有数学的严谨性和精确性,并且更加易于理解和表达.
规范说明、UML、谓词转移
25
TP311(计算技术、计算机技术)
2004-04-02(万方平台首次上网日期,不代表论文的发表时间)
共3页
44-46