COMPRÓBACION DE LEGALIDAD
c-laws
c-laws (*) es un lenguaje declarativo general para describir reglas de trabajo de una línea aérea y para verificar si las secuencias y las programaciones cumplen con las normas. Lo hemos diseñado para dirigir las complicadas normativas de las grandes líneas aéreas y ferrocarriles.
c-laws genera un código eficaz en C, C++, Java o COBOL, que se compila y enlaza diferentes aplicaciones de gestión de tripulaciones incluyendo servidores de normas, módulos automáticos de planificación y herramientas de análisis estadístico.
e-rules
e-rules e-rules es un lenguaje de comprobación de la legalidad diseñado para planificadores de tripulaciones sin un conocimiento en informática. Hace posible describir una amplia gama de reglas en una sintaxis sencilla e instalar las normas en sistemas de producción sin la ayuda de un programador informático.
(*) pronunciada “clause”.
