Requirement capturing and 3CR approach
S. Baranov, V. P. Kotlyarov, J. V. Kapitonova, Alexander A. Letichevsky, V. A. Volkov · 2003
An approach to requirement capturing based on formal methods is described with preliminary results of its application to particular industrial projects. The respective software ADE tool has been developed and is being piloted.