Methods and Tools for Software Engineering