An approach for defining rules as functions in rule-based software development | IEEE Conference Publication | IEEE Xplore