[Haifux] The use of SSDL...
tzafrir at cohens.org.il
Tue Jan 27 21:20:34 MSK 2009
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
More information about the Haifux