In this work, we present a methodology for an environment for developing a specification in standard unstructured FrameMaker which allows both, structured entry of register specifications and ...