A knowledge-based method for engineering navigational capability into user interface software | IEEE Conference Publication | IEEE Xplore