Consider integrating JML specifications with generated Java code to formally specify behaviour #899

Open
TimLethbridge opened this Issue Oct 10, 2016 · 0 comments

Projects

None yet

1 participant

@TimLethbridge
Member

There is an interesting project that could enhance Umple:
http://www.eecs.ucf.edu/~leavens/JML//index.shtml

JML allows for specifying Java behaviour formally; this might prove a useful research direction

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment