An introduction to single-variable calculus, which includes a computer laboratory ... Requires substantial programming homework. This course focuses on modeling of software systems, automated analysis ...