Synopses of information processing systems and software