Noem 6 formalisatietechnieken