MinePump_Java

MinePump, Java

Description: Version of the MinePump product line in Java with behavior specifications. Used for evaluation in model checking context. Specifications implemented in AspectJ. Product line is based on Kramer et al: CONIC: An Integrated Approach to Distributed Computer Control Systems. (1983)

Generator: FeatureHouse

Authors: von Rhein

Institution: University of Passau

Language: Java, AspectJ

Development tool: Eclipse

Number of Features: 7

Lines of code*: 580

Number of classes: 2

Number of products: 64

Repository:

Website: http://fosd.net/FAV

License:

Upload date: 2012-06-04

Last updated: 2012-07-10

Download: MinePump_Java.zip