A formal ontology for re-use of software architecture documents | IEEE Conference Publication | IEEE Xplore