https://files.ifi.uzh.ch/rerg/amadeus/staff/charrada/publications/f...
... - lation between the new functionality and the existing re- quirement can be obtained based on footprint ... rules for estimating the likelihood of a re- quirement to be affected by change in the case of enhancive ... - lation between the new functionality and the existing re- quirement can be obtained based on footprint ... rules for estimating the likelihood of a re- quirement to be affected by change in the case of enhancive ...
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 ...
Microsoft Word - p117_Thiel.doc
... sustainability of the GMES services (Cardinal re- quirement 1). 2 SERVICE PORTFOLIO EVOLUTION 2.1 OBJECTIVES The ... sustainability of the GMES services (Cardinal re- quirement 1). 2 SERVICE PORTFOLIO EVOLUTION 2.1 OBJECTIVES The ...
untitled
... or remotely. It is extremely diffi- cult for current technology to meet this demanding re- quirement ... or remotely. It is extremely diffi- cult for current technology to meet this demanding re- quirement ...
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 ...
