Methods and Tools for Automation of Development of Information Systems Using Specifications of Database Applications | IEEE Conference Publication | IEEE Xplore