ToolManager: a tool for management of CASE tools | IEEE Conference Publication | IEEE Xplore