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) as a foundation. Among the paradigms covered include:
Model Driven Engineering, Refactoring MDE Metamodels, Refactoring Java Programs, Design Patterns, Software Product Lines, Dataflow by Transformation, Category Theory
Edition #2 is a major rewrite of Edition #1, with new material, corrections, and revisions.