💡 Words with a Similar Meaning to "Specification language"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| programming language specification | In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. |
| system programming language | A system programming language is a programming language used for system programming; such languages are designed for writing system software, which usually requires different development approaches when compared with application software. |
| formal specification | In computer science, formal specifications are mathematically based techniques whose purpose is to help with the implementation of systems and software. |
| compiler-compiler | In computer science, a compiler-compiler or compiler generator is a programming tool that creates a parser, interpreter, or compiler from some form of formal description of a programming language and machine. |
| programming language theory | a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. |
| formal methods | In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. |
| structured analysis | In software engineering, structured analysis and structured design are methods for analyzing business requirements and developing specifications for converting practices into computer programs, hardware configurations, and related manual procedures. |
| functional requirementnoun | (computing) Any of the functions of a software system, described formally. |
| metasyntaxnoun | The syntax of a metalanguage. |
| type systemnoun | (computing) A way programming language classifies values and expressions into types, how it can manipulate those types and how they interact. |
| language-independent specification | A language-independent specification is a programming language specification providing a common interface usable for defining semantics applicable toward arbitrary language bindings. |
| hardware description languagenoun | (electronics) Any language from a class of computer, modeling, or specification languages for formal description and design of analogue or digital logic electronic circuits. |
| action language | In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. |
| software design | the process of conceptualizing how a software system will work before it is implemented or modified. |
| functional specification | A functional specification (also, functional spec, specs, functional specifications document, functional requirements specification) in systems engineering and software development is a document that specifies the functions that a system or component must perform (often part of a requirements specification).ISO/IEC/IEEE 24765:2010 Systems and software engineering — Vocabulary |
| syntaxnoun | A set of rules that govern how words are combined to form phrases and sentences. |
| software architecture description | the set of practices for expressing, communicating and analysing software architectures (also called architectural rendering), and the result of applying such practices through a work product expressing a software architecture. |
| program synthesis | In computer science, program synthesis is the task to construct a program that provably satisfies a given high-level formal specification. |
| history of compiler construction | In computing, a compiler is a computer program that transforms source code written in a programming language or computer language (the source language), into another computer language (the target language, often having a binary form known as object code or machine code). |
| ipo model | The input–process–output model, or input-process-output pattern, is a widely used approach in systems analysis and software engineering for describing the structure of an information processing program or other process. |
Translate “Specification language” into Another Language
Pick a language — the word will be pre-filled in the translator.