南昌大学学报（理科版）
南昌大學學報（理科版）
남창대학학보（이과판）
JOURNAL OF NANCHANG UNIVERSITY(NATURAL SCIENCE)
2005年
1期
99-102
,共4页
VDM%维也纳分析方法%程序证明%软件开发方法
VDM%維也納分析方法%程序證明%軟件開髮方法
VDM%유야납분석방법%정서증명%연건개발방법
介绍了软件开发方法中的一种形式化分析方法:Vienna Development Method(VDM).阐述了形式化分析方法的特点,具体说明了维也纳分析方法规格说明的两种规范:模块化说明与非模块化说明,及程序证明性依据:基于函数与操作的形式化规格说明.然后通过一个应用实例来说明如何利用VDM技术进行软件开发,及利用函数与操作的形式化规格说明来证明程序是正确的.
介紹瞭軟件開髮方法中的一種形式化分析方法:Vienna Development Method(VDM).闡述瞭形式化分析方法的特點,具體說明瞭維也納分析方法規格說明的兩種規範:模塊化說明與非模塊化說明,及程序證明性依據:基于函數與操作的形式化規格說明.然後通過一箇應用實例來說明如何利用VDM技術進行軟件開髮,及利用函數與操作的形式化規格說明來證明程序是正確的.
개소료연건개발방법중적일충형식화분석방법:Vienna Development Method(VDM).천술료형식화분석방법적특점,구체설명료유야납분석방법규격설명적량충규범:모괴화설명여비모괴화설명,급정서증명성의거:기우함수여조작적형식화규격설명.연후통과일개응용실례래설명여하이용VDM기술진행연건개발,급이용함수여조작적형식화규격설명래증명정서시정학적.
