You can edit this project here. Please include a reason for your changes. This helps us to validate the changes. The changes will take effect as soon as possible after we have checked their validity.
Each product of this product line is a software to manage a bank account, but products differ in the individual features they provide. Feature BankAccount provides a rudimentary bank account storing the current balance. Feature Overdraft indicates whether the bank allows their customers to withdraw more money from the account than actually available, if the resulting negative balance is within an overdraft limit. Feature Interest states whether the customer gets interests, and feature InterestEstimation provides a calculation of the expected interest for the current year. Feature CreditWorthiness allows the bank to assess whether a customer may get a credit of a certain amount. Finally, feature DailyLimit allows the bank to limit the daily withdrawal. All features can be combined arbitrarily except that feature InterestEstimation requires feature Interest. The product line is developed from scratch and annotated with specifications in JML. See the following GPCE paper for more information: Thüm et al. - Family-Based Deductive Verification of Software Product Lines.
Number of features
Lines of code
Number of classes
Number of products
Reason for change
Email: (not visible)
Please type the abbreviation for software product line: