Automation  of formalization of requirement to program projects

Conference "Technologies Microsoft in the theory and programming practice"
Authors:
Kotlyarov Vsevolod P. Petrov Aleksey V.
Abstract:

The article describes problems of requirement formalization. Automation requirement formalization methodology is proposed.