NumbersSPL

Real and Complex Numbers

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: FeatureHouse

Authors: Fabian Benduhn

Institution: Otto-von-Guericke University Magdeburg

Language: Java, JML

Development tool: FeatureIDE

Number of Features: 2

Lines of code*:

Number of classes: 1

Number of products: 2

Repository:

Website:

License:

Upload date: 2012-10-01

Last updated: 2013-03-04

Download: NumbersSPL.zip