Re: [Haifux] The use of SSDL...
smlnj is used for ML, last I checked. It works well, expect for not having Readline support (specifically, you can't press up to get previous commands you've typed) On Tue, Jan 27, 2009 at 9:50 PM, Yossi Gil yossi@gmail.com wrote: Hi Tzafrir, I am not sure which ML and which Prolog are used. Also, I do not know which tools are used in verification. I believe Rational Rose / Rhapsody are used for some of the courses. Yossi ___ Haifux mailing list Haifux@haifux.org http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux -- Man is the only animal that laughs and weeps, for he is the only animal that is struck with the difference between what things are and what they ought to be. - William Hazlitt Ohad Lutzky ___ Haifux mailing list Haifux@haifux.org http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux
Re: [Haifux] The use of SSDL...
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 1781517 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
Re: [Haifux] The use of SSDL...
Hi Tzafrir, I am not sure which ML and which Prolog are used. Also, I do not know which tools are used in verification. I believe Rational Rose / Rhapsody are used for some of the courses. Yossi ___ Haifux mailing list Haifux@haifux.org http://hamakor.org.il/cgi-bin/mailman/listinfo/haifux