Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01918343n
Noun Concept
Categories: Formal methods, Formal specification languages, Formal specification
EN
formal specification  program specification  software specification  specification
EN
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. Wikipedia
Definitions
Relations
Sources
EN
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. Wikipedia
Describes what a system should do, not how it should do it Wikipedia Disambiguation
Describing computer software by mathematical means Wikipedia Disambiguation
IS A
definition
Wikipedia
EN
formal specification
Wikidata
EN
formal specification
Wikipedia Redirections
EN
Formal Specification, program specification, software specification, specification (computing)

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