En informática, E-LOTOS (Enhanced LOTOS) es un lenguaje de especificación formal diseñado entre 1993 y 1999, y estandarizado por ISO en 2001. [1]
Inicialmente, E-LOTOS tenía la intención de ser una revisión del lenguaje LOTOS estandarizado por ISO 8807 en 1989, pero la revisión resultó ser profunda y condujo a un nuevo lenguaje de especificación.
El punto de partida para la revisión de LOTOS fue la tesis doctoral [2] de Ed Brinksma, quien había sido Relator en ISO de la norma LOTOS.
En 1993, los objetivos iniciales de la definición de E-LOTOS se establecieron en el anuncio de ISO / IEC JTC1 / N2802. [3]
En 1997, cuando la definición del lenguaje alcanzó el nivel de madurez de un Borrador del Comité ISO, se publicó un anuncio que describe las características principales de E-LOTOS. [4]