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 words computer and/or science:
“The computer takes up where psychoanalysis left off. It takes the ideas of a decentered self and makes it more concrete by modeling mind as a multiprocessing machine.”
—Sherry Turkle (b. 1948)
“Science in England, in America, is jealous of theory, hates the name of love and moral purpose. There’s revenge for this humanity. What manner of man does science make? The boy is not attracted. He says, I do not wish to be such a kind of man as my professor is.”
—Ralph Waldo Emerson (1803–1882)
Related Subjects
Related Phrases
Related Words