@techreport{TD:101737,
	att_abstract={{In 2025 semantic tools for software engineering will be mature, and their frequency of use in software development will still be disappointing.  This proposal explains how research directed at building theories of everything (or, at least, important software domains) can consolidate progress and bring semantic tools into the mainstream of software practice.}},
	att_authors={pz2728},
	att_categories={},
	att_copyright={{IEEE}},
	att_copyright_notice={{This version of the work is reprinted here with permission of IEEE for your personal use. Not for redistribution. The definitive version was published in International Conference on Software Engineering, "Visions of 2025 and Beyond" Track. {{, 2016-05-18}}}},
	att_donotupload={},
	att_private={false},
	att_projects={},
	att_tags={},
	att_techdoc={true},
	att_techdoc_key={TD:101737},
	att_url={http://web1.research.att.com:81/techdocs_downloads/TD:101737_DS1_2017-06-03T20:33:35.872Z.pdf},
	author={Pamela Zave},
	institution={{International Conference on Software Engineering, "Visions of 2025 and Beyond" Track}},
	month={May},
	title={{Theories of Everything}},
	year=2016,
}