Footnotes
- (1)
- C3I: computer, command,
control & information system
- (2)
- SoftPUST would
co-operate strongly with the Panafrican Union of
Science and Technology, Brazzaville, Congo.
- (3)
- A posible
such promising project could be with the Beijing Research Institute
for Automation whose ERC
(Engineering Research Center, as funded by The World Bank)
offers a nice opportunity for UNU/IIST to engage in collaborative
work on advanced, high integrity software for
Flexible Manufacturing Systems and Robots.
- (4)
- IFIP: International Federation for Information Processing.
- (5)
- Technical Committee 2: Programming.
- (6)
- Working Group 2.2: Formal Description of Programming
Concepts.
- (7)
- 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 a wide
array of formal methods, incl.
verification tools: B, Boyer/Moore, ccs,
Esterel, Estelle, HOL, Larch, Lotos, PVS, VDM, Z, etc.
- (8)
- IFIP TC2 WG2.3: Programming Methodology.
- (9)
- This, despite UNU/IIST's
aim of transferring software technologies whose proper use can
significantly help towards insuring reliable software.
- (10)
- UNU/IIST
usually has to rent advanced work stations for this purpose as they are
not usually available in the developing world.
info@iist.unu.edu, March 1993
