Estelle

De Mi caja de notas

Révision datée du 10 décembre 2019 à 21:46 par Xtof (discussion | contributions) (Page créée avec « {{wp}} »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)


Estelle est un nom issu de l'occitan estèla, « étoile », qui peut désigner :

Prénom

Estelle est un prénom féminin, qui a pour variantes Estel, Estela, Estele, Estella, Estellie, Estelline, Estrela, Estrella, Étoile et Stella[1].

Sainte chrétienne

Personnes portant ce prénom

Personnages de fiction

Nom de famille

Toponyme

Informatique

  • ESTELLE est un langage de spécification formelle, développé pour la description des systèmes informatiques distribués[2].

Lien externe

  • « Estelle », sur linternaute.com

Notes et références

  1. Chantal Tanet et Tristan Hordé, Dictionnaire des prénoms, Paris, Larousse, , 675 p. (ISBN 978-2-03-583728-8), p. 218 et 585.
  2. Mohammed Ouzzif, « Introduction aux langages ESTELLE, LOTOS et SDL et essai d’application à la gestion de réseaux », HAL INRIA,‎ (lire en ligne [PDF])


<footer>source wp:Estelle</footer>