Publisher's Synopsis
Papers from a March 2000 conference address themes including professional issues, training curricula, distance education, and undergraduate and graduate curricula. Increased attention is paid this year to Web-based SE methods. Specific topics include technology transfer for formal methods of software specification, student collaboration across univ