Structural manipulations of software architecture using Tarski relational algebra | IEEE Conference Publication | IEEE Xplore