[Haifux] The use of SSDL...

[Tzafrir Cohen]

On Tue, Jan 27, 2009 at 05:42:31PM +0200, Yossi Gil wrote:
> Some of the comments I got showed that I did not make as clear as I should
> have the kind of teaching we do in SSDL.
> 
> We offer the following courses:
> 
> Software Design: Java based.
> Software Engineering: Mostly Java.
> Object Oriented Programming: C++, Java and C#.
> Programming Languages: ML and Prolog.

Which implementations are used?

BTW: there are a number of ocaml packages in actual use.

$ aptitude search '~Gimplemented-in::ocaml' | wc
    178    1517   14418

(on Debian Lenny - unison and hevea are among those packages)


> Software Verification:

Again: what relevant tools?

> Software Seminars.

-- 
Tzafrir Cohen         | tzafrir at jabber.org | VIM is
http://tzafrir.org.il |                    | a Mutt's
tzafrir at cohens.org.il |                    |  best
ICQ# 16849754         |                    | friend