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.
In this case study, we have extracted features from a project specified with the Java Modeling Language. The original project is part of the JML project and has been developed by Gary T. Leavens.
Number of features
Lines of code
Number of classes
Number of products
Reason for change
Email: (not visible)
Please type the abbreviation for software product line: