Requirement Capturing and 3CR Approach

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Sergey Baranov Articles by Vsevolod Kotlyarov Articles by Julia Kapitonova Articles by Alexander Letichevsky Articles by Vladislav Volkov

26th Annual International Computer Software and Applications Conference

Oxford, England

August 26-August 29

ISBN: 0-7695-1727-7

	ASCII Text	x
	Sergey Baranov, Vsevolod Kotlyarov, Julia Kapitonova, Alexander Letichevsky, Vladislav Volkov, "Requirement Capturing and 3CR Approach," Computer Software and Applications Conference, Annual International, pp. 279, 26th Annual International Computer Software and Applications Conference, 2002.

	BibTex	x
	@article{ 10.1109/CMPSAC.2002.1044564, author = {Sergey Baranov and Vsevolod Kotlyarov and Julia Kapitonova and Alexander Letichevsky and Vladislav Volkov}, title = {Requirement Capturing and 3CR Approach}, journal ={Computer Software and Applications Conference, Annual International}, volume = {0}, year = {2002}, issn = {0730-3157}, pages = {279}, doi = {http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044564}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Software and Applications Conference, Annual International TI - Requirement Capturing and 3CR Approach SN - 0730-3157 SP EP A1 - Sergey Baranov, A1 - Vsevolod Kotlyarov, A1 - Julia Kapitonova, A1 - Alexander Letichevsky, A1 - Vladislav Volkov, PY - 2002 KW - null VL - 0 JA - Computer Software and Applications Conference, Annual International ER -

Sergey Baranov, Motorola, GSG-Russia

Vsevolod Kotlyarov, Motorola, GSG-Russia

Julia Kapitonova, ISS¹, Ukraine

Alexander Letichevsky, ISS¹, Ukraine

Vladislav Volkov, ISS¹, Ukraine

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1044564

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.