Refinement calculus, a way of refining models of programs into efficient programs
Other formal systems
Formal ethics – formal logical system for describing and evaluating the "form" as opposed to the "content" of ethical principlesPages displaying wikidata descriptions as a fallback
Music is a formal system too. Please have editors illuminate on this.
See also
Formal system – Mathematical model for deduction or proof systems