Is there a list somewhere of concrete things that we know about software engineering?