c/Formal specification languages

Information
lexicalization	eng: Formal specification languages
subclass of	(noun) a systematic means of communicating by the use of sounds or conventional symbols; "he taught foreign languages"; "the language introduced is standard throughout the text"; "the speed with which a program can be executed depends on the language in which it is written" language, linguistic communication
has instance	e/Abstract Machine Notation
has instance	e/Action semantics
has instance	e/Algebraic semantics
has instance	e/Assertion definition language
has instance	e/Axiomatic semantics
has instance	e/Behavior of Coupled DEVS
has instance	e/Behavior of DEVS
has instance	e/Common Algebraic Specification Language
has instance	e/DEVS
has instance	e/Duration calculus
has instance	e/Event segment
has instance	e/Java Modeling Language
has instance	e/Larch family
has instance	e/Meta-IV (specification language)
has instance	e/OBJ
has instance	e/OBJ3
has instance	e/Refinement calculus
has instance	e/Rosetta-lang
has instance	e/Timed event system
has instance	e/Universal Systems Language
has instance	e/Wright (ADL)

Meaning
Russian
lexicalization	rus: Языки формальных спецификаций