Porter & Frye, Minneapolis: Porter & Frye is well known for its wild rice soup SPQR, San Francisco, California: SPQR?

BlueGem and SPQR Capital are outstanding firms and on behalf of the Board, I thank them for their conduct and adherence to the spirit of the process.

aspect Purpose DPML [check] both MDA (Model-Driven Architecture) RSL [check] both MDA, code verification OCSID both SPINE [check] static Code verification SPQR static Code X-ray Object-Calculus both RBML [check] both MDA Slam-SL [check] both Inference in general ODOL (OWL) [check] static Pattern Repository URN both Ease of use PEC [check] static Enforcing compiler LePUS [check] static Pattern Repository TLA dynamic FOL static Prolog static BPSL both Inference in general