Using box structures for definition of requirements specifications
by J. E. Odom
Box structures provide a stepwise refinement and verification methodology for information systems analysis and design. They are especially useful for recording and decomposing requirements specifications. The benefits of using the structures center around making the requirements clear to readers, helping to make the requirements complete, and providing an artifact that will enhance the traceability of the requirements. This paper describes the methodology of applying box structures and presents an example of their use in the definition of requirements specifications.