... systems from exhibiting (undesired) behaviors. We show that these two re- quirement types admit a ... corresponds to a semi-monotone re- quirement in our theory, which is the conjunction of an obligation and a ... systems from exhibiting (undesired) behaviors. We show that these two re- quirement types admit a ... corresponds to a semi-monotone re- quirement in our theory, which is the conjunction of an obligation and a ...

... development builds), and there is no re- quirement on them to be exhaustive. However they do document the ... development builds), and there is no re- quirement on them to be exhaustive. However they do document the ...