The first version of the Alloy language appeared in 1997. It was a rather limited object modeling language. Succeeding iterations of the language added quantifiers, higher arity relations, polymorphism, subtyping, and signatures.
US Patent Issued to NCR on Nov. 5 for "System and Method for Interpreting a Specification Language File to Implement a Business System" (South Carolina Inventor)
Nov 05, 2013; ALEXANDRIA, Va., Nov. 5 -- United States Patent no. 8,578,350, issued on Nov. 5, was assigned to NCR Corp. (Duluth, GaSystem and...