Авторизация
 

Базы данных


Основная база библиотеки - результаты поиска

Вид поиска
Основная база библиотеки
База данных нормативных документов
Персоналии ученых-профессоров ТУСУРа
Календарь знаменательных дат
Электронные книги ЛитРес
ЭБС «Лань»
ЭБС «Юрайт»
Область поиска
в найденном
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
Шифр: П004589/2022/13/4
   Журнал
Программная инженерия [Текст] : теоретический и прикладной научно-технический журнал/ Российская Академия Наук (М.), Отделение математических наук, Российская академия наук (М.), Отделение нанотехнологий и информационных технологий, Московский государственный университет (М.), Московский государственный технологический университет (М.), (М.). - М. : Новые технологии, сентябрь 2010 - . - ISSN 2220-3397. - Периодичность неизвестна
2022г. т.13 N 4 . - 4815.12, р.
Содержание:
Шелехов, В. И. Автоматное программирование на базе системы моделирования и верификации Event-B / В. И. Шелехов. - С.155-167
Кл.слова: уточнение, требования, трансформации программ
Годунов, А. Н. Конфигурируемая тестовая система для ОСРВ семейства Багет / А. Н. Годунов, И. И. Хоменков, В. Г. Щепков. - С.168-177
Кл.слова: тестирование, автоматизация программирования, языки программирования
Евгенев, Г. Б. Российская технология индустрии 5.0 Метаонтология / Г. Б. Евгенев. - С.178-186
Кл.слова: производства цифровые, системы интегрированные, системы интеллектуальные
Гайдамака, К. И. Применение методов машинного обучения без учителя для обеспечения непротиворечивости знаний / К. И. Гайдамака, А. Д. Белоногова. - С.187-199
Кл.слова: кластеризация, управление требованиями, инженерия требований
Федотов, И. А. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра / И. А. Федотов, А. С. Хританков, М. Д. Обидаре. - С.200-208
Кл.слова: консенсус, блокчейн, проверка моделей статистическая
Имеются экземпляры в отделах: всего 1 : сбо (1)
Свободны: сбо (1)

Постоянная гиперссылка
2.
519
А 790

    Арайс, Евгений Александрович.
    Автоматизация аналитических вычислений в научных исследованиях [Текст] : научное издание / Е. А. Арайс, Н. Е. Яковлев ; Академия наук СССР (Новосибирск), Сибирское отделение, Институт оптики атмосферы. - Новосибирск : Наука, 1985. - 223 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка
3.
681.3
А 471

    Алексеев, Виталий Николаевич.
    Программирование типовых вычислительных процессов на ЭВМ "Наири-3-2" [Текст] : учебное пособие / В. Н. Алексеев, В. Г. Давыдов, В. Е. Куприянов ; Министерство высшего и среднего специального образования РСФСР, Ленинградский политехнический институт им. М. И. Калинина. - Л. : [б. и.], 1981. - 84 с. - Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (5 экз.)
Свободны: аунл (5)
Постоянная гиперссылка
4.
681.3
З-497

    Зелковиц, Марвин В..
    Принципы разработки программного обеспечения : Пер. с англ. / Марвин В. Зелковиц, Алан С. Шоу, Джон Д. Гэннон; Пер. С. Д. Пашкеев. - М. : Мир, 1982. - 368 с. : ил. - Библиогр.: с. 359-362. -Предм. указ.: с. 363-366. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: аунл (5 экз.), счз1
Свободны: аунл (4)
Постоянная гиперссылка
 
Стандартный
Расширенный
Профи
По словарю
Статистика
за 01.07.2024
Число запросов 143031
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)