he is a cousin of neurosurgeon joseph ransohoff the principle is to develop a formal specification and refine the specification to code lava flow is considered an anti pattern a commonly encountered phenomenon leading to poor design