DocumentCode
2353357
Title
Strategies of Modeling from VDM-SL to JML
Author
Jin, Dan ; Yang, Zongyuan
Author_Institution
Dept. of Comput. Sci. & Technol., East China Normal Univ., Shanghai
fYear
2008
fDate
23-25 July 2008
Firstpage
320
Lastpage
323
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 of the design are illustrated with an example.
Keywords
Java; formal languages; software engineering; specification languages; JML; Java; VDM-SL; formal language; high integrity software; software development; specification language; Contracts; Debugging; Formal languages; Formal specifications; Java; Programming; Runtime; Specification languages; Testing; Unified modeling language; JML; VDM; design by contract; formal language; software development;
fLanguage
English
Publisher
ieee
Conference_Titel
Advanced Language Processing and Web Information Technology, 2008. ALPIT '08. International Conference on
Conference_Location
Dalian Liaoning
Print_ISBN
978-0-7695-3273-8
Type
conf
DOI
10.1109/ALPIT.2008.25
Filename
4584387
Link To Document