Computer Science
- Formal methods, mathematically-based techniques for the specification, development and verification of software and hardware systems
- Formal specification, describes what a system should do, not how it should do it
- Formal verification, proves correctness of a system
Read more about this topic: Formal
Famous quotes containing the word computer:
“What, then, is the basic difference between today’s computer and an intelligent being? It is that the computer can be made to see but not to perceive. What matters here is not that the computer is without consciousness but that thus far it is incapable of the spontaneous grasp of pattern—a capacity essential to perception and intelligence.”
—Rudolf Arnheim (b. 1904)
Related Subjects
Related Phrases
Related Words