Automation of formalization of requirement to program projects

Conference «Technologies Microsoft in the theory and programming practice»
Authors:
Kotlyarov V,P. Petrov A.V.
Abstract:

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