Table des matières
7 relations: Danemark, Développement de logiciel, Genève, Méthode formelle (informatique), Organisation européenne pour la recherche nucléaire, Sigle, Université d'Aarhus.
- Méthode formelle
Danemark
Le Danemark, en forme longue le royaume de Danemark ou le royaume du Danemark (en Danmark et Kongeriget Danmark), est un pays d’Europe du Nord et de Scandinavie.
Voir Vienna Development Method et Danemark
Développement de logiciel
Le développement de logiciel consiste à étudier, concevoir, construire, transformer, mettre au point, maintenir et améliorer des logiciels.
Voir Vienna Development Method et Développement de logiciel
Genève
Genève est une ville suisse située à l'extrémité sud-ouest du Léman.
Voir Vienna Development Method et Genève
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.
Voir Vienna Development Method et Méthode formelle (informatique)
Organisation européenne pour la recherche nucléaire
L’Organisation européenne pour la recherche nucléaire, aussi appelée laboratoire européen pour la physique des particules et couramment désignée sous l'acronyme CERNLe Lexique des règles typographiques en usage à l'Imprimerie nationale, 2002, 134 recommande d'écrire le sigle CERN en majuscules.
Voir Vienna Development Method et Organisation européenne pour la recherche nucléaire
Sigle
Un sigle est un ensemble de lettres initiales majuscules qui, épelé ou prononcé de manière syllabique, forme un mot servant d'abréviation.
Voir Vienna Development Method et Sigle
Université d'Aarhus
L'université d'Aarhus (Aarhus Universitet en danois) est une université danoise.
Voir Vienna Development Method et Université d'Aarhus
Voir aussi
Méthode formelle
- Analyse temporelle statique
- Bisimulation
- CompCert
- Démonstration automatique de théorèmes
- E-LOTOS
- Fonction 91 de McCarthy
- Invariant de boucle
- Lambda-calcul
- Language Of Temporal Ordering Specification
- Lustre (langage)
- Méthode B
- Méthode formelle (informatique)
- Machine à états abstraits
- Machine de Turing
- Précondition
- Preuve assistée par ordinateur
- Principe de substitution de Liskov
- Problème SAT
- Sémantique algébrique (informatique)
- Sémantique des langages de programmation
- Sûreté de fonctionnement
- Satisfiability modulo theories
- Système asynchrone
- Système critique
- TLA+
- Théorie des ensembles
- Théorie des types homotopiques
- Vérification formelle
- Vienna Development Method
Également connu sous le nom de VDM (informatique).