Money creationMoney creation, or money issuance, is the process by which the money supply of a country, or of an economic or monetary region, is increased. In most modern economies, money creation is controlled by the central banks. Money issued by central banks is termed base money. Central banks can increase the quantity of base money directly, by engaging in open market operations. However, the majority of the money supply is created by the commercial banking system in the form of bank deposits.
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
Quantitative easingQuantitative easing (QE) is a monetary policy action where a central bank purchases predetermined amounts of government bonds or other financial assets in order to stimulate economic activity. Quantitative easing is a novel form of monetary policy that came into wide application after the financial crisis of 20072008. It is used to mitigate an economic recession when inflation is very low or negative, making standard monetary policy ineffective.
Software designSoftware design is the process by which an agent creates a specification of a software artifact intended to accomplish goals, using a set of primitive components and subject to constraints. The term is sometimes used broadly to refer to "all the activity involved in conceptualizing, framing, implementing, commissioning, and ultimately modifying" the software, or more specifically "the activity following requirements specification and before programming, as ... [in] a stylized software engineering process.
