They had to study existing software (empirical), and then find an understanding of what is essential and common to all cases.

The result was that a finite and compact set of concepts could be used to account completely for almost any design architecture, past or future. To me, this is pretty scientific.