Annual Report 1994

A Abbreviations

AKCL

: -- Austin Kyoto Common Lisp

BM

: -- Boyer-Moore (Theorem Prover)

CAE

: -- Computer Aided Engineering

CAD

: -- Computer Aided Design

CAM

: -- Computer Aided Manufacturing

CIM

: -- Computer Integrated Manufacturing

CMU

: -- Carnegie-Mellon University, Pittsburgh, Pennsylvania, USA

CRSC

: -- China Railway Signal and Communications Corporation

DeTfoRS

: -- Design Techniques for Real-time Systems

DiMaCS

: -- Disaster Management Computing Systems

-- (Preparedness, Assessment, Relief and Recovery)

DPRK

: -- Democratic People's Republic of Korea

E-Mail

: -- Electronic post (over Internet

ESPRIT

: -- European Strategic Programme of Research in Information Technology

EU

: -- European Union

GaDIMS

: -- Geo- & Demographic Information Management Systems

GAL

: -- (Macau) Cabinet for Legislative Affairs (Gabinet Assuntos Legislativos)

GCL

: -- GNU Common Lisp

GNU

: -- GNU Not UNIX

GRaP

: -- Geometric Reasoning and Programs

HARNET

: -- Hong Kong Academic Research NETwork

HEMIS

: -- Higher Education MIS

HOL

: -- Higher Order Logic

IDRC

: -- International Development Research Centre of Canada

IFIP

: -- The International Federation for Information Processing.

IMS

: -- Intelligent Manufacturing System

Internet

: -- The International E-Mail &c. Network

KAIST

: -- Korean Advanced Institute of Science and Technology, Taejon

KHICS

: -- K... Hospital Information and Command Computing System

KISS

: -- Korean Information Science Society

MacSchubert

:

1. Old: -- A Mathematica-like System with Reasoning Power for Learning and Teaching Mathematics

2. New: -- An Apple-based Computing System: Scientific Computing for High School and University,

-- Befitting Experimental Research and Teaching

MaGICS

: -- Macau General Information and Command System

MIICI

: -- Manufacturing Industry Information and Command Interfaces

MIS

: -- Management Information Systems

MIT

: -- Massachusetts Institute of Technology, Cambridge, Massachusetts, USA

ML

: -- Meta Language

MoTraS

: -- (Computerisation of) Mongolian Traditional Script

POSTECH

: -- Pohang University of Science and Technology, Republic of Korea

PRaCoSH

: -- The PRC Railway Computing Software House

PRaCoSy

: -- The PRC RaCoSy

PRC

: -- People's Republic of China

PSA

: -- Personal Service Agreement³²

RaCoSy

: -- Railway Computing Systems

RAISE

: -- Rigorous Approach to Software Engineering

RoK

: -- Republic of Korea

RSL

: -- RAISE Specification Language

SSA

: -- Special Service Agreement³³

SEI

: -- Software Engineering Institute, CMU

SERI

: -- (Korean) Systems Engineering Research Institute

SML/NJ

: -- Standard ML of New Jersey

TC2

: -- IFIP's Technical Committee 2: Software

WG2.3

: -- IFIP TC2's Working Group 2.3: Programming Methodology

UN

: -- United Nations

UNDP

: -- UN Development Programme

UNEP

: -- UN Environment Programme

UNESCO

: -- UN Educational, Scientific and Cultural Organization

UNU

: -- UN University

UNU/IIST

: -- UNU's International Institute for Software Technology

WHeCCS

: -- WHO Health Care Computing System

WHO

: -- World Health Organization

Annual Report 1994