Deakstadieđáhus: Analysis and synthesis of computer systems