| 
|
QuoteRef: tursWM10_2003
Topic:
declarative vs. procedural representation
Topic:
limitations of formalism
Topic:
specification is infeasible
Topic:
using a computer as a communication/information medium
Topic:
error safe systems
Reference
Turski, W.M., "It was fun", Information Processing Letters, 88, 1-2, October 17, 2003, pp. 7-12. Google
8 ;;Quote: programs are the central core of computer science research; i.e., a piece of text ("what does it say") instead of a computation ("what happens next"); finite and rigorous
9 ;;Quote: program correctness is more than a calculable relation between its specification and its text
9+;;Quote: program correctness includes the reality in which the need for a program emerged in the first place
10 ;;Quote: services are expected to fail; the computer disappears; mass appeal from new, updated, improved, etc.
Topic: declarative vs. procedural representation (54 items)
Topic: limitations of formalism (93 items)
Topic: specification is infeasible (46 items)
Topic: using a computer as a communication/information medium (32 items)
Topic: error safe systems (76 items)