Dr. Kelvin Nilsen, Aonix

• DO-178C meets safety-critical Java

  Dr. Kelvin Nilsen Aonix

  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.