industryterm:dev tools