Email JML

A pA product line of email systems

Description: Version of the Email product line in Java with behavior specifications in JML. Product line is based on http://spl2go.cs.ovgu.de/projects/17

Generator: FeatureHouse

Authors: Thomas Thüm

Institution: University of Magdeburg

Language: Java, JML

Development tool:

Number of Features: 9

Lines of code*: 1233

Number of classes: 3

Number of products: 40

Repository: https://faracvs.cs.uni-magdeburg.de/svn/tthuem-FeatureIDE/trunk/plugins/de.ovgu.featureide.examples/featureide_examples/Email-FH-JML/

Website:

License:

Upload date: 2013-03-24

Last updated: 2013-03-24

Download: Email JML.zip