Metraipolis › archive › dc_3dc3b64e8a67

E-LOTOS — Wikipedia (fr)

Source: Wikipedia (fr)
Original: https://fr.wikipedia.org/wiki/E-LOTOS
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-06T17:45:17.740Z
SHA-256 of the archived text: f48e6cba6bbee2b5fbdc9d886158f84b9a0a16636ae2d3e503cdfbde2be46c1c
Stable URL of this page: https://metraipolis.com/documento/dc_3dc3b64e8a67

How to cite

E-LOTOS — Wikipedia (fr) — Wikipedia (fr), https://fr.wikipedia.org/wiki/E-LOTOS (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_3dc3b64e8a67 (Metraipolis archive dc_3dc3b64e8a67, sha256 f48e6cba6bbee2b5fbdc9d886158f84b9a0a16636ae2d3e503cdfbde2be46c1c)

BibTeX

@misc{dc3dc3b64e8a67,
  title = {E-LOTOS — Wikipedia (fr)},
  howpublished = {Wikipedia (fr)},
  url = {https://fr.wikipedia.org/wiki/E-LOTOS},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_3dc3b64e8a67; sha256 f48e6cba6bbee2b5fbdc9d886158f84b9a0a16636ae2d3e503cdfbde2be46c1c},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (fr), https://fr.wikipedia.org/wiki/E-LOTOS. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

E-LOTOS (Enhanced LOTOS) est un langage de spécification formel conçu entre 1993 et 1999, et standardisé par l'ISO en 2001. E-LOTOS était initialement prévu pour être une révision du langage LOTOS standardisé par la norme ISO 8807 en 1989. La révision se révéla toutefois profonde, ce qui conduisit à un nouveau langage de spécification. Le point de départ pour la révision du LOTOS a été la thèse de Ed Brinksma, qui avait été rapporteur du standard LOTOS à l'ISO. En 1993, les objectifs initiaux de la définition d'E-LOTOS ont été énoncés dans cette annonce. En 1997, lorsque la définition du langage atteint le niveau de maturité d'un projet de comité ISO, l'annonce suivante fut publiée, décrivant les caractéristiques principales d'E-LOTOS. Le document suivant rappelle les étapes importantes de la définition du projet E-LOTOS. E-LOTOS a inspiré des langages descendants, parmi lesquels LOTOS NT et LNT.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in francese, in ordine alfabetico).
Fonte: Wikipedia in francese, voce «E-LOTOS» — https://fr.wikipedia.org/wiki/E-LOTOS
Wikidata Q19501726: «formal specification language» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q19501726
Autori: i contributori di Wikipedia (cronologia: https://fr.wikipedia.org/wiki/E-LOTOS?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 241070359, consultata il 2026-11-06T17:39:08.752Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: b569a008cef0dca5ab86000e41ab022ca94aa5a3345855f1250c5553fe2bb429