en fr An introduction to E-LOTOS Introduction à E-LOTOS Report as inadecuate




en fr An introduction to E-LOTOS Introduction à E-LOTOS - Download this document for free, or read online. Document in PDF available to download.

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





Author: Guy Leduc - Alan Jeffrey - Mihaela Sighireanu -

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



DOWNLOAD PDF




Related documents