Elevator JML

A product line of elevators

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

Generator: FeatureHouse

Authors: Thomas Thüm

Institution: University of Magdeburg

Language: Java, JML

Development tool:

Number of Features: 6

Lines of code*:

Number of classes:

Number of products: 20

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

Website:

License:

Upload date: 2013-03-24

Last updated: 2013-03-24

Download: Elevator JML.zip