Elevator_Java

Elevator, Java

Description: Version of the Elevator product line in Java with behavior specifications. Used for evaluation in model checking context. Specifications implemented in AspectJ. Product line is based on Plath, M., Ryan, M.: Feature Integration using a Feature Construct. Science of Computer Programming 41(1), 53–84 (2001)

Generator: FeatureHouse

Authors: von Rhein

Institution: University of Passau

Language: Java, AspectJ

Development tool: Eclipse

Number of Features: 6

Lines of code*: 1046

Number of classes: 5

Number of products: 20

Repository:

Website: http://fosd.net/FAV

License:

Upload date: 2012-06-04

Last updated: 2013-03-21

Download: Elevator_Java.zip