You can edit this project here. Please include a reason for your changes. This helps us to validate the changes. The changes will take effect as soon as possible after we have checked their validity.

Numbersspl

Short description

Description
In this case study, we extracted features from an existing Java project specified with the Java Modeling Language. The original project is part of the JML project and has been developed by Gary T. Leavens (see http://www.eecs.ucf.edu/~leavens/JML/index.shtml). The case study has been specified using different mechanisms of contract composition and was used to compare the applicability of these approaches. Short DescriptionReal and Complex Numbers

Generator

Authors

Institution

Language

Development tool

Number of features

Lines of code

Number of classes

Number of products

Repository

Website

License

Reason for change

Email: (not visible)

Initial date

Please type the abbreviation for software product line:

Back