en fr An introduction to E-LOTOS Introduction à E-LOTOS Reportar como inadecuado




en fr An introduction to E-LOTOS Introduction à E-LOTOS - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 RUN - Research Unit in Networking 2 CTI - School of Computer Science, Telecommunications, and Information Systems DePaul 3 LIAFA - Laboratoire d-informatique Algorithmique : Fondements et Applications

Résumé : Cette annexe a pour but de présenter les élémentsprincipaux du langage ISO E-LOTOS, qui est une révision du langage ISOLOTOS. Les améliorations apportées par E-LOTOS sont entre autres :la modélisation du temps, un sysème de modules, des types dedonnées fonctionnels, la gestion d-exceptions, la présence deconstructions impératives, et quelques nouveaux opérateurs ouextensions d-opérateurs. E-LOTOS est présenté en deux parties :le langage de base et le langage des modules.

keyword : langages de specification LOTOS E-LOTOS





Autor: Guy Leduc - Alan Jeffrey - Mihaela Sighireanu -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados