GPL

Implementation of Graph Product Line

Description: Java Implementation of the Graph Product Line (http://spl2go.cs.ovgu.de/projects/29) enriched with JML specifications.

Generator: FeatureHouse

Authors: Fabian Benduhn

Institution: University of Magdeburg

Language: Java, JML

Development tool: FeatureIDE

Number of Features: 38

Lines of code*:

Number of classes: 16

Number of products: 840

Repository:

Website:

License:

Upload date: 2013-03-26

Last updated: 2013-03-26

Download: GPL.zip