Re: Proving Correctness (was Java Portability)

[Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>]

Marin David Condic <dont.bother.mcondic.auntie.spam@[acm.org> wrote:
: I'm not sure what you are suggesting here.

Yes, something like the first two cases.
It pays programmers as long as they are developing
a much needed library. If their is sufficient demand
for a GMGPL XML library, say, some skilled Ada programmer
could write one. If this person is know to those who are
interested, they might be ready to "sponsor" the development
of that library.

Maybe then someone could join Simon Wright in developing
the 95 Booch components, wouldn't there be quite some
opportunities, to make good use of them?

The basic issue for me is then, how can we make more
people understand that the development of _any_ software
costs time and money, be that Free Software, or Don't-Disassemble-Ware.
Some already do, but I won't guess how many.

: company would pay to have some product developed (cost plus) and that it
: would Open Source (some flavor of GPL?) the end result, I'd have no problem
: with that. That's a work made for hire.

: If you are suggesting that perhaps a consortium of companies could/would
: fund the development of some software product that they all wanted and would
: pay salaries to the programmers and would eventually Open Source the end
: result, I'd again have no problem with it.
: 
: It comes down to the Golden Rule. He who has the Gold makes the Rules. :-)

Yes, within the restrictions that rule-makers have to live
with :-)