langage de spécification
Sign in to savetype de langage informatique
In the Vinony graph
Vinony's link graph records 84 inbound references to langage de spécification, and connects out to specification and description language, computer science and algebra.
It sits within the topics Computer languages, Formal specification and Scientific modelling.
Vinony links it to 14 Wikipedia language editions.
Wikidata facts
- Subclass of
- computer language
- Has use
- specification
Show 1 more fact
- topic's main category
- Category:Specification languages
Sources (2)
via Wikidata · CC0
Article · Français
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.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
specification and description language
Entity
computer science
Entity
algebra
Entity
International Standard Book Number
Entity
programming language
Entity
function
Entity
set
Entity
axiom
Entity
mathematical proof
Entity
digital object identifier
Entity
markup language
Entity
Unified Modeling Language
Entity
formal language
Entity
pseudocode
Entity
computer language
Entity
model theory
Entity
formal system
Entity
systems analysis
Entity
query language
Entity
requirements analysis
Entity