Introduction à E-LOTOS - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2001

An introduction to E-LOTOS

Introduction à E-LOTOS

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.
Fichier principal
Vignette du fichier
ELOTOS.pdf (487.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00109629 , version 1 (24-11-2014)

Identifiants

  • HAL Id : hal-00109629 , version 1

Citer

Guy Leduc, Alan Jeffrey, Mihaela Sighireanu. Introduction à E-LOTOS. Ana Cavalli. Ingenierie des protocoles et qualite de service, Hermes Lavoisier, pp.213-252, 2001, serie IC2. ⟨hal-00109629⟩

Collections

UNIV-PARIS7 CNRS
83 Consultations
64 Téléchargements

Partager

Gmail Facebook X LinkedIn More