Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Труды Института системного программирования РАН. Том 16....

Main
Computers - Programming
Труды Института системного...

Труды Института системного программирования РАН. Том 16. 2009 г.

Под редакцией академика РАН В.П. Иванникова

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Юбилейный сборник Трудов института системного программирования РАН, посвященный 15-летию Института, полностью состоит из статей, написанных молодыми сотрудниками ИСП РАН и посвященных результатам выполняемых ими исследовательских проектов

Categorie:

Computers - Programming

Anno:

2009

Casa editrice:

ИСП РАН

Lingua:

russian

Pagine:

81

File:

PDF, 4.05 MB

IPFS:

,

russian, 2009

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Vladimir Maz'ya — Sobolev Spaces: with Applications to Elliptic Partial Differential Equations

Киселева Т. В. — Программная инженерия. Ч. II

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Верификация автоматных программ

Миронов А. И., Трушин С. М., Петренко А. А. — Тестирование и верификация программного обеспечения: Практикум

Быковский С.В., Горбачев Я.Г., Ключев А.О., Пенской А.В. — Сопряжённое проектирование встраиваемых систем (Hardware/Software Co-Design). Часть 2: Учебное пособие

Коллектив авторов — Программная инженерия: Часть II: учебное пособие. Направление подготовки 09.03.03 Прикладная информатика. Профиль подготовки «Прикладная информатика в экономике». Бакалавриат

Кожомбердиева Г.И., Сухоногов А.М., Протопопов Д.А. — Использование средств тестирования JUnit при разработке Java-приложений в среде Oracle JDeveloper

Фридман А.Л. — Основы объектно-ориентированной разработки программных систем

Фридман А.Л. — Основы объектно-ориентированной разработки программных систем

Майерс Г. — Искусство тестирования программ

Майерс Г. — Искусство тестирования программ

Кузьмин А.В., Андреев Р.В., Филин А.В., Плеханов Л.П., Дьяченко Ю.Г., Морозов Н.В., Степченков Ю.А., Петрухин В.С., Егоров В.Б., Козмидиади В.А., Гребенщиков В.И., Замковец С.В., Курц Л.А., Чумаченко Г.О., Ширай А.Е., Петрищев Д.В., Оленин А.С., Ермолаев — Системы и средства информатики, Специальный выпуск, Методы и средства разработки информационно-вычислительных систем и сетей

С.Э.Вельдер, М.А.Лукин, А.А.Шалыто, Б.Р.Яминов — Верификация автоматных программ

Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. — Верификация автоматных программ

Виктор Владимирович Захаров — Тестирование программного обеспечения. Основы

Кулямин В.В., Омельченко В.А., Петренко О.Л. — Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Кулямин В.В. — Перспективы интеграции методов верификации программного обеспечения

Виктор Владимирович Захаров — Тестирование программного обеспечения. Основы

Румбешт В.В. — Технология разработки программного обеспечения. Основные этапы

Калайда В. Т. — Технология разработки программного обеспечения

Быковский С.В., Горбачев Я.Г., Ключев А.О., Пенской А.В., Платунов А.Е — Сопряжённое проектирование встраиваемых систем (Hardware/Software Co-Design). Часть 2. Учебное пособие

Коллектив авторов — Методы формальной верификации программ

— Технологии Microsoft в теории и практике программирования

Жоголев Е.А. — Технология программирования конспект лекций

Киселева Т. В. — Программная инженерия. Ч. II

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 1. 2000 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 5. 2004 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 8. Часть 1. 2004 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 9. 2006 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 13. Часть 1. 2007 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин — Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин — Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 15. 2008 г.

Под редакцией академика РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 18. 2010 г.

Под ред. А.Н. Терехова, Д.Ю. Булычева — Системное программирование. Вып. 4: Сборник статей

Аветисян А.И., Иванников В.П., Гайсарян С.С. — Анализ и трансформация программ

Termini più frequenti

программы

выполнения

множество

тестирования

спецификации

верификации

позволяет

терминов

операции

приложений

управления

разработки

программ

операций

инструкции

различных

зависимости

выполнение

реализации

состояние

определение

проверки

алгоритма

зависимостей

используется

называется

архитектуры

интерфейс

оптимизации

программа

программирования