diff --git a/docs/DeveloperGuide.md b/docs/DeveloperGuide.md index 655c44da311..9fd791cbdd5 100644 --- a/docs/DeveloperGuide.md +++ b/docs/DeveloperGuide.md @@ -1060,8 +1060,8 @@ Indicate that the appointment has not been completed. Actor: User -Preconditions: Appointment exists in appointment list, and it is
-indicated as done.
+Preconditions: Appointment exists in appointment list, and it is + indicated as done. Guarantees: Appointment indicated as not done. @@ -1116,8 +1116,8 @@ Delete the selected revenue from the revenue list. Preconditions: Revenue exists in revenue list. -Guarantees: Revenue that was generated by the appointment specified
-is deleted upon marking the appointment as not done.
+Guarantees: Revenue that was generated by the appointment specified + is deleted upon marking the appointment as not done. MSS 1. User marks the appointment as not done(UC005).