Планирование системотехнических параметров при эксплуатации программно-технических комплексов коллективной обработки информации
Диссертация
Апробация работы и публикации. Разработанные методы и технологии использованы при эксплуатации Типового программного комплекса учетно-операционной системы в КЦОИ Главного управления Банка России по Санкт-Петербургу, о чем свидетельствуют акты внедрения, включенные в состав работы. Автор в течение шести лет руководил работами по разработке, сопровождению и эксплуатации ПТК КЦОИ в качестве главного… Читать ещё >
Список литературы
- Андон Ф.И., Коваль Г. И., Коротун Т. М., Суслов В. Ю. «Основы инженерии качества программных систем». К.: Академпериодика, 2002 г.
- Ахо А. Ульман Д. «Теория синтаксического анализа, перевода и компиляции». М.: Мир, 1978 г.
- Баронов В.В., Калянов Г. Н., Попов Ю. И. и др. «Автоматизация управления предприятием». М.: Инфра-М, 2000 г.
- Баронов В.В., Калянов Т. Н., Попов Ю. И., Титовский И. Н. «Информационные технологии и управление предприятием». М.: ДМК Пресс, 2004 г.
- Безкоровайный М.М., Костогрызов А. И., Львов В. М. «Инструментально-моделирующий комплекс для оценки качества функционирования информационных систем „КОК“». М.: СИНТЕГ, 2000 г.
- Боггс, Боггс «UML и Rational Rose». Издательство: Вильяме, 2001. 582 с.
- Боев В.Д. «Моделирование систем. Инструментальные средства GPSS World». СПБ: БХВ-Петербург, 2005 г. — 368 с.
- Боэм Б.У. «Инженерное проектирование программного обеспечения»: Пер. с англ. /Под ред. А. А. Красилова. М.: Радио и связь, 1985 г.
- Бурков В.Н., Грацианский Е. В., Дзюбко С. И., Щепкин А. В. «Модели и механизмы управления безопасностью». М.: СИНТЕГ, 2001 г.
- Бусленко Н. П. «Моделирование сложных систем». М, 1961 г.
- Буч Гради. «Объектно-ориентированный анализ и проектирование с примерами приложений на С++». Издательство: Бином, 2001 г. 560 с.
- Буч Грейди, Рамбо Джеймс, Джекобсон Айвар «UML. Руководство пользователя». Издательство: ДМК, 2001 г. 432 с.
- Буч Грейди, Рамбо Джеймс, Джекобсон Айвар «UML. Специальный справочник». Издательство: Питер, 2002 г. 656 с.
- Вендров A.M. «Проектирование программного обеспечения экономических информационных систем». Учебник. М.: Финансы и статистика, 2002 г.
- Гаганов П.Г., Зубковский А. Н. и др. «Применение имитационного моделирования для динамической отладки и испытаний комплексов программ управления». Киев: Управляющие системы и машины. № 3. 1984 г.
- Гамма, Хелм, Джонсон, Влиссидес «Приемы объектно-ориентированного проектирования. Паттерны проектирования». Издательство: Питер, 2001 г. -368 с.
- Гейн К., Сарсон Т. «Системный структурный анализ: средства и методы». -М.: Эйтекс, 1992 г.
- Герасименко В.А. «Защита информации в автоматизированных системах обработки данных». Книга 1 и 2. М.: Энергоатомиздат, 1994 г.
- Гласс Р., Нуазо Р. «Сопровождение программного обеспечения»: Пер. с англ. /Подред. Ю. А. Чернышева. М.: Мир, 1983 г.
- Глудкин О.П. и др. «Всеобщее управление качеством»: Учебник для вузов. -М.: Радио и связь, 1999 г.
- Деминг У.Э. " Новая Экономика" М.: ЭКСМО, 2006,208 с.
- Зиглер К. «Методы проектирования программных систем». Пер. с англ. / Под ред. Я. А. Хетагурова. М.: Мир, 1985 г.
- Калянов Г. Н. «CASE: структурный системный анализ (автоматизация и применение)». М.: ЛОРИ, 1996 г.
- Калянов Г. Н. «Консалтинг при автоматизации предприятий (подходы, методы, средства)». М.: СИНТЕГ, 1997 г.
- Калянов Г. Н. «Теория и практика реорганизации бизнес-процессов». -М.: СИНТЕГ, 2000 г.
- Калянов Г. Н. «CASE-технология: консалтинг в автоматизации бизнес-процессов». М.: Горячая линия — Телеком, 2002 г.
- Калянов Г. Н. «Консалтинг: от бизнес-стратегии к корпоративной информационно-управляющей системе». М.: Горячая линия — Телеком, 2004 г.
- Кватрани Терри «Визуальное моделирование с помощью Rational Rose 2002 и UML». Издательство: Вильяме, 2003 г. 192 с.
- Кельтон В., Jloy А. «Имитационное моделирование. Классика CS», 3-е изд. -СПБ: Питер- Киев: Издательская группа BHV, 2004 г. 847 е.: ил.
- Кейер П.А., Будзко В. И., Козлов А. Н. Оптимизация построения и функционирования средств обеспечения катастрофоустойчивости. // Наукоемкие технологии № 2, 2006, т.7 («Системы высокой доступности»), издательство «Радиотехника», стр. 30−45.
- Коналлен «Разработка Web-приложений с использованием UML». Издательство: Вильяме, 2001 г. 288 с.
- Костогрызов А.П., Липаев В. В. «Сертификация качества функционирования автоматизированных информационных систем». М.: Вооружение. Политика. Конверсия, 1996 г.
- Крачтен «Введение в Rational Unified Process». Издательство: Вильяме, 2002 г. 240 с.
- Круглов М.Г., Шишков Г. М. «Управление качеством TQM». М: МГТУ СТАНКИН, 1999 г.
- Ларман Крэг «Применение UML и шаблонов проектирования». Издательство: Вильяме, (2-е издание), 2002 г. 624 с.
- Леман М.М. Программы, жизненные циклы и законы эволюции программного обеспечения //ТИИЭР. Техника программного обеспечения: Пер. с англ. М.: Мир. 1980 г.
- Леффингуэлл, Уидриг Принципы работы с требованиями к программному обеспечению. Унифицированный подход. Издательство: Вильяме, 2002 г. -448 с.
- Липаев В.В., Серебровский Л. А., Гаганов П. Г., Штрик А. А. и др. Технология проектирования комплексов программ АСУ. М.: Радио и связь, 1983 г.
- Липаев В.В., Потапов А. И. Оценка затрат на разработку программных средств. М.: Финансы и статистика, 1988 г.
- Липаев В.В., Позин Б. А., Штрик А. А. Технология сборочного программирования, М., Радио и связь, 1992. — 272 с.
- Липаев В.В. Документирование и управление конфигурацией программных средств. Методы и стандарты. М.: СИНТЕГ, 1998 г.
- Липаев В.В. Надежность программных средств. М.: СИНТЕГ, 1998 г.
- Липаев В.В. Обеспечение качества программных средств. М.: СИНТЕГ, 2001 г.
- Липаев В.В. Выбор и оценивание характеристик качества программных средств. М.: СИНТЕГ, 2001 г.
- Липаев ВВ. Системное проектирование сложных программных средств для информационных систем. Изд. второе переработанное и дополненное. М.: СИНТЕГ, 2002 г.
- Лонгботтом Р. Надежность вычислительных систем: Пер. с англ. /Под ред. П. П. Пархоменко. М.: Энергоатомиздат, 1985 г.
- Маклаков С.В. «BPwin, Erwin. CASE-средства разработки информационных систем». М.: ДИАЛОГ-МИФИ, 1999 г.
- Малиновский Б.Н. История вычислительной техники в лицах. Киев: КИТ, 1995 г.
- Мюллер Базы данных и UML. Проектирование. Издательство: Лори, 2002 г. -432 с.
- Нейлор Т. Машинные имитационные эксперименты с моделями экономических систем. М: МИР, — 500 с.
- Общесистемное проектирование АСУ реального времени/С.В. Володин, А. Н. Макаров, Ю. Д. Умрихин, В. А. Фараджев. Под ред. В.А. Шабалина-М., Радио и связь, 1984.-232 с.
- ПРОМЕТЕЙ-технология промышленная технология и комплекс средств автоматизированной разработки и сопровождения программных средств/Липаев В.В., Меликян К. А., Позин Б. А., Серебровский Л. А., Штрик А.А.//Ереван-1987−38 с.
- Попов Э.В., Экспертные системы. -М., Наука, 1983 г.
- Розенберг, Скотт Применение объектного моделирования с использованием UML и анализ прецедентов. Издательство: ДМК, 2002 г. -160 с.
- Ройс Управление проектами по созданию программного обеспечения. Издательство: Лори, 2002 г. 424 с.
- Рыжиков Ю.И. Имитационное моделирование: Теория и технологии.- СПБ: Альтекс-А, 2004 г. 380 с.
- Смирнова Г. Н., Сорокин А. А., Тельнов Ю. Ф. Проектирование экономических информационных систем М.:Финансы и статистика, 2001 г.
- Советов Б. Я., Яковлев С. А. Моделирование систем (учебник). М.: Высшая школа- (3-е изд.), 2001 г. — 343 с.
- Тельнов Ю.Ф. Интеллектуальные информационные системы в экономике. Учебное пособие. М.: СИНТЕГ, 1999 г.
- Томашевский В.Н., Жданова Е. Г. Имитационное моделирование в среде GPSS. М.: Бестселлер, 2003 г. — 416с.
- Трубачев А.П., Долинин М. Ю., Кобзарь М. Т. и др. Оценка безопасности информационных технологий. Общие критерии. Под ред. В. А. Галатенко. -М.: СИП РИА, 2001 г.
- Фаулер, Скотт UML. Основы. М.: Символ-Плюс, 2001 г., — 192 с.
- Холстед М.Х. Начала науки о программах. М.: Финансы и статистика, 1981 г.
- Шаракшанэ А.С., Шахин В. П., Халецкий А. К. Испытания программ сложных автоматизированных систем. М.: Высшая школа, 1982 г.
- Шеер А.В. Моделирование бизнес-процессов. М.: Весть-Мета Технология, 2000 г.
- Шеннон Р. Дж. Имитационное моделирование систем искусство и наука. -М.: Мир, 1978 г.-418 с.
- Шрайбер Т. Дж. Моделирование на GPSS. М.: Машиностроение, 1980 г. -592 с.
- Штрик А.А., Осовецкий Л. Г., Мессих И. Г. Структурное проектирование надежных программ встроенных ЭВМ. Л.: Машиностроение, 1989 г.
- Уайт Управление конфигурацией программных средств. Практическое руководство по Rational ClearCase. М.: ДМК, 2002 г. — 272 с.
- Устинов Г. Н. Основы информационной безопасности систем и сетей передачи данных. М.: СИНТЕГ, 2000 г.
- Юдицкий СА. Сценарный подход к моделированию бизнес-систем. М.: СИНТЕГ, 2001 г.
- Концепция защиты средств вычислительной техники и автоматизированных систем от несанкционированного доступа к информации. Руководящий документ. Гостехкомиссия России. М.: Военное издательство, 1999 г.
- КОЛЕС 20 000−1,2:2005 Information technology Service management, 2005 г.
- Искусственный интеллект, в 3-х книгах, Книга 2. Модели и методы. Справочник/под ред. Д. А. Поспелова. М.: Радио и связь, 1990 г.
- ГОСТ Р ИСО/МЭК 12 207−99 «Информационная технология. Процессы жизненного цикла программных средств». М.: Госстандарт России, 1999 г. — 90 с.
- ISO/IEC 15 288 «Life Cycle Management System Life Cycle Processes». ISO (the International Organization for Standardization), 2000 r.
- Beizer B. Software testing techniques. N.Y.: Van Nostrand Reinhold, 1990.
- Buckle J.K. Software configuration management. London: Macmillan Press, 1982.
- Cargill C.F. Information technology stangardization. Digital Press, 1989.
- Charett R. Software engineering risk analysis and management. N.Y.: McGraw -Hill, 1989.
- Encyclopedia of Software Engineering. Vol.1 A-N- Vol.2 O-Z. Editor In -Chief John J. Marciniak. John Wiley & Sons. Inc. 1995.
- Gane Ch., Sarson T. Structured Systems Analysis: Tools and Techniqnes. Englewood Cliffs, N.J. Prentice-Hall. 1979.
- Gordon, Geoffrey. «System Simulation», 2nd ed. Prentice-Hall, 1978 r.
- Howden W.E. Functional program testing and analysis. N.Y.: McGraw — Hill, 1987.
- Kaner G. Testing computer software. -TAB INC. Blue Ridge Summit. 1988.
- Kit E. Software Testing in the Real World Improving the Process. Addison-Wesley. 1996.
- Londeix B. Cost estimation for software development. Cornwall: Addison-Wesley. 1987.
- Martin J., McClure C. Software maintenance, the problems and its solutions. -N.Y.: Prentice-Hall. 1983.
- Musa J.D., lannino A., Okumoto K. Software Reliability: Measurement, Prediction, Application. N.Y.: McGraw Hill. 1987.
- Ng P.A., Yeh R.T. ed. Modern software engineering. Foundations and current perspectives. -N.Y.: Van Nostrand Reinhold. 1990.
- Schindler M.J. Computer aided software design. Build quality software with CASE. — N.Y.: John Wiley & Sons, 1990.
- Sommerville I. Software engineering. Addison-Wesley. Lancaster University. 2000.
- Metamodeling, (From Wikipedia, the free encyclopedia) http://en.wikipedia.org/wiki/Metamodel, 2006.
- Meta-Process Modeling. http://en.wikipedia.org/wiki/Meta-Process Modeling, 2006.
- ISO/IEC DTR 19 759 Software Engineering Guide to the Software Engineering Body of Knowledge — SWEBOK, 2003 r.