The Role Of Formalized Domain-specific Software Frameworks | IEEE Conference Publication | IEEE Xplore