start:ieeespecs
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
start:ieeespecs [2011/10/09 18:55] – created jonathan | start:ieeespecs [2011/10/09 18:57] (current) – jonathan | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | The charming naïveté of an IEEE standard | + | ====== |
+ | Bertrand Meyer | ||
+ | [[http:// | ||
5 October 2011, 11:53 6 | 5 October 2011, 11:53 6 | ||
Line 11: | Line 14: | ||
[D]An example of a verifiable statement is | [D]An example of a verifiable statement is | ||
- | [E] Output of the program shall be produced within 20 s of event 60% of the time; and shall be produced within 30 s of event 100% of the time. | + | |
[F] This statement can be verified because it uses concrete terms and measurable quantities. | [F] This statement can be verified because it uses concrete terms and measurable quantities. | ||
start/ieeespecs.1318186517.txt.gz · Last modified: 2011/10/09 18:55 by jonathan