得到了VDM规范到JML约束的转换的设计方案
） 摘要： VDM是一种广泛应用于工业界的形式化开发方法
JML是基于Java的形式化的行为接口规范语言（BISL）
杨宗源
从VDM-SL到JML建模的转换策略[EB/OL]
北京：中国科技论文在线
提出了从VDM到JML常量、变量以及约束在语法的关系映射机制
从而构造了贯穿整个软件生命周期的软件开发方法
软件开发 Jin Dan
数学的精确性使它能够有效地保证系统的设计和开发
） Abstract： VDM-SL is one of the most popular formal language used in software development, its mathematical approach allows unambiguous specification and development of high integrity software
JML is a behavioral interface specification language tailored to Java(TM)
And the existing JML-based tools of debugging, verifying and testing are mature
This paper discusses the two kinds of specification language and provides a novel design mapping VDM-SL to JML of constant values, variables and constraints
The strategies are illustrated with an example
Keywords： VDM-SL; JML; DBC; formal method; software engineering 下载PDF阅读器 PDF全文下载： 初稿 （ 195 ） 作者简介： 通信联系人： 【收录情况】 中国科技论文在线： 靳丹
