Metop Research Institute

Download Email JML

A pA product line of email systems

Description: Version of the Email product line in Java with behavior specifications in JML. Product line is based on

Generator: FeatureHouse

Authors: Thomas Thüm

Institution: University of Magdeburg

Language: Java, JML

Development tool:

Number of Features: 9

Lines of code*: 1233

Number of classes: 3

Number of products: 40




Upload date: 2013-03-24

Last updated: 2013-03-24

Download: Email

*calculated with SourceMonitor
Edit | Back