diff options
| -rw-r--r-- | requirements/catalogue/req-002.md | 2 | ||||
| -rw-r--r-- | requirements/catalogue/req-003.md | 9 | ||||
| -rw-r--r-- | requirements/catalogue/req-004.md | 7 | ||||
| -rw-r--r-- | requirements/catalogue/req-005.md | 3 | ||||
| -rw-r--r-- | requirements/catalogue/req-018.md | 7 | ||||
| -rw-r--r-- | requirements/catalogue/req-019.md | 7 | ||||
| -rw-r--r-- | requirements/catalogue/req-020.md | 5 | ||||
| -rw-r--r-- | requirements/catalogue/req-024.md | 3 | ||||
| -rw-r--r-- | requirements/catalogue/req-028.md | 10 | ||||
| -rw-r--r-- | requirements/catalogue/req-029.md | 4 | ||||
| -rw-r--r-- | requirements/catalogue/req-032.md | 8 | ||||
| -rw-r--r-- | requirements/catalogue/req-034.md | 4 |
12 files changed, 42 insertions, 27 deletions
diff --git a/requirements/catalogue/req-002.md b/requirements/catalogue/req-002.md index 3d87553..55fcb43 100644 --- a/requirements/catalogue/req-002.md +++ b/requirements/catalogue/req-002.md @@ -6,5 +6,3 @@ and I want having such buckets and pipes to enable me to control what I do with my money, so that I control what I do with my money. Source: req-001 - -Satisfied by: req-028, req-017, ass-002 diff --git a/requirements/catalogue/req-003.md b/requirements/catalogue/req-003.md index 6232329..0ec877e 100644 --- a/requirements/catalogue/req-003.md +++ b/requirements/catalogue/req-003.md @@ -1,9 +1,10 @@ # req-003 -As a user, I want how much money is in my beer bucket to influence how much I -spend on beer, so that having buckets and pipes which express how I want to -distribute, and have previously distributed, my incomings and outgoings enables -me to control my spending. +As a user, given I have a beer bucket and pipes which express how much I want +to spend on beer, I want how much money is in my beer bucket to influence how +much I spend on beer, so that having buckets and pipes which express how I want +to distribute, and have previously distributed, my incomings and outgoings +enables me to control my spending. Source: req-028 diff --git a/requirements/catalogue/req-004.md b/requirements/catalogue/req-004.md index e28a256..e39e58a 100644 --- a/requirements/catalogue/req-004.md +++ b/requirements/catalogue/req-004.md @@ -1,8 +1,9 @@ # req-004 -As a user, I want to consider how much money is in my beer bucket when I decide -how much to spend on beer at the bar, so that how much money is in my beer -bucket influences how much I spend on beer. +As a user, given I have a beer bucket and pipes which express how much I want to +spend on beer, I want to consider how much money is in my beer bucket when I +decide how much to spend on beer at the bar, so that how much money is in my +beer bucket influences how much I spend on beer. Source: req-003 diff --git a/requirements/catalogue/req-005.md b/requirements/catalogue/req-005.md index 79f00c7..523c285 100644 --- a/requirements/catalogue/req-005.md +++ b/requirements/catalogue/req-005.md @@ -1,6 +1,7 @@ # req-005 -As a user, I want to know how much money is in my beer bucket when I'm at the +As a user, given I have a beer bucket and pipes which express how much I want to +spend on beer, I want to know how much money is in my beer bucket when I'm at the bar, so that I can consider how much money is in my beer bucket when I decide how much to spend on beer at the bar. diff --git a/requirements/catalogue/req-018.md b/requirements/catalogue/req-018.md index 9b9db42..225fc5d 100644 --- a/requirements/catalogue/req-018.md +++ b/requirements/catalogue/req-018.md @@ -1,8 +1,9 @@ # req-018 -As a user, I want to know how much money is in my beer bucket when I'm at the -bar and I have access to my phone, so that I can know how much money is in my -beer bucket when I'm at the bar. +As a user, given I have a beer bucket and pipes which express how much I want +to spend on beer, I want to know how much money is in my beer bucket when I'm at +the bar and I have access to my phone, so that I can know how much money is in +my beer bucket when I'm at the bar. Source: req-005 diff --git a/requirements/catalogue/req-019.md b/requirements/catalogue/req-019.md index a4d908a..35a7162 100644 --- a/requirements/catalogue/req-019.md +++ b/requirements/catalogue/req-019.md @@ -1,8 +1,9 @@ # req-019 -As a user, I want to know how much money is in my beer bucket when I'm at the -bar and I don't have access to my phone, so that I can know how much money is -in my beer bucket when I'm at the bar. +As a user, given I have a beer bucket and pipes which express how much I want to +spend on beer, I want to know how much money is in my beer bucket when I'm at +the bar and I don't have access to my phone, so that I can know how much money +is in my beer bucket when I'm at the bar. Source: req-005 diff --git a/requirements/catalogue/req-020.md b/requirements/catalogue/req-020.md index cbc5e5e..1e3eeb0 100644 --- a/requirements/catalogue/req-020.md +++ b/requirements/catalogue/req-020.md @@ -1,7 +1,8 @@ # req-020 -As a user, I want to find out my beer bucket balance in Schist using SMS, so -that I can know how much money is in my beer bucket when I'm at the bar and I +As a user, given I have a beer bucket and pipes which express how much I want +to spend on beer, I want to find out my beer bucket balance in Schist using SMS, +so that I can know how much money is in my beer bucket when I'm at the bar and I have access to my phone. Source: req-018 diff --git a/requirements/catalogue/req-024.md b/requirements/catalogue/req-024.md index 5119d3e..efbc3a6 100644 --- a/requirements/catalogue/req-024.md +++ b/requirements/catalogue/req-024.md @@ -1,6 +1,7 @@ # req-023 -As a user, I want Schist to be able to infer the accurate balance of my beer +As a user, given I have a beer bucket and pipes which express how much I want to +spend on beer, I want Schist to be able to infer the accurate balance of my beer bucket, so that I can find out my beer balance in Schist using SMS. Source: req-020 diff --git a/requirements/catalogue/req-028.md b/requirements/catalogue/req-028.md index 6832c9e..e86c525 100644 --- a/requirements/catalogue/req-028.md +++ b/requirements/catalogue/req-028.md @@ -1,9 +1,11 @@ # req-028 -As a user, I want how much money is in my buckets to influence how much I spend -on the real categories of spending which they represent, so that having buckets -and pipes which express how I want to distribute, and have previously -distributed, my incomings and outgoings enables me to control my spending. +As a user, given my buckets and pipes express how I want to distribute my +incomings and outgoings, I want how much money is in my buckets to influence +how much I spend on the real categories of spending which they represent, so +that having buckets and pipes which express how I want to distribute, and have +previously distributed, my incomings and outgoings enables me to control my +spending. Source: req-002 diff --git a/requirements/catalogue/req-029.md b/requirements/catalogue/req-029.md index 24eb7c1..26bf701 100644 --- a/requirements/catalogue/req-029.md +++ b/requirements/catalogue/req-029.md @@ -1,5 +1,7 @@ # req-029 -Schist must have an SMS interface for reading the balance of a given bucket. +Given the user's buckets and pipes express how the user wants to distribute +their incomings and outgoings, Schist must have an SMS interface for a +procedure which returns the accurate balance of a given bucket. Source: req-020
\ No newline at end of file diff --git a/requirements/catalogue/req-032.md b/requirements/catalogue/req-032.md index aa08be1..6f173ac 100644 --- a/requirements/catalogue/req-032.md +++ b/requirements/catalogue/req-032.md @@ -1,5 +1,9 @@ # req-032 -Schist must be able to infer the accurate balance of any given bucket. +Given the user's buckets and pipes express how the user wants to distribute +their incomings and outgoings, Schist must be able to infer the accurate balance +of any given bucket. -Source: req-024
\ No newline at end of file +Source: req-024 + +Satisfied by: req-030, req-034, ass-008, req-036
\ No newline at end of file diff --git a/requirements/catalogue/req-034.md b/requirements/catalogue/req-034.md index d8e2137..9971dd2 100644 --- a/requirements/catalogue/req-034.md +++ b/requirements/catalogue/req-034.md @@ -2,4 +2,6 @@ Schist must have an accurate record of my transactions. -Source: req-032
\ No newline at end of file +Source: req-032 + +Satisfied by: req-033, ass-009
\ No newline at end of file |