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 | tzaf...@jabber.org | VIM is
http://tzafrir.org.il | | a Mutt's
tzaf...@cohens.org.il | | best
ICQ# 16849754 | | friend
_______________________________________________
Haifux mailing list
Haifux@haifux.org
http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux
