Integreringen av de två systemen innebär i första hand definitioner , beräkningar och prover av Giventsystemets olika byggdelar .