OS GSO ISO 8807:2011 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional.
The Directorate General of Specifications and Metrology (DGSM)
Ultima versión
OS GSO ISO 8807:2011
Introducción
Esta norma proporciona una descripción formal basada en la secuencia temporal de comportamientos observables para el lenguaje LOTOS utilizado en sistemas de información y procesamiento. Se enfoca en ofrecer técnicas formales precisas que facilitan la especificación y verificación de requisitos de sistemas abiertos interconectados, alineándose con estándares internacionales reconocidos.
*** Tenga en cuenta: esta descripción puede no ser precisa; consulte la documentación oficial.
OS GSO ISO 8807:2011 Historia
2011OS GSO ISO 8807:2011 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - - LOTOS - Una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional.