A method contract and a method specification of at least two methods of the sequence diagramSIS Method Contract $1$ template $($refer to textbook pages $302-310)$:

$\backslash$table$[[\backslash$table$[[$Method Name:$]],\backslash$table$[[$Class Name:$]]],[$Clients $($Consumers$)$:$,],[,],[$Associated Use Cases:,$],[,],[$Description of Responsibilities:,$],[,],[$Arguments Received:,$],[,],[$Type of Value Returned:,$],[,],[$Pre$-$Conditions:,$],[,],[$Post$-$Conditions:,$],[,]]$