Home > Papers

 
 
Strategies of Modeling from VDM-SL to JML
Jin Dan ,Yang Zongyuan *
Department of Computer Science and Technology, East China Normal University
*Correspondence author
#Submitted by
Subject:
Funding: 教育部博士点基金（No.20060269002）
Opened online: 3 June 2008
Accepted by: none
Citation: Jin Dan ,Yang Zongyuan .Strategies of Modeling from VDM-SL to JML[OL]. [ 3 June 2008] http://en.paper.edu.cn/en_releasepaper/content/21947
 
 
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
 
 
 

For this paper
  • ● PDF (0B)
  • ● Revision 0 　　
  • ● Print this paper
  • ● Recommend this paper to a friend
  • ● Add to my favorite list

    Saved Papers

    Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags
Add yours

Related Papers

Statistics
PDF Downloaded 359
Bookmarked 0
Recommend 5
Comments Array
Submit your papers