TY JOUR TI ОСНОВЫ ФОРМАЛИЗАЦИИ ПОСТРОЕНИЯ АВТОМАТИЗИРОВАННЫХ ТЕХНОЛОГИЙ УПРАВЛЕНИЯ ЖИЗНЕННЫМ ЦИКЛОМ ОБЪЕКТОВ СТРОИТЕЛЬСТВА KW объект строительства KW объектно-ориентированные автоматизированные технологии KW формализация KW К-процесс KW теория алгорифмов KW формализованная модель KW единое информационное пространство KW среда общих данных KW жизненный цикл JO Строительство и архитектура AU Лосев, Ю.Г. AU Лосев, К.Ю. PY 2022 IS 10 PB ООО "Издательский Центр РИОР"