Title :
Requirement capturing and 3CR approach
Author :
Baranov, Sergey ; Kotlyarov, Vsevolod ; Kapitonova, Julia ; Letichevsky, Alexander ; Volkov, Vladislav
Author_Institution :
GSG-Russia, Motorola, Kiev, Ukraine
Abstract :
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.
Keywords :
formal specification; software tools; 3CR Approach; ADE software tool; formal methods; requirement capture; Application software; Automatic testing; Automation; Hardware; Inspection; Programming; Protocols; Safety; Software quality; Software testing;
Conference_Titel :
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
Print_ISBN :
0-7695-1727-7
DOI :
10.1109/CMPSAC.2002.1044564
