Dr. Kelvin Nilsen, Aonix
-
DO-178C meets safety-critical Java
The new DO-178C and Safety-Critical Java (JSR-302) development standards encourage formal methods in support of high-integrity, object-oriented development to improve software modularity, reuse, and generality.