IntegerSetSPL

Description: 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.

Generator: FeatureHouse

Authors: Fabian Benduhn

Institution: Otto-von-Guericke University Magdeburg

Language: Java, JML

Development tool: FeatureIDE

Number of Features: 3

Lines of code*:

Number of classes: 1

Number of products: 2

Repository:

Website:

License:

Upload date: 2012-10-01

Last updated: 2012-10-01

Download: IntegerSetSPL.zip