Development of a system or part of a system where the transformation from one representation to another is mathematically proven, or demonstrated to be consistent by an argument of equivalent value.