[comp.windows.misc] course on User Interfaces, formal specifications

bob@infko.UUCP (Thomas Biedassek) (07/18/88)

Hello 
I am looking for some remarks for a course on 
	"User Interfaces and methods for formal specification".

In the next term (winter: October 88 - Februar 89) i'll try to hold such
course.

If there is interest, I'll summ up the remarks which I receive mixed
with my own intensions.

Thanks !
(-- ***************************************************************************
Greatings, Thomas Biedassek , Dep. of Computer Science, University of Koblenz
	   Rheinau 3 - 4, D-5400 Koblenz, WEST-GERMANY      (tel.+45-261-12156)
	   UUCP-Net: ...!mcvax.uucp!unido!infko!bob       or     bob@infko.uucp
w************************************************************************** --)