WWW Documentation for a course in Computer Systems Verification

I've only skimmed a couple of the pages, but it looks like a very
reasonable use of the Web to support a course.  If anyone does it for a
Larch course, please let us all know!  :-)

Jim H.

------- Forwarded Message

From: black@puma.bert.cs.byu.edu (Paul E. Black)
Date: 29 Jun 1994 19:12:21 GMT
Subject: Re: WWW Implementing Large Lectures...
Newsgroups: comp.infosystems.www.users,comp.infosystems.www.misc
In-Reply-To: alib109@twain.ucs.umass.edu's message of 28 Jun 1994 19:52:36 GMT

   We were wondering if anyone is aware of any colleges/universities that
   are using www to implement large lectures or lectures of any size.

Here at BYU, Dr. Windley presented an entire class, Computer Systems
Verification (URL: http://lal.cs.byu.edu/cs501/homepage.html) on
Mosaic.  Each class he'd start up the projection system having Mosaic
in one window and the verification system in another.  No paper was
even handed out.  Also he did all the "handouts" for Concepts of
Programming Languages (URL: http://lal.cs.byu.edu/cs330/homepage.html)
in Mosaic.  Students can access policies, the syllabus, assignments,
lecture notes, helps, enrichment references, etc. via Mosaic.  I took
the first class and was a teaching assistant for the second class, and
they seemed to work well.

Paul E. Black                   Laboratory for Applied Logic
black@lal.cs.byu.edu            3308 TMCB
p.black@ieee.org                Brigham Young University
voice: +1 801 378 8113          Provo, Utah   84602
<A href="http://lal.cs.byu.edu/people/black.html">Mosaic page</A>

------- End of Forwarded Message