Accès plus rapide que le navigateur!
19 relations: Bug (informatique), Dièse, Eiffel (langage), Histoire des notations mathématiques, Jean-Raymond Abrial, Jonathan Bowen, Langage de spécification, Liste d'abréviations en informatique, Liste de langages de programmation, Liste de publications importantes en informatique théorique, Méthode B, Méthode formelle (informatique), Méthodes d'analyse et de conception, Programmation lettrée, Programmation par contrat, Sûreté de fonctionnement des logiciels aérospatiaux, Tirant (typographie), XCB, Z.
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!!: Notation Z et Bug (informatique) · Voir plus »
Dièse
alt.
Nouveau!!: Notation Z et Dièse · 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!!: Notation Z et Eiffel (langage) · Voir plus »
Histoire des notations mathématiques
Lhistoire des notations mathématiques décrit les débuts, les progrès et la diffusion culturelle des symboles mathématiques et les conflits entre méthodes de notation qui ont mené à leur généralisation ou leur marginalisation.
Nouveau!!: Notation Z et Histoire des notations mathématiques · Voir plus »
Jean-Raymond Abrial
Jean-Raymond Abrial, né le, est un informaticien français.
Nouveau!!: Notation Z et Jean-Raymond Abrial · Voir plus »
Jonathan Bowen
Jonathan P. Bowen FBCS FRSA (né en 1956) est un informaticien britannique et est professeur du calcul à London South Bank University où il dirige le Centre for Applied Formal Methods de l’Institute for Computing Research.
Nouveau!!: Notation Z et Jonathan Bowen · Voir plus »
Langage de spécification
Un 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.
Nouveau!!: Notation Z et Langage de spécification · Voir plus »
Liste d'abréviations en informatique
Vous trouverez ici, classés par ordre lexicographique, des abréviations, acronymes ou sigles employés dans le domaine de l'informatique.
Nouveau!!: Notation Z et Liste d'abréviations en informatique · Voir plus »
Liste de langages de programmation
Le but de cette liste de langages de programmation est d'inclure tous les langages de programmation existants, qu'ils soient actuellement utilisés ou historiques, par ordre alphabétique.
Nouveau!!: Notation Z et Liste de langages de programmation · Voir plus »
Liste de publications importantes en informatique théorique
Voici une liste de publications importantes en informatique théorique, organisés par domaine.
Nouveau!!: Notation Z et Liste de publications importantes en informatique théorique · Voir plus »
Méthode B
La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel.
Nouveau!!: Notation Z et Méthode B · 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!!: Notation Z et Méthode formelle (informatique) · Voir plus »
Méthodes d'analyse et de conception
En ingénierie, une méthode d'analyse et de conception est un procédé qui a pour objectif de permettre de formaliser les étapes préliminaires du développement d'un système afin de rendre ce développement plus fidèle aux besoins du client.
Nouveau!!: Notation Z et Méthodes d'analyse et de conception · Voir plus »
Programmation lettrée
La programmation lettrée (ou programmation littéraire) est une approche de la programmation préconisée par Donald Knuth qui se veut différente du paradigme de programmation structurée des années 1970.
Nouveau!!: Notation Z et Programmation lettrée · Voir plus »
Programmation par contrat
La programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles.
Nouveau!!: Notation Z et Programmation par contrat · Voir plus »
Sûreté de fonctionnement des logiciels aérospatiaux
La sûreté de fonctionnement des logiciels aérospatiaux correspond à la mesure du risque d'un logiciel ou d'une partie de logiciel, souvent critique, impliqué dans le fonctionnement d'un engin aéronautique ou astronautique.
Nouveau!!: Notation Z et Sûreté de fonctionnement des logiciels aérospatiaux · Voir plus »
Tirant (typographie)
Variantes du tirant. Le tirant est un signe en arc, ressemblant à la brève, utilisé en grec ancien, dans l’écriture du yupik de l’Alaska central, dans différentes notations phonétiques, et en notation Z. Il peut être utilisé comme signe de ponctuation avec chasse ou comme signe diacritique sans chasse, renversé ou non, suscrit ou souscrit, et entre deux ou trois lettres.
Nouveau!!: Notation Z et Tirant (typographie) · Voir plus »
XCB
Xlib/XCB, le '''serveur d'affichage''' et le '''gestionnaire de fenêtre''' XCB (pour X C Binding) est une bibliothèque logicielle en langage C offrant une implémentation du protocole X Window System.
Nouveau!!: Notation Z et XCB · Voir plus »
Z
Z est la et dernière lettre, ainsi que la consonne de l'alphabet latin.
Nouveau!!: Notation Z et Z · Voir plus »
