Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00612059n
Noun Concept
Categories: Scientific modeling, Specification languages, All articles needing additional references, Computer languages, Formal specification
EN
specification language  formal specification language  Implementation language  Implementation languages
EN
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system. Wikipedia
Definitions
Relations
Sources
EN
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system. Wikipedia
Formal language used in computer science Wikidata
IS A
computer language
HAS KIND
interface description language
model transformation language
Alloy
Common Algebraic Specification Language
Specification and Description Language
+1 relations
HAS INSTANCE
MML
Alloy
Rosetta-lang
UsiXML
ANSI/ISO C Specification Language
+10 relations
Wikipedia
EN
specification language
Wikidata
EN
specification language
Wikipedia Redirections
EN
formal specification language, Implementation language, Implementation languages

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License