Metop Research Institute

Download 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

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




Upload date: 2013-03-24

Last updated: 2013-03-24

Download: Elevator

*calculated with SourceMonitor
Edit | Back