
This upper-division undergraduate text explains major paradigms that automate software development. Presentations integrate 50+ years of results in software design, relational databases, using category theory (a simple and profound theory about structures and transformations)...