The book is concerned in particular with software systems, specifically software code. It describes three major innovations for making software, which are combined with five widely used enabling technologies, to provide a complete, hypothesis-driven, software development process.