Describir: Analysis and synthesis of computer systems