Sémantique algébrique (informatique)In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program specifications in a formal manner. The syntax of an algebraic specification is formulated in two steps: (1) defining a formal signature of data types and operation symbols, and (2) interpreting the signature through sets and functions. The signature of an algebraic specification defines its formal syntax. The word "signature" is used like the concept of "key signature" in musical notation.
PCI ExpressLe PCI Express (Peripheral Component Interconnect Express), officiellement abrégé PCI-E ou PCIe est un standard de bus d'extension utilisé pour les échanges entre les cartes d'extension (cartes graphiques, SSD, disques durs, cartes réseau,...) et avec la carte mère d'un ordinateur. Développé par Intel et introduit en 2004, il supplante les standards antérieurs PCI, PCI-X et AGP. Par analogie avec le modèle OSI, le standard PCI Express spécifie une couche physique, dont un bus local, couramment appelé (« bus PCI express »), une couche liaison de données et une couche de transaction.
SATA ExpressSATA Express (sometimes unofficially shortened to SATAe) is a computer bus interface that supports both Serial ATA (SATA) and PCI Express (PCIe) storage devices, initially standardized in the SATA 3.2 specification. The SATA Express connector used on the host side is backward compatible with the standard SATA data connector, while it also provides two PCI Express lanes as a pure PCI Express connection to the storage device. Instead of continuing with the SATA interface's usual approach of doubling its native speed with each major version, SATA 3.
RéificationLa réification (du latin « chose ») consiste à réifier, c'est-à-dire à donner les caractéristiques ou transformer en chose ce qui ne l'est pas, tel que considérer une personne comme un objet ou bien une idée abstraite comme un élément concret, ou à leur donner un caractère statique ou figé. Dans l'usage ordinaire du langage, il est normal de réifier des idées et la réification sera comprise comme telle.
Long-term supportEn informatique, une version Long-term support ou LTS (en français Support à long terme) désigne une version spécifique d'un logiciel dont le support est assuré pour une période de temps plus longue que la normale. Il s'agit de la mise en œuvre de la politique de gestion du cycle de vie d'un produit dans le domaine du génie logiciel, avec notamment l'application des principes de l'ingénierie de la fiabilité au processus de développement et de maintenance du logiciel.
