No results for "Category:Formal specification languages" (auto) in titles.

Suggestions for article titles:

1. Specification language: 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 ... (Formal language used in computer science) [100%] 2023-11-02 [Specification languages] [Computer languages]...
2. Specification language: 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 ... (Formal language used in computer science) [100%] 2023-12-17 [Specification languages] [Computer languages]...
3. Specification (technical standard): A specification often refers to a set of documented requirements to be satisfied by a material, design, product, or service. A specification is often a type of technical standard. (Technical standard) [89%] 2023-12-19 [Product development] [Construction documents]...
4. Specification: Specification, any detailed statement, especially one on which an estimate or plan is based, as the specification of a builder or architect (see Building). In patent law a specification is a description of an invention. An application for a patent ... [89%] 2022-09-02
5. Common Language Specification: The Common Language Specification (CLS) is a part of the standardized specification of the .NET Framework originally defined by Microsoft, and later standardized by the European Computer Manufacturers Association (ECMA). A key feature of .NET Framework is that applications written ... [81%] 2023-12-29
6. Common Language Specification: The Common Language Specification (CLS) is a part of the standardized specification of the .NET Framework originally defined by Microsoft, and later standardized by the European Computer Manufacturers Association (ECMA). A key feature of .NET Framework is that applications written ... [81%] 2024-01-26
7. Process Specification Language: The Process Specification Language (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides a formal description of the components and their relationships that make up a process. (Set of logic terms used to describe processes) [81%] 2024-01-26 [Ontology (information science)] [ISO 18629]...
8. Language-independent specification: A language-independent specification (LIS) is a programming language specification providing a common interface usable for defining semantics applicable toward arbitrary language bindings. LIS's are language-agnostic; they mitigate the risk that a certain language binding might reduce compatibility ... (Computer programming standard meant to be interoperable across programming languages) [81%] 2024-01-26 [Technical communication]
9. Process Specification Language: The Process Specification Language (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides a formal description of the components and their relationships that make up a process. (Set of logic terms used to describe processes) [81%] 2023-12-29 [Ontology (information science)] [ISO 18629]...
10. Language-independent specification: A language-independent specification (LIS) is a programming language specification providing a common interface usable for defining semantics applicable toward arbitrary language bindings. LIS's are language-agnostic; they mitigate the risk that a certain language binding might reduce compatibility ... (Computer programming standard meant to be interoperable across programming languages) [81%] 2023-12-31 [Technical communication]
11. IDL specification language: IDL (Interface Description Language) is a software interface description language (also referred to as Interface Descriptor Language) created by William Wulf and John Nestor of Carnegie Mellon University and David Lamb of Queen's University, Canada. Like other interface description ... [81%] 2023-12-21 [Specification languages]
12. 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. Specifications are typically detailed and formal ... (Documentation defining a programming language) [81%] 2023-11-12 [Programming language topics]
13. Swedification: Swedification refers to the spread and/or imposition of the Swedish language, people and culture or policies which introduced these changes. In the context of Swedish expansion within Scandinavia, Swedification can refer to both the integration of Scania, Jemtland and ... (Spread of Swedish influence) [75%] 2023-12-28 [Swedish nationalism] [Cultural assimilation]...
14. Hierarchical Music Specification Language: The Hierarchical Music Specification Language (HMSL) is a music programming language written in the 1980s by Larry Polansky, Phil Burk, and David Rosenboom at Mills College. Written on top of Forth, it allowed for the creation of real-time interactive ... (Music programming language) [70%] 2024-01-26 [Audio programming languages]
15. Routing Policy Specification Language: Developed by the Internet Engineering Task Force, the Routing Policy Specification Language (RPSL) is a means of describing abstract routing policy among autonomous systems (AS), the basic building block of global Internet routing. It allows both the definition of policies ... [70%] 2024-01-26
16. Distributed Application Specification Language: The DASL Programming Language (Distributed Application Specification Language) is a high-level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the Ace Project. The goals of the project were to enable ... [70%] 2023-12-30 [Declarative programming languages] [Procedural programming languages]...
17. Routing Policy Specification Language: The Routing Policy Specification Language (RPSL) is a language commonly used by Internet Service Providers to describe their routing policies. The routing policies are stored at various whois databases including RIPE, RADB and APNIC. [70%] 2023-10-12 [Internet architecture] [Routing]...
18. Hierarchical Music Specification Language: The Hierarchical Music Specification Language (HMSL) is a music programming language written in the 1980s by Larry Polansky, Phil Burk, and David Rosenboom at Mills College. Written on top of Forth, it allowed for the creation of real-time interactive ... (Music programming language) [70%] 2024-01-01 [Audio programming languages]
19. Universal Test Specification Language: Universal Test Specification Language (UTSL) is a programming language used to describe ASIC tests in a format that leads to an automated translation of the test specification into an executable test code. UTSL is platform independent and provided a code ... (Engineering) [70%] 2023-11-23 [Integrated circuits] [Programming languages]...
20. Clock Constraints Specification Language: The Clock Constraint Specification Language or CCSL, is a software language for modeling relations among so-called clocks. It is part of the time model defined in the UML Profile for MARTE. [70%] 2023-12-30 [Time] [Unified Modeling Language]...