Modular Computer Science