Abstract

The dichotomy resulting from tangled and untangled representations may prove beneficial with respect to the manipulation and analysis of system requirements. This paper describes an invertible approach to weaving requirements documents that is based on beta-conversion as defined in the lambda-calculus.