Langage de spécificationUn langage de spécification est un Langage formel en Informatique utilisé pendant l'analyse systémique, l'analyse des exigences et la conception des systèmes pour décrire un système à un niveau beaucoup plus élevé qu'un langage de programmation, qui est utilisé pour produire un code exécutable pour un système. Les langages de spécification ne sont généralement pas exécutés directement. Ils sont destinés à décrire le quoi, pas le comment. En effet, il est considéré comme une erreur si une spécification d'exigence est encombrée de détail d'implémentation non nécessaire.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Logical formIn logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
Histoire contrefactuelleEn science de l'Histoire, l’histoire contrefactuelle (ou approche contrefactuelle) est une méthode qui consiste à imaginer des développements historiques alternatifs (par exemple la chute de la république romaine à la suite de l'invasion gauloise, et ses conséquences possibles) à partir d'une situation réelle (celle de Rome et des celtes gaulois). La question qui permet d'amorcer ce type de réflexion est : .
PapierLe papier est un matériau en feuilles minces fabriqué à partir de fibres végétales. C'est un support d'écriture et de dessin avec de nombreuses autres applications. On appelle carton un papier épais et rigide. L'usage du papier est attesté il y a en Chine. Il s'y fabrique à partir de plantes riches en cellulose. L'invention de la xylographie au en augmente l'usage et la fabrication. À la même époque, il se diffuse dans le monde musulman, où les fabricants utilisent le chiffon, puis en Occident où on lui ajoute de la colle pour l'adapter à l'écriture à la plume.
Action (finance)vignette|250px|Action du Zoo d'Anvers, Belgique,23 juillet 1843. vignette|250px|Action de la Société royale de Zoologie, d’Horticulture et d’Agrément (Zoo de Bruxelles à l'époque), 1874. vignette|Action de la S. A. de la Franc-maçonnerie bordelaise, 1878. vignette|Action de la Société Anonyme du Home-Décor, 1898. vignette|Action de la Compagnie Impériale des Chemins de Fer Éthiopiens, 1899. vignette|Action de Imprimerie et Publicité Charles Verneau, 1899. vignette|Action de la Compagnie des Installations Maritimes de Bruges (Belgique), 1904.
Histoire intellectuelleLhistoire intellectuelle est une des branches de la recherche historique. Elle est d'apparition récente et est agitée par diverses controverses; elle s'apparente à l'histoire des idées. Alors que cette dernière s’intéresse aux idées en elles-mêmes, l’histoire intellectuelle se penche sur les idées dans leur contexte: elles émanent d'auteurs et sont situées dans un espace-temps. L’histoire intellectuelle remet donc en question des pratiques telles que l'utilisation d'un texte uniquement pour ses critères internes.
Timbre (musique)En musique, le timbre est l'ensemble de caractéristiques du son qui permet de reconnaître un instrument ou une voix . En musique comme dans les autres domaines, le « timbre » d'une voix humaine est l'ensemble de ses caractères distinctifs. La notion de timbre apparaît en Europe au dans la musique polyphonique. Au , la synthèse électronique des sons permet le développement de timbres entièrement nouveaux. La musique pop se caractérise par son invention de timbres, notamment de guitare électrique ; la musique électronique les diversifie et les enrichit.
Joseph HaydnFranz Joseph Haydn () (13px| audio) , né le à Rohrau sur la Leitha en Basse-Autriche et mort le à Vienne, est un compositeur autrichien. Il incarne le classicisme viennois au même titre que Mozart et Beethoven, les trois compositeurs étant regroupés par la postérité sous le vocable de . La carrière musicale de Joseph Haydn couvre toute la période classique, allant de la fin de la musique baroque aux débuts du romantisme. Il est à la fois le pont et le moteur qui a permis cette évolution.
Share priceA share price is the price of a single share of a number of saleable equity shares of a company. In layman's terms, the stock price is the highest amount someone is willing to pay for the stock, or the lowest amount that it can be bought for. In economics and financial theory, analysts use random walk techniques to model behavior of asset prices, in particular share prices on stock markets. This practice has its basis in the presumption that investors act rationally and without biases, and that at any moment they estimate the value of an asset based on future expectations.
Nom de domaineUn nom de domaine (NDD en notation abrégée française ou DN pour Domain Name en anglais) est, dans le système de noms de domaine DNS, un identifiant de domaine internet. Un domaine est un ensemble d'ordinateurs reliés à Internet et possédant une caractéristique commune. Par exemple, un domaine tel que .fr est l'ensemble des ordinateurs hébergeant des activités pour des personnes ou des organisations qui se sont enregistrées auprès de l'Association française pour le nommage Internet en coopération (AFNIC) qui est le registre responsable du domaine de premier niveau .
Domaine de premier niveauUn domaine de premier niveau ou un domaine de tête (top-level domain, ou TLD), aussi appelé une extension, est, dans le système de noms de domaine internet, un sous-domaine de la racine. Dans un nom de domaine, le domaine de premier niveau est généralement le dernier élément du nom de domaine (exemple : dans , le domaine de premier niveau est ). vignette|Exemples de domaines de premier niveau. Le dernier point est optionnel. À l'origine, il indiquait la fin du nom de domaine. Par simplicité, l'usage courant est de ne plus l'indiquer.
