%0 Journal Article %T FORMALIZATION FOUNDATIONS TO COMPUTER AUTOMATED LIFE CYCLE MANAGEMENT TECHNOLOGIES OF CONSTRUCTION FACILITIES %A Losev, Y.G. %A Losev, K.Y. %K construction facilities, object-oriented automated technologies, formalization, K-process, theory of algorithms, formalized model, common data environment, life cycle %J Construction and Architecture %D 2022 %N 10 %P 4 %I Publishing Center RIOR