Pragmatic theory of truthA pragmatic theory of truth is a theory of truth within the philosophies of pragmatism and pragmaticism. Pragmatic theories of truth were first posited by Charles Sanders Peirce, William James, and John Dewey. The common features of these theories are a reliance on the pragmatic maxim as a means of clarifying the meanings of difficult concepts such as truth; and an emphasis on the fact that belief, certainty, knowledge, or truth is the result of an inquiry. Pragmatic theories of truth developed from the earlier ideas of ancient philosophy, the Scholastics.
Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
Pragmatismethumb|right|Les pères fondateurs du pragmatisme de haut en bas et de gauche à droite : Charles Sanders Peirce, William James, John Dewey, George Herbert Mead. Le pragmatisme est une école philosophique américaine fondée par Charles Sanders Peirce à la fin du . La thèse principale de Peirce est que le sens d'une expression réside dans ses conséquences pratiques. Les principaux membres ultérieurs de l'école pragmatiste sont William James et John Dewey, James ayant popularisé le mot pragmatisme grâce à un cycle de conférences qui sera édité en 1907 dans un ouvrage intitulé Le Pragmatisme : Un nouveau nom pour d'anciennes manières de penser.
Basic (langage)Basic ou basic (de l'acronyme anglais BASIC pour Beginner's All-purpose Symbolic Instruction Code est littéralement « code d'instruction symbolique multiusage du débutant »), fait partie d'une famille de langages de programmation de haut niveau ayant pour caractéristique leur facilité d'utilisation. La première version est présentée par John George Kemeny et Thomas Eugene Kurtz au Dartmouth College en 1964. À l’époque, la quasi-totalité des ordinateurs exigeait l’écriture de logiciels personnalisés, que seuls les scientifiques et les mathématiciens avaient tendance à apprendre.
BASIC Microsoftvignette|capture d'écran Atari Microsoft BASIC II Le BASIC Microsoft est un BASIC développé et vendu sous licence par Microsoft. Il était implanté sur de nombreux ordinateurs personnels. La première version a été développée pour l'ordinateur Altair 8800 en 1975 (Altair BASIC). Il a été ensuite implanté sur : les ordinateurs MSX les ordinateurs Thomson les ordinateurs Oric les ordinateurs BBC les ordinateurs PC et compatibles Il est par la suite devenu une norme sur les instructions non graphiques des langages BASIC, et a servi de référence pour les recueils de listings ne se destinant pas à un ordinateur en particulier.
Théorie du choix rationnelLa théorie du choix rationnel (en anglais « rational choice theory », prononcé 'ræʃənl tʃɔɪs thēərē), ou « décision rationnelle », en microéconomie contemporaine, regroupe plusieurs théories de l'action qui, de manière générale, attribuent aux agents un comportement rationnel, lequel, en raison de préférences, dénote une recherche du plus grand profit pour le moindre mal. Elles ont été développées en économie (où elles constituent un paradigme dominant), en sociologie (où elles sont en concurrence avec d'autres paradigmes) et en psychologie, notamment en criminologie.
Non-functional requirementIn systems engineering and requirements engineering, a non-functional requirement (NFR) is a requirement that specifies criteria that can be used to judge the operation of a system, rather than specific behaviours. They are contrasted with functional requirements that define specific behavior or functions. The plan for implementing functional requirements is detailed in the system design. The plan for implementing non-functional requirements is detailed in the system architecture, because they are usually architecturally significant requirements.
Test (informatique)vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.
Architecture orientée servicesL'architecture orientée services ou AOS (calque de l'anglais service-oriented architecture, SOA) est une forme d'architecture de médiation qui est un modèle d'interaction applicative qui met en œuvre des services (composants logiciels) : avec une forte cohérence interne (par l'utilisation d'un format d'échange pivot, le plus souvent XML ou JSON) ; des couplages externes « lâches » (par l'utilisation d'une couche d'interface interopérable, le plus souvent un service web WS-*).
Qualité de serviceLa qualité de service (QDS) ou quality of service (QoS) est la capacité à véhiculer dans de bonnes conditions un type de trafic donné, en termes de disponibilité, débit, délais de transmission, gigue, taux de perte de paquets... La qualité de service est un concept de gestion qui a pour but d’optimiser les ressources d'un réseau (en management du système d'information) ou d'un processus (en logistique) et de garantir de bonnes performances aux applications critiques pour l'organisation.
