Spécification

"spécification" dans l'encyclopédie

• PROLÉGOMÈNES À UNE THÉORIE DU LANGAGE, Louis Trolle Hjelmslev Fiche de lecture

  • Écrit par Gabriel BERGOUNIOUX
  • 2 531 mots
  • 1 média

  Selon qu'elles concernent respectivement le système ou le processus (qui correspondent à la distinction entre langue et parole), les trois modalités se dédoublent par isomorphie : l'interdépendance (deux termes se présupposent mutuellement) en solidarité et complémentarité ; la détermination (un terme en suppose un autre sans que la réciproque soit vraie) en sélection et spécification ; la constellation (existence d'un rapport sans qu'il y ait dépendance stricte) en combinaison et autonomie.

• SYNTHÉTISEUR, musique

  • Écrit par Encyclopædia Universalis
  • 3 335 mots

  À la fin des années 1970 et dans les années 1980, on a mis au point des synthétiseurs beaucoup plus compacts utilisant des micro-ordinateurs et diverses techniques de synthèse numérique : échantillonnage de sons entiers (enregistrement numérique de sons), synthèse de Fourier (spécification d'harmoniques individuels) et la synthèse FM (modulation de fréquence) utilisant des ondes sinusoïdales.

• PROGRAMMATION

  • Écrit par Jean-François MONIN
  • 42 297 mots

  Leur objectif, partant d'une spécification formelle du système étudié, décrivant la fonction qu'il doit réaliser au moyen de formules, est d'assurer que celle-ci est respectée par le système réalisé. Techniquement, le travail porte sur des expressions formelles issues de la spécification ou du code du programme. Les méthodes formelles sont très variées et offrent toute une gamme d'outils, visant notamment une aide à la spécification, à la structuration du raisonnement, à l'automatisation des démonstrations, à la construction de jeux de tests.

• BURLAMAQUI JEAN-JACQUES (1694-1748)

  • Écrit par Yves SUAUDEAU
  • 3 743 mots

   » Prolongeant les vues de Pufendorf, selon qui les lois positives dérivent, par actualisation et spécification, des lois divines que sont les lois naturelles et les lois révélées, Burlamaqui affirme que, par voie de conséquence, le droit naturel devient un corps systématique d'observations sur la nature humaine et de vérités pratiques qu'en peut tirer un raisonnement exact et rigoureux.

• HIPPODAMOS DE MILET (V^e s. av. J.-C.)

  • Écrit par Roland MARTIN et Marie-Rose MAYEUX
  • 4 661 mots

  La spécialisation fonctionnelle des classes se calque sur la spécification des lieux : centre religieux, centre administratif, zone économique. La réforme de Clisthène, en établissant le bouleuterion — siège de l'assemblée, au centre de l'agora avec le foyer commun —, s'efforçait de faire prévaloir, dans l'organisation spatiale de la cité, un principe territorial sur le principe antérieur de la famille aristocratique, centrée sur son foyer domestique, c'est-à-dire de concrétiser la victoire de la démocratie sur l'antique aristocratie.