The way to detection of software emergent properties | IEEE Conference Publication | IEEE Xplore