Metop Research Institute

Download EmailSystem_Java

Email, Java

Description: Version of the Email product line in Java with behavior specifications. Used for evaluation in model checking context. Specifications implemented in AspectJ. 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: Java, AspectJ

Development tool: Eclipse

Number of Features: 9

Lines of code*: 1233

Number of classes: 3

Number of products: 40




Upload date: 2012-06-04

Last updated: 2012-07-10


*calculated with SourceMonitor
Edit | Back