TY JOUR TI OVERVIEW OF WAYS TO FORMALIZE REQUIREMENTS FOR VARIOUS OBJECTS AND SYSTEMS IN TERMS OF PROBLEM SOLVING RANKING KW information systems KW requirements KW formalization KW record form KW mathematical apparatus KW information security JO Scientific and analytical journal «Vestnik Saint-Petersburg university of State fire service of EMERCOM of Russia» AU Buinevich, M.V. AU Yaroshenko, A.Y. PY 2023 IS 2023 PB Saint-Petersburg University of State Fire Service of Emercom of Russia