Сводный каталог книг

[Текст] : сборник научных трудов / Рос. акад. наук. Сиб. отд-ние. Ин-т математики им. С.Л. Соболева ; [Редкол.: Загоруйко Н.Г. (гл. ред.) и др.]. - Новосибирск : Институт математики им. С.Л. Соболева, 1995. - 220 с. : ил. - (Вычислительные системы, ISSN 0568-661X ; вып.152). - Библиогр. в конце ст. - 14.58 р.
Аннотация: Сборник посвящен логическим методам синтеза и спецификации программ. Содержит информацию о разработке концепции семантического программирования. Большое внимание уделено проблеме спецификации программных систем и комплексов на языке, близком к естественному языку, базирующемуся на объектно-ориентированном его фрагменте. Описывается задача тестирования систем аксиом при наличии шумов. Изучается проблема моделирования в химических процессах машины Тьюринга и построения на этой базе вычислительных автоматов. Освещено изучение немотонных логик и решение задачи их расширения. Знакомит с моделированием работы сетей и баз данных в них на основе конкретной реализации. Сборник рассчитан на специалистов по прикладной логике, теории алгоритмов, формализации естественного языка и созданию сетей и баз данных.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-СИФ (1)
Свободны: ИВМ-СИФ (1)

[Текст] : [учебное пособие по направлению 230100 "Информатика и вычислительная техника", специальности 230105 "Программное обеспечение вычислительной техники и автоматизации систем"] / Л.Г. Гагарина, Е.В. Кокорева, Б.Д. Виснадул ; под ред. Л. Г. Гагариной. - Москва : Форум : ИНФРА-М, 2013. - 399 с. : ил. - (Высшее образование). - Библиогр.: с. 388-391. - ISBN 978-5-8199-0342-1 (Форум). - ISBN 978-5-16-003193-4 (ИНФРА-М). - ISBN 978-5-8199-03 42-1 : 642.00 р., 642.00 р.

ГРНТИ	50.41
УДК	004.42(075.8)^V3	004.4(075.8)

ББК З973.2-018я73 + З 973.2-018.12я73

Аннотация: Рассматриваются основные понятия и определения, классификация программного обеспечения, этапы создания программного продукта в рамках жизненного цикла, освещается современное состояние технологий разработки программных продуктов. Изложены существующие подходы к оценке качества процессов создания программного обеспечения, произведен анализ требований и определение спецификаций программного обеспечения. Большое внимание уделено вопросам проектирования ПО, его надежности, коллективной разработки с помощью современных систем контроля версий. Теоретический материал сопровождается практикумом в виде лабораторных работ по изложенной тематике. Предназначено для студентов и преподавателей высших учебных заведений технического профиля, а также для специалистов любой предметной области, проявивших интерес к современному состоянию методов и средств программирования.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кокорева, Елена Викторовна; Виснадул, Белла Дмитриевна; Гагарина, Лариса Геннадьевна \ред.\
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)