%0 Journal Article %T ОСНОВЫ ФОРМАЛИЗАЦИИ ПОСТРОЕНИЯ АВТОМАТИЗИРОВАННЫХ ТЕХНОЛОГИЙ УПРАВЛЕНИЯ ЖИЗНЕННЫМ ЦИКЛОМ ОБЪЕКТОВ СТРОИТЕЛЬСТВА %A Лосев, Ю.Г. %A Лосев, К.Ю. %K объект строительства, объектно-ориентированные автоматизированные технологии, формализация, К-процесс, теория алгорифмов, формализованная модель, единое информационное пространство, среда общих данных, жизненный цикл %J Строительство и архитектура %D 2022 %N 10 %P 4 %I ООО "Издательский Центр РИОР"