Spec A:

Requires: arr $!=$ null and arg $>0$ and arg $<10$

Modifies: None

Effects: None

Throws: None

Returns: $0<=$ result $<=10$

Spec B:

Requires: arr $!=$ null and arg $>=0$ and arg $<=20$

Modifies: arr

Effects: sorts arr

Throws: RuntimeException if arg $>10$

Returns: $0<=$ result $<=10$ if arg $>0$ and arg $<10$; result $=0$ if arg $=0$ or arg $>=10$ Spec C:

Requires: None

Modifies: None

Effects: None

Throws: IllegalArgumentException if arr $=$ null

Returns: $0<=$ result $<=5$ if arg $<=20$; result $=0$ if arg $=0...($a$)$ A is stronger than B$.$

$($b$)$ B is stronger than A$.$

$($c$)$ Neither is A stronger than B$,$ nor is B stronger than A$.$

$($d$)$ A is stronger than C$.$

$($e$)$ C is stronger than A$.$

$($f$)$ Neither is A stronger than C$,$ nor is C stronger than A$.$

$($g$)$ B is stronger than C$.$

$($h$)$ C is stronger than B$.$

$($i$)$ Neither is B stronger than C$,$ nor is C stronger than B$.$