Theories, research, and ideas pointing toward the structure and function of how software packages should work.