Footnotes
- (1)
- Visiting
address: UNU/IIST, 18/F, Banco Luso Intenational Building,
1-3 Rua Dr. Pedro Jose Lobo, Macau. Mailing address: UNU/IIST, P.O.
Box 3058, Macau. Electronic addresses:
Phone: +853-712-930, Fax: +853-712-930; E-mail:
info@iist.unu.edu.
- (2)
- The "loss" is
calculated as the difference between a July 1992 projected
endowment fund income
and operating contributions of US$1.537 Million and a March 24, 2000
estimate of (actual) US$1.398 Million. It is even larger when compared to
August 1991 estimates (based on March 1991 pledged contributions)
US$2.247 Million.
- (3)
- C3I: computer, command,
control & information system
- (4)
- RAISE is a method for formal development of
software. It includes a specification language, RSL, and an
extensive tool set. Eventually UNU/IIST will feature several
from a wide array of formal methods, incl.
verification tools: B, Boyer/Moore, ccs,
Esterel, Estelle, HOL, Larch, Lotos, PVS, VDM, Z, etc.
- (5)
- All
travel and most per diem expenses covered by hosts.
- (6)
- All travel and most
per diem expenses covered by hosts.
- (7)
- All travel and most
per diem expenses covered by hosts.
- (8)
- Participation: travel
&c. financed by Osaka Inst.
- (9)
- Local costs covered by hosts.
- (10)
- Participation financed by Hong Kong organizers.
- (11)
- Travel and all local costs fully financed by Japan
Software Engineering Association and local hosts.
- (12)
- Danish Academy of Technical Science
covered travelling and local costs.
- (13)
- European travel + locla expenses covered by
Eindhoven Technological University, The Netherlands.
- (14)
- This could be an outcome of ongoing,
almost final stage negotiations with the Austrian Federal
Ministry of Education which is on the verge of granting
UNU/IIST a larger contract: MacSchubert.
- (15)
- EU: European Union
- (16)
- E-mail addresses of UNU/IIST
personnel were given in section 4.2.
info@iist.unu.edu, February 1994
