of con dence conditions, showing module dependencies, and translation to Standard ML and to C++. The user guide provides full instructions on the use and installation of these tools on Unix, Linux, and Windows platforms.

Component-based sofware development has become a popular paradigm in software engineering. From the theoretical point of view, components can be seen as coalgebras. We present a coalgebraic technique for component-based system specification and verification which is based on RSL, the wide spectrum specification language of the RAISE method. A bisimulation relationship between components is defined for reuse of components and used in the behavior verification of specification development. Final coalgebras are used to construct the minimal implementations of given specifications.

The present document covers UNU/IIST's activities in 2000. A brief overview is followed by a description of the status of ongoing research in Theory and Design Methods for Real-time Systems, Formal Techniques for Software Development, Curriculum Development Project and Development of Computer Science Departments in Developing Countries. This is followed by reports on UNU/IIST's Fellowship programme, advanced courses, events and academic meetings, Off-Shore R&D projects, and administrative matters. UNU/IIST's activities in China are reported, as are its linkages to UNU and other UN organisations. The last section gives an outline of planned activities for 2001.