The aim of the course is to provide students with concepts related to modern software production processes and the principles of engineering requirements, software architectures, design methodologies. At the end of the course the student will be able to plan the development of software projects and will have learned to produce the complete specification in terms of UML models starting from informal requirements. He will also have acquired skills on the reuse of software, on the use of design patterns and on the verification and validation of the software.