Différences entre versions de « Estelle »

De Mi caja de notas

(Page créée avec « {{wp}} »)
 
(Aucune différence)

Version actuelle datée du 10 décembre 2019 à 21:46


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>