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.
Impact cosmiquevignette|Représentation d'artiste d'un astéroïde tombant sur la Terre. Un impact cosmique est la collision entre deux ou plusieurs objets célestes provoquant des effets notables. Dans la majorité des cas un petit corps du système solaire, astéroïde ou comète, entre en collision avec une planète, telle que la Terre. La fréquence des impacts cosmiques dans le système solaire a varié en fonction de l'époque : très fréquents durant la formation du système solaire il y a 4,6 milliards d'années, ils se sont progressivement raréfiés au fur et à mesure que le nombre de corps célestes en circulation diminuait.
Enterprise softwareEnterprise software, also known as enterprise application software (EAS), is computer software used to satisfy the needs of an organization rather than individual users. Such organizations include businesses, schools, interest-based user groups, clubs, charities, and governments. Enterprise software is an integral part of a computer-based information system. Enterprise software handles a number of operations in an organization, for example to enhance the business and management reporting tasks, or support production operations and back-office.
Amoeba (système d'exploitation)Amoeba est un système d'exploitation distribué développé par Andrew Tanenbaum avec d'autres personnes à l'université libre d'Amsterdam. Le projet Amoeba avait pour objectif de mettre en place un système de partage de temps (processeur) faisant en sorte que tout un réseau d'ordinateurs apparaisse à l'utilisateur comme une seule machine. Le développement à l'université libre d'Amsterdam est interrompu : le code source de la dernière version (5.3) a été modifié pour la dernière fois le .
Verification and validationVerification and validation (also abbreviated as V&V) are independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose. These are critical components of a quality management system such as ISO 9000. The words "verification" and "validation" are sometimes preceded with "independent", indicating that the verification and validation is to be performed by a disinterested third party.
Test de validationUn test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases : Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc.
SystèmeUn système est un ensemble d' interagissant entre eux selon certains principes ou règles. Par exemple une molécule, le système solaire, une ruche, une société humaine, un parti, une armée etc. Un système est déterminé par : sa frontière, c'est-à-dire le critère d'appartenance au système (déterminant si une entité appartient au système ou fait au contraire partie de son environnement) ; ses interactions avec son environnement ; ses fonctions (qui définissent le comportement des entités faisant partie du système, leur organisation et leurs interactions) ; Certains systèmes peuvent également avoir une mission (ses objectifs et sa raison d'être) ou des ressources, qui peuvent être de natures différentes (humaine, naturelle, matérielle, immatérielle.
Software as a serviceLe software as a service (SaaS) ou logiciel en tant que service est un modèle d'exploitation commerciale des logiciels dans lequel ceux-ci sont installés sur des serveurs distants plutôt que sur la machine de l'utilisateur. Les clients ne paient pas de licence d'utilisation pour une version, mais utilisent librement le service en ligne ou, plus généralement, payent un abonnement.
Logiciel de productivitéUn logiciel de productivité (aussi appelé logiciel de productivité personnelle ou logiciel de productivité de bureau ; en anglais, productivity software, personal productivity software ou office productivity software) est un logiciel utilisé pour produire des informations (telles que des documents, des présentations, des tableurs, des bases de données, des tableaux, des graphiques, des , de la musique électronique et des vidéos numériques).
Événement élémentaireEn théorie des probabilités, on appelle événement élémentaire un ensemble de l'univers (un évènement) constitué d'un seul élément. Par exemple dans un jeu de carte classique de 52 cartes, tirer le roi de cœur est un événement élémentaire car le paquet de carte ne contient qu'un seul roi de cœur. Supposons qu'une tribu contienne tous les événements élémentaires ; elle contient alors toutes les parties finies ou dénombrables de , et chacune de ces parties peut s'écrire sous la forme : La réunion étant disjointe, cette relation permet de déterminer la probabilité de tout événement à partir des probabilités des événements élémentaires constituant .
