Models provide abstractions of a physical system that allow engineers to reason about that system by ignoring extraneous details while focusing on relevant ones.
He suspects that unreasonable expectations are an important reason about half of all people who start a running program drop out, usually in the first six weeks.
So, what if we expanded the range of problems presented to our students, requiring them to reason about problems in such a way that they might recognize when a concurrent solution is appropriate?
Because the implementation of a crosscutting behavior is scattered, developers find the behavior difficult to reason about, implement, and change.
Introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency.
