Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

specification language · Vinony

EntityQ1209840· pop 14· linked from 84 articles

specification language

Sign in to save

formal language used in computer science

Connections

specification and description language

computer science

International Standard Book Number

programming language

mathematical proof

digital object identifier

markup language

Unified Modeling Language

formal language

computer language

systems analysis

requirements analysis

Categories

Computer languages Formal specification Scientific modelling Specification languages

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

formal specification

Entitydist 0.20

programming style

Entitydist 0.43

object-based language

Entitydist 0.45

Entitydist 0.48

axiomatic semantics

Entitydist 0.48

Entitydist 0.51

markup language

Entitydist 0.51

structured document

Entitydist 0.53

Entitydist 0.54

attribute-oriented programming

Entitydist 0.54

software documentation

Entitydist 0.56

Wireless Markup Language

Entitydist 0.56

What links here84 pages

John C. Reynolds

program analysis

formal specification

markup language

static program analysis

programming language

Language Of Temporal Ordering Specification

programming language specification

template processor

domain-specific language

abstract data type

computer language

hardware description language

Program slicing

4th-generation programming language

architecture description language

style sheet language