Elevator_C

Elevator, C

Description: Version of the Elevator product line in C with behavior specifications. Used for evaluation in model checking context. Specifications implemented in a custom aspect-oriented language. We could only use very limited C for this project (no pointers, no arrays). 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: C

Development tool: Eclipse

Number of Features: 6

Lines of code*: 877

Number of classes:

Number of products: 20

Repository:

Website: http://fosd.net/FAV

License:

Upload date: 2012-06-05

Last updated: 2012-07-10

Download: Elevator_C.zip