DocumentCode
2408356
Title
Requirement capturing and 3CR approach
Author
Baranov, Sergey ; Kotlyarov, Vsevolod ; Kapitonova, Julia ; Letichevsky, Alexander ; Volkov, Vladislav
Author_Institution
GSG-Russia, Motorola, Kiev, Ukraine
fYear
2002
fDate
2002
Firstpage
279
Lastpage
283
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International
ISSN
0730-3157
Print_ISBN
0-7695-1727-7
Type
conf
DOI
10.1109/CMPSAC.2002.1044564
Filename
1044564
Link To Document