ГОСТ Р53195.5—2010
[54] РоэдинИ.А. Безопасность производства и труда на химических предприятиях. М.: Колосс. 2006, 254 с.
(Серия: Учебники и учебные пособия для высших учебных заведений)
[55] ISO/IEC 15289:2006 Systems and software engineering — Content of systems and software life cycle process
information products (Documentation)
[56] ISO/IEC 90003:2004Software engineering — Guidelines for the application of ISO 9001:2000 to computer software
[57] Шалыто A. A. SWITCH-технология. Алгоритмизация и программирование задач логического управления.
СПб.: Наука. 1998. 628 с.
[58] Шалыто А. А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.:
Наука. 2002, 784 с.
[59] Красилов А. А. Информатика в семи томах. Т. 6. Методы информатики (Изобретение, проектирование,
разработка и сопровождение). М., 1997, 2003
[60]Сети Петри. Отчет паб. 11 СИАПУ ДВО РАН.
http://www.iacp.dvo.ru/
lab 11/otchet/ot2000/pn3.html (дата обра
щения 06.04.2009)
[62] Простыесети Петри. Отчет лаб. 11 СИАПУДВО РАН. http:/,’
www.iacp.dvo.ru/lab
11/otchet/ot2000/pn3.htmJ#simple
(дата обращения 06.04.2009)
[63] Цветные сети Петри. Отчет лаб. 11СИАПУ ДВО РАН.
http://www.iacp.
dvo.ru/lab 11/otchet/ot2000/pn3.html#cotor
(дата обращения 06.04.2009)
[64]Язык предписаний. Отчет лаб. 11 СИАПУ ДВО РАН.
http://www.iacp
.dvo.ru/lab 11/otchet/ot2000/lnscriptions.html
(дата обращения 06.04.2009)
[65] Голенков Е. А., Соколов А. С. Метод автоматического построения модели параллельной программы в
терминах сетей Петри. Вычислительные методы и программирование. Т. 6. № 2. Изд-во Московского уни
верситета. 2005. с. 77—82
[66]Прозоров А. Лекция 4. Моделирование сущностей
http://rUab.ru/
lections/ Iec04 (дата обращения 07.04.2009)
[67]Константайн Л.. Локвуд Л. Разработка программного обеспечения. СПб.: Питер. 2000, 592 с.
[68]Трахтенгерц Э. АКомпьютерная поддержка принятия решений.М.: Наука, 1998. http://
www.masters.donntu.edu.ua/2004/kita/peftov/
library/lecl.htm (дата обращения 16.07.2009)
[69]Чекинов Г. П„ Чекинов С. Г. Применение технологии многоагентных систем для интеллектуальной поддер
жки принятия решения (ИППР). Сетевой электронный научный журнал «СИСТЕМОТЕХНИКА». 2003, № 1.
http://systech.miem.edu.ru/2003/n1/Chekinov.htm
(дата обращения 07.04.2009)
[70] Йордон Э., Аргила С. Структурные модели в объектно-ориентированном анализе и проектировании. М.:
Лори. 1999. 288 с.
[71]Дубинин В. Н.. Зинкин С. А. Языки логического программирования в проектировании вычислительных сис
тем и сетей: Учеб, пособие. Пенза: Изд-во Пенз. гос. техн. ун-та, 1997, 88 с.
[72]Ларман К. Применение UNL2.0 и шаблонов проектирования. Пер. с англ. А. Ю. Шелесгова. Изд. 3-е.
Издательский дом «Вильямс», 2009, 727 с.
[73] Златин И. Л. Systemview 6.0 (SystemVue). Системное проектирование радиоэлектронных устройств. М.:
Горячая линия-Телеком. 2006. 424 с.
[74] Загидулпин Р. Ш.. Стешенко В. Б.. Карутин С. Н. SystemView. Системотехническое моделирование устройств
обработки сигналов. М.: Горячая линия-Телеком. 2005. 294 с.
[75] Потапов Ю. В. Protel DSP. М.: Горячая линия-Телеком. 2006, 276 с., ил. (Серия «Инструменты разработ
чика»)
[76] Multisim, LabVIEW и Signal Express. Практика автоматизированного проектирования электронных устройств / Р.
Ш. Загидулпин. М.: Горячая линия-Телеком. 2009. 366 с., ил. (Серия «Современная электроника») http://
wvvr.altium.com/products/altium-designer/en/ altium-designer_home.cfm (дата обращения 07.04.2009)
[77]Башлы П. Н. Информационная безопасность: Учеб, пособив. М.: Феникс. 2006. 253 с., ил.
[78]Галле К. Полезные советы по разработке и отладке электронных схем. М.: ДМК Пресс. 2008. 208 с.
[79]Бек К. Экстремальное программирование: разработка через тестирование. СПб.: Питер. 2003. 224 с.
[80]Канер С.. Фолк Д., Енг Кек Нгуен. Тестирование программного обеспечения. М.: ДиаСофт, 2001, 538 с.
[81]Дюваль П.. Гловер Э. Непрерывная интеграция. Улучшение качества программного обеспечения и сниже
ние риска. М.: «Вильямс», 2008. 240 с.
[82] Бейэер Б. Тестирование черного ящика. Технологии функционального тестирования программного обес
печения и систем. СПб.: Питер, 2004, 320 с.
[83]Синицын С. В.. Налютин Н. Ю. Верификация программного обеспечения. М.: Бином. Лаборатория знаний
«Интуит». 2008, 368 с.
[84]Тэллес М„ Хсих Ю. Наука отладки. КУДИЦ— ОБРАЗ. 2003. 560 с.
[85] Терехов С. А. Нейросетевые аппроксимации плотности распределения вероятности в задачах информа
ционного моделирования. Научная сессия МИФИ-2002. IV Всероссийская науч.-техн. конф. «Нейроинфор
матика-2002»: Лекции по нейроинформатике. Ч. 2. М.: МИФИ. 2002. 172 с.
[86]Казиев В. М., Казиев К. В. Информатика: Задачи и тесты. М.: Просвещение. 2007, 191 с.
[87] Казиев В. М. Введение в практическое тестирование: Курс Интернет-университета информационных техно
логий (ИНТУИТ.ру)
http://www
.intuit.ru/department/infDnnaUcs/practest (дата обращения 02.05.2009)
72