 | Postgraduate training/teaching activities |
| 
| Top |
| 
| List of academic meetings and events |
|
| Publications and dissemination |
Publications and dissemination
In 2002, UNU/IIST staff and fellows have produced 23 reports, which
are available for downloading via the UNU/IIST web page and also available
in the UNU/IIST library. These reports are
[16][21][4][10][22][1][23][24][2][17][11][13][20][8][9][25][18][26][27][7][28][29][19]
The book Specification Case
Studies in RAISE edited by Hung Dang Van, Chris George, Tomasz
Janowski, and Richard Moore was published by Springer Verlag in February this
year. This book collected and represented part of research achievement
of UNU/IIST staff and
fellows in formal techniques for software development since the
commence of UNU/IIST in 1992. The book has its own
web-site from
which complete specifications of all the case studies are available.
Chris George and Huaikou Miao of Shanghai University
jointly edited the proceedings for the 4th International Conference on
Formal Engineering
Methods, Shanghai, October 2002: Formal Methods and Software
Engineering, which has been published as
Lecture Notes of Computer Science Vol. 2495 by Springer Verlag.
A total of 14 papers was been published in
conference proceedings, and 3 papers were
published by journals. See appendix * for the
full list of external publications in 2002.
UNU/IIST staff have served on the Programme Committees of ten
2002 international conferences: APSEC (3), CSITeA, ERSA,
FME, ICFEM, IDPT, IFM, ISFST, PROVE, and RSP
The aim of dissemination is to distribute new research and development
techniques, results in software technology and free software to
selected targets in developing countries and countries in transition.
Since UNU/IIST, in its Research and Advanced Development Projects,
uses front-of-the-wave techniques and pursues further development
(i.e. research) of these techniques, the dissemination activity
focuses primarily on propagating the techniques and results that
directly relate to UNU/IIST's Research and Advanced Development
Agenda. In parallel, through its training activities, and also through
institutional agreements with specific institutions, UNU/IIST provides
access to literature (reports, papers) and free software. UNU/IIST
has defined a list of target institutions, which includes 10
institutions in China, 30 institutions in Asian countries other than
China, 6 institutions in South America and in Africa, and 2
institutions in Eastern Europe. Institutions from developing countries
are added to the list if their research and training interests match
the areas that are covered by UNU/IIST's programme. UNU/IIST sends to
its targeted institutions every six months a selection of up-to-date
information on international literature, free software and technical
reports, both from UNU/IIST itself and from partner institutions,
together with instructions on how to procure such publications. More
specifically, each institution receives:
- List of UNU/IIST reports with abstract and URL address
- Selected UNU/IIST reports
- Copies of the tables of contents of 22 important journals in the
area of computer software. UNU/IIST provides photocopies of a
limited number of articles from these journals upon request
| Publications and dissemination |
| Postgraduate training/teaching activities |
| |
| Top |
| |
| List of academic meetings and events |
|