http://people.inf.ethz.ch/basin/pubs/atva17.pdf
... 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 ...
http://se.inf.ethz.ch/people/poskitt/publications/PoskittPoulding.S...
... 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 ...
http://vstte.inf.ethz.ch/Files/aichernig-jifeng-liu-reed.pdf
... component systems [30], The calculus is applied to formal use of UML in re- quirement analysis [21, 19 ... component systems [30], The calculus is applied to formal use of UML in re- quirement analysis [21, 19 ...
verification-workshop-main.dvi
... the well-validated and (at the time) non-controversial re- quirement below. If Heading Select mode is ... , consider the well-validated and (at the time) non-controversial re- quirement below. If Heading Select mode ...
https://metaphor.ethz.ch/x/2019/fs/401-3462-00L/ex/sol11.pdf
... analogous re- quirement as in Proposition 12.66. In particular, FC(zmz¯n) = Tm(T ∗)n which proves (FC1) by ... analogous re- quirement as in Proposition 12.66. In particular, FC(zmz¯n) = Tm(T ∗)n which proves (FC1) by ...
https://metaphor.ethz.ch/x/2019/fs/401-4110-19L/sc/modulargroup.pdf
... have Im((Sγ′).z) = Im(γ′.z)|γ′.z|−2 > Im(γ′.z) contradicting the maximality re- quirement we set above ... have Im((Sγ′).z) = Im(γ′.z)|γ′.z|−2 > Im(γ′.z) contradicting the maximality re- quirement we set above ...
https://css.ethz.ch/content/dam/ethz/special-interest/gess/cis/cent...
... - quirement and constitutes sound military planning. However, the Ukraine crisis reveals an in- herent tension ... - quirement and constitutes sound military planning. However, the Ukraine crisis reveals an in- herent tension ...
https://css.ethz.ch/content/dam/ethz/special-interest/gess/cis/cent...
... coordination of tasks is thus an essential, but onerous re- quirement. Additional issues regarding the The ... coordination of tasks is thus an essential, but onerous re- quirement. Additional issues regarding the The ...
http://www.ra.ethz.ch/CDstore/www2006/torch.cs.dal.ca/~www2006/atte...
... is ignored by the client-side JavaScript). Invisible, AJAX-compatible logging Another re- quirement ... is ignored by the client-side JavaScript). Invisible, AJAX-compatible logging Another re- quirement ...
https://ethz.ch/content/dam/ethz/special-interest/gess/cis/center-f...
... third re- quirement to develop an offensive cyber capability is the toolbox, a set of computer programs ... third re- quirement to develop an offensive cyber capability is the toolbox, a set of computer programs ...
