I'm an experienced Java developer and I really don't see the benefit of Buoy framework over swing. Instead of praising Buoy in every way possible, can you perhaps enlighten me on its benefits?
By the way, Buoy uses reflective method invocations to bind swing events to Buoy events. Swing = not fast, reflection in Java is dead slow, end result = ?
And take this: its primary control software has been built from the ground up to be mathematically proven bug-free.
I'm always a bit sceptical when reading such claims. Mathematically proven to what requirements? If the requirements contain bugs the resulting control system will also fail... Mathematically proven is not the silver bullet for correct software, allthough it might help providing confidence in correctness.
Slashdot Mirror
I'm an experienced Java developer and I really don't see the benefit of Buoy framework over swing. Instead of praising Buoy in every way possible, can you perhaps enlighten me on its benefits?
By the way, Buoy uses reflective method invocations to bind swing events to Buoy events. Swing = not fast, reflection in Java is dead slow, end result = ?
I'm always a bit sceptical when reading such claims. Mathematically proven to what requirements? If the requirements contain bugs the resulting control system will also fail... Mathematically proven is not the silver bullet for correct software, allthough it might help providing confidence in correctness.