Metop Research Institute

Download EmailSystem_C

Email, C

Description: Version of the Email 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 Hall, R.: Fundamental Nonmodularity in Electronic Mail. Automated Software Engineering 12(1), 41–79 (2005)

Generator: FeatureHouse

Authors: von Rhein, Boxleitner, Speidel

Institution: University of Passau

Language: C

Development tool: Eclipse

Number of Features: 9

Lines of code*: 258

Number of classes:

Number of products: 40




Upload date: 2012-06-05

Last updated: 2012-07-10


*calculated with SourceMonitor
Edit | Back