Accès plus rapide que le navigateur!
40 relations: Ada (langage), Algèbre de Boole (logique), Analyse statique de programmes, Apache Spark, Assertion, Bertrand Meyer, Bug (informatique), C (langage), Calcul des prédicats, Code source, D (langage), Eiffel (langage), Invariant de boucle, Java (langage), Java Modeling Language, Jean-Raymond Abrial, Langage de programmation, Lisaac, Logique de Hoare, Logique mathématique, Méthode formelle (informatique), Nombre réel, Notation Z, Object Constraint Language, Paradigme (programmation), PHP, Praspel, Précondition, Programmation informatique, Property Specification Language, Pseudo-code, Racine carrée, Sémantique des langages de programmation, Test (informatique), Test unitaire, UML (informatique), Vala (langage), Valeur de vérité, Variable (informatique), VHDL.
Ada (langage)
Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980.
Nouveau!!: Programmation par contrat et Ada (langage) · Voir plus »
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Programmation par contrat et Algèbre de Boole (logique) · Voir plus »
Analyse statique de programmes
En informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter.
Nouveau!!: Programmation par contrat et Analyse statique de programmes · Voir plus »
Apache Spark
Spark (ou Apache Spark) est un framework open source de calcul distribué.
Nouveau!!: Programmation par contrat et Apache Spark · Voir plus »
Assertion
Une assertion est une proposition (affirmative ou négative) présentée comme vraie (la proposition n'est par exemple ni interrogative ni une injonction).
Nouveau!!: Programmation par contrat et Assertion · Voir plus »
Bertrand Meyer
Bertrand Meyer (né le en France) est le créateur du langage de programmation orienté objet Eiffel.
Nouveau!!: Programmation par contrat et Bertrand Meyer · Voir plus »
Bug (informatique)
MacIntosh d'Apple. En informatique, un bug (prononcé en français: Prononciation en français européen retranscrite phonémiquement selon la norme API.) ou bogueRecommandé en France par la Délégation générale à la langue française et aux langues de France (DGLFLF), au Canada et en Belgique.
Nouveau!!: Programmation par contrat et Bug (informatique) · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: Programmation par contrat et C (langage) · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Programmation par contrat et Calcul des prédicats · Voir plus »
Code source
fr.
Nouveau!!: Programmation par contrat et Code source · Voir plus »
D (langage)
Le D est un langage de programmation impératif orienté objet et multi-paradigmes conçu pour la programmation système.
Nouveau!!: Programmation par contrat et D (langage) · Voir plus »
Eiffel (langage)
Eiffel est un langage de programmation orienté objet (POO) conçu par Bertrand Meyer, auteur de l'ouvrage Conception et Programmation orientées objet qui fait figure de référence pour la conception orientée objet.
Nouveau!!: Programmation par contrat et Eiffel (langage) · Voir plus »
Invariant de boucle
En programmation, une boucle est une instruction qui permet de répéter l'exécution d'une partie d'un programme.
Nouveau!!: Programmation par contrat et Invariant de boucle · Voir plus »
Java (langage)
Java est un langage de programmation de haut niveau orienté objet créé par James Gosling et Patrick Naughton, employés de Sun Microsystems, avec le soutien de Bill Joy (cofondateur de Sun Microsystems en 1982), présenté officiellement le au.
Nouveau!!: Programmation par contrat et Java (langage) · Voir plus »
Java Modeling Language
Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat.
Nouveau!!: Programmation par contrat et Java Modeling Language · Voir plus »
Jean-Raymond Abrial
Jean-Raymond Abrial, né le, est un informaticien français.
Nouveau!!: Programmation par contrat et Jean-Raymond Abrial · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Programmation par contrat et Langage de programmation · Voir plus »
Lisaac
Lisaac est un langage de programmation impératif à prototype compilé à l'origine conçu afin d'écrire le système d'exploitation IsaacOS et pour être adapté au développement de pilotes de périphériques.
Nouveau!!: Programmation par contrat et Lisaac · Voir plus »
Logique de Hoare
La logique de Hoare, parfois appelée logique de Floyd-Hoare, est une méthode formelle définie par le chercheur en informatique britannique Tony Hoare dans un article de 1969 intitulé.
Nouveau!!: Programmation par contrat et Logique de Hoare · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Programmation par contrat et Logique mathématique · Voir plus »
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Nouveau!!: Programmation par contrat et Méthode formelle (informatique) · Voir plus »
Nombre réel
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entièreCette partie entière par troncature, désignant les chiffres « à gauche de la virgule » ne correspond pas forcément à la partie entière par défaut: dans le cas d’un nombre réel négatif comme, la partie entière par défaut vaut.
Nouveau!!: Programmation par contrat et Nombre réel · Voir plus »
Notation Z
Exemple de spécification dans le langage z formel La notation Z est un langage de spécification utilisé pour décrire et modéliser les systèmes informatiques.
Nouveau!!: Programmation par contrat et Notation Z · Voir plus »
Object Constraint Language
OCL est un langage informatique d'expression des utilisé par UML.
Nouveau!!: Programmation par contrat et Object Constraint Language · Voir plus »
Paradigme (programmation)
langue.
Nouveau!!: Programmation par contrat et Paradigme (programmation) · Voir plus »
PHP
., plus connu sous son sigle (sigle auto-référentiel), est un langage de programmation libre, principalement utilisé pour produire des pages Web dynamiques via un serveur web, mais pouvant également fonctionner comme n'importe quel langage interprété de façon locale.
Nouveau!!: Programmation par contrat et PHP · Voir plus »
Praspel
Praspel (PHP Realistic Annotation and Specification Language) est un langage de spécification pour PHP.
Nouveau!!: Programmation par contrat et Praspel · Voir plus »
Précondition
Une précondition est une condition appliquée au début d'un calcul ou d'une fonction informatique, et permettant d'en valider le résultat.
Nouveau!!: Programmation par contrat et Précondition · Voir plus »
Programmation informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Nouveau!!: Programmation par contrat et Programmation informatique · Voir plus »
Property Specification Language
Le Property Specification Language (PSL) (en français: Langage de spécification par propriétés) est basé sur le langage Sugar d’IBM.
Nouveau!!: Programmation par contrat et Property Specification Language · Voir plus »
Pseudo-code
En programmation, le pseudo-code, également appelé LDA (pour Langage de Description d'Algorithmes) est une façon de décrire un algorithme en langage presque naturel, sans référence à un langage de programmation en particulier.
Nouveau!!: Programmation par contrat et Pseudo-code · Voir plus »
Racine carrée
Pas de description.
Nouveau!!: Programmation par contrat et Racine carrée · Voir plus »
Sémantique des langages de programmation
En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques.
Nouveau!!: Programmation par contrat et Sémantique des langages de programmation · Voir plus »
Test (informatique)
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.
Nouveau!!: Programmation par contrat et Test (informatique) · Voir plus »
Test unitaire
En programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »).
Nouveau!!: Programmation par contrat et Test unitaire · Voir plus »
UML (informatique)
Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet.
Nouveau!!: Programmation par contrat et UML (informatique) · Voir plus »
Vala (langage)
Vala est un langage de programmation compilé, dont l'objectif est de fournir les bénéfices des langages de programmation modernes (comme la POO) aux développeurs de la plateforme GNOME qui utilisent GLib et son système GObject.
Nouveau!!: Programmation par contrat et Vala (langage) · Voir plus »
Valeur de vérité
Une valeur de vérité est une valeur attribuée à chaque proposition logique.
Nouveau!!: Programmation par contrat et Valeur de vérité · Voir plus »
Variable (informatique)
En informatique, les variables sont des symboles qui associent un nom (l'identifiant) à une valeur.
Nouveau!!: Programmation par contrat et Variable (informatique) · Voir plus »
VHDL
VHDL est un langage de description de matériel destiné à représenter le comportement ainsi que l'architecture d’un système électronique numérique.
Nouveau!!: Programmation par contrat et VHDL · Voir plus »
Redirections ici:
Design by Contract, Postcondition.
