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.

Bankaccount

Short description

Description
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.

Generator

Authors

Institution

Language

Development tool

Number of features

Lines of code

Number of classes

Number of products

Repository

Website

License

Reason for change

Email: (not visible)

Initial date

Please type the abbreviation for software product line:

Back