A High-Powered Version of Behavior-Driven Development. Introduction Problem Statement Proposed Solution Target Audience Related Work User Scenarios. Outline. Scenario Specification Architecture Our Contributions Planned Evaluation Future Work Conclusion. Introduction.
Scenario 1: Account Deposit
Givena bank account with a balance of "100" $
Whena customer deposits "20" $
Thenthe balance of the account should be "120" $
Dr. Stephen H. Edwards
who provided us with
and had to bear with us!