The identification and use of properties and relationships between properties of the software development | IEEE Conference Publication | IEEE Xplore