| 
|
QuoteRef: leeEA9_2000
topics >
all references >
ThesaHelp:
references i-l
Topic:
atoms and molecules
Topic:
physics
Topic:
quantum electrodynamics
ThesaHelp:
topics a-e
Topic:
special relativity
Group:
science
Topic:
electromagnetic field
Topic:
chemistry
Topic:
light
Group:
type checking
Topic:
proving concurrent programs
Topic:
debugging by usage rules
Reference
Lee, E.A., "What's ahead for embedded software?", Computer, September 2000, pp. 18-26. Google
23 ;;Quote: type systems do more than any other formal method to ensure correctness; constrains interface; ensures compatibility
23 ;;Quote: type systems say nothing about concurrency or dynamics; e.g., that initialize happens first, or x() must be invoked every 10 ms
ThesaHelp: references i-l (342 items)
Topic: atoms and molecules (47 items)
Topic: physics (48 items)
Topic: quantum electrodynamics (34 items)
ThesaHelp: topics a-e (348 items)
Topic: special relativity (73 items)
Group: science (45 topics, 1840 quotes)
Topic: electromagnetic field (63 items)
Topic: chemistry (11 items)
Topic: light (37 items)
Group: type checking (12 topics, 385 quotes)
Topic: proving concurrent programs (37 items)
Topic: debugging by usage rules (40 items)