"Refers to the process of creating data models in software engineering by applying formal techniques such as probability theory and statistics." (www.getty.edu)