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 under piloting.
Citation:
Sergey Baranov, Vsevolod Kotlyarov, Julia Kapitonova, Alexander Letichevsky, Vladislav Volkov, "Requirement Capturing and 3CR Approach," compsac, pp.279, 26th Annual International Computer Software and Applications Conference, 2002