- How do we describe or specify them?
- Formal languages
- How do we prove that a process has a particular effect?
- Verification
- How do we choose a process from among several that achieve the same
effect?
- Efficiency Analysis
- Are there effects we cannot achieve with any process we might
specify?
- Theory of computability
- How do we build a machine that automatically carries out a process we've
specified?
- Computer architecture
- What processes in the natural world are fruitfully analyzed in
computational terms?
- Systems analysis