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 wrote:
> Hi Tzafrir,
>
> I am not sure which ML and which Prolog are used. Also, I do n
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.o
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 Ori
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.