This report provides a brief, technical introduction to RAISE.  It
first provides an introduction to the RAISE Specification Language
(RSL).  Then there are two sections on the method, covering both the
writing of in initial specifications and their development into
executable software.