not really true???
Even using formal methods errors are bound to creep in. I agree with the article that on large projects human error is simply unavoidable!
That's why NASA use fault tolerance systems, and that's why it's a good idea to use fault tolerance in combination with formal methods for critical systems.
"Yes, it's not C#, but it is getting closer and closer to being C/C++"
Or is it getting closer to C#?
I've been using C# and found a few of the features such as Enumerated Types very helpful compared to using the Java Interface with constants etc...
I wonder if Java 1.6 will be more like C# 2.0!
By the way, can't wait to start developing in Java again. As good as C# is for RAD, it's just not Java, despite the added features. Nice to see SUN redressing the balance and adding the stuff I actually like from C# into the new release.
Slashdot Mirror
not really true??? Even using formal methods errors are bound to creep in. I agree with the article that on large projects human error is simply unavoidable! That's why NASA use fault tolerance systems, and that's why it's a good idea to use fault tolerance in combination with formal methods for critical systems.
Or is it getting closer to C#?
I've been using C# and found a few of the features such as Enumerated Types very helpful compared to using the Java Interface with constants etc...
I wonder if Java 1.6 will be more like C# 2.0!
By the way, can't wait to start developing in Java again. As good as C# is for RAD, it's just not Java, despite the added features. Nice to see SUN redressing the balance and adding the stuff I actually like from C# into the new release.I've never actually been to one of these penis contests, but they sound weird!