Estelle

De Mi caja de notas

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


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>