• Ontology for a product: "a description at the level of what the product does that is higher level than the code (therefore not a duplication) and that is formal enough (aka well-typed) to unambiguously detect drift" … "Another approach is to model the organization that produces the product the same way we establish culture and process in organizations that produce products" source⌝#