Category: Disambiguation In game theory and economic modelling, a solution concept is a process via which equilibria of a game are identified. ... In formal methods, program refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program. ... A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. ... Source code (commonly just source or code) is any series of statements written in some human-readable computer programming language. ... In mathematics, a cover of a set X is a collection of sets C whose union is X. In symbols, if C = {Uα : α ∈ A} is an indexed family of subsets U, of X, then C is a cover if More generally, if Y is a subset of X, and C... In mathematics, a cover of a set X is a collection of subsets C of X whose union is X. In symbols, if C = {Uα : α ∈ A} is an indexed family of subsets of X, then C is a cover if More generally, if Y is a subset... The word selectivity has more meanings: Selectivity, the ability to notice/distinguish small differences. ... Image File history File links Disambig_gray. ...