Skip to Main Content
Table 1:
Example user input as sequences of operation names describing the desired and prohibited behavior of the desired software.
Desired showShoppingList createItem addItem deleteItem cancel 
Behavior showShoppingList 
 showShoppingList showShoppingList showShoppingList 
 createItem addItem showShoppingList 
 deleteItem confirmDelete 
 showShoppingList deleteItem confirmDelete showShoppingList 
Prohibited showShoppingList confirmDelete deleteItem printShoppingList showShoppingList 
Behavior createItem confirmDelete 
 createItem deleteItem cancel 
 deleteItem createItem 
 showShoppingList createItem deleteItem addItem cancel 
 showShoppingList createItem addItem addItem 
Desired showShoppingList createItem addItem deleteItem cancel 
Behavior showShoppingList 
 showShoppingList showShoppingList showShoppingList 
 createItem addItem showShoppingList 
 deleteItem confirmDelete 
 showShoppingList deleteItem confirmDelete showShoppingList 
Prohibited showShoppingList confirmDelete deleteItem printShoppingList showShoppingList 
Behavior createItem confirmDelete 
 createItem deleteItem cancel 
 deleteItem createItem 
 showShoppingList createItem deleteItem addItem cancel 
 showShoppingList createItem addItem addItem 
Close Modal

or Create an Account

Close Modal
Close Modal