OBJ3

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