Characterizing the Implementation of Software Non-functional Requirements from Probabilistic Perspective | IEEE Conference Publication | IEEE Xplore