Re: Proving Correctness (was Java Portability)

[Leif Roar Moldskred <lrm@huldreheim.provida.no>]

Marin David Condic <dont.bother.mcondic.auntie.spam@[acm.org> wrote:
> Wellllll....... You *might* pay to get a custom library built rather than
> shop for an off-the-shelf part. Sometimes you have a problem domain for
> which no suitable library exists or there are licensing issues, etc. But the
> one thing you can count on here is that any (non-brain-dead) businessman is
> *not* going to pay "Ada Library Writers Inc." the full development cost,
> plus profit and not walk away with 100% ownership of the end product.

Actually, there might be good business-sense in doing just that in a
few cases. If the library is outside of the paying company's focus, it
might be better for the company to leave the ownership of the library
in the hands of the creators, and let them continue to develop and
support it; rather than demanding the rights for themselves, and then
never having the time or inclination to do anything more with the
library.

A second reason is even simpler: if nobody will write the library
unless you pay them the development cost, and lets them retain the
rights. For more specialized problem domains, it might be seller's
market.

-- 
Leif Roar Moldskred