OBJ3

OBJ3 es un lenguaje orientado a objetos para sistemas integrados y en tiempo real. Es bueno para crear software confiable y predecible en aplicaciones críticas como aviación o dispositivos médicos. OBJ3 le permite modelar el comportamiento interactivo de un sistema con precisión durante las primeras etapas del diseño, generalmente antes de que comience la codificación. El uso de este lenguaje significa que los desarrolladores pueden realizar una verificación formal de las especificaciones antes de implementarlas en otros lenguajes como C o Ada.