Aim of the Courses Sound, modern approaches to software development are essential if software is to be developed to today's exacting standards. In particular, formal methods are becoming advised or even mandatory for the development of safety-critical and defence software. The aim of the courses is to propagate research into and application of formal software development techniques, with the hope that developing countries can accelerate their progress in being self sufficient in software technology, and even become providers of services and products elsewhere. Software project management Good management is essential if projects of more than trivial size are to be successful. The aim of this course is to teach the basics of project management, and enable participants to use the techniques themselves or pass them on to others.
Successful projects depend on both sound techniques and appropriate management.
Course Attendees Course attendees should be at least graduates in computer science. They may be academics or working in industry, government, etc. When a course is run for a particular institution it may be possible to adapt the workshop examples included in the course to the particular domain of that institution. For the formal methods courses, attendees are not expected to know about formal methods in advance, but some familiarity with basic predicate logic and simple set theory is assumed. The courses are presented in English.