| | | Annual Report 2001 | |
In 2002 UNU/IIST will celebrate its tenth anniversary.
After 9-year's effort, UNU/IIST has established an excellent R&D team and become an acknowledged training and research center on formal techniques in the world. The tenth anniversary of UNU/IIST will provide UNU/IIST a good chance to summarise its past achievements and to discuss how to further widen its technical scope, following the recommendations from the Board members.
Several research topics under the current two research projects will be developed into new projects. In 2002, we will have 5 research projects.
As part of this project, a continuing activity will be the further development of the RAISE tools. In particular, providing a link with the graphical UML notation, and providing a theorem proving capability through translation to PVS, are planned.
This project will aim to analyse business models from a variety of institutions and enterprises, to specify them formally and develop tools and techniques to be used in automating relevant business processes.
This project aims to develop a method to support the formal use of UML in object-oriented software development.
This attempts to provide a tool-based design technique in support of design of mixed hardware/software systems.
We will adopt the notations of DC in specifying and reasoning about real-time features of embedded computer systems. The development process will be associated with various well-known formalisms (such as Communicating Sequential Processes and state-based specification notations).
In 2002, UNU/IIST will continue to emphasise university computer science curriculum development. In addition to the current curriculum development activities, more training schools will be organised in developing countries. By inviting local qualified academics to support UNU/IIST training schools for developing countries, UNU/IIST can meet more needs with its limited resources and also promote South to South cooperation. UNU/IIST will look into the feasibility of transferring training schools into UNU/IIST regional centers where regular training activities can be conducted under UNU/IIST supervision and support.
UNU/IIST will also expand the Development of Computer Science Departments in Developing Countries project to include fellow training towards PhD and MSc degrees at its partner universities in industrial countries.
In summary, in 2002 UNU/IIST will conduct the following nine projects.
In 2002, UNU/IIST will celebrate its tenth anniversary, and will use this opportunity to organise technical events to further promote UNU/IIST. We plan to
| | | Annual Report 2001 | |