User interface specification and modeling in an object oriented environment for automatic software development | IEEE Conference Publication | IEEE Xplore