Tool support for software development