Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11
2809
Купить
Краткое содержание:
Экранизация книги

Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11

Автор:
Петренко Александр Константинович
Год:
2003
Язык:
Русский
Страниц:
59
Коллекции:
Авторефераты
Описание:
Петренко А. К. Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11 / Петренко Александр Константинович; Ин-т систем. программирования Рос. акад. наук. - М., 2003. - 59 с. : ил. ; 20 см. - Библиогр.: с. 54-58 (26 назв.) и в подстроч. примеч.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр.: с. 54-58 (26 назв.) и в подстроч. примеч.
ББК:
32.973.202-018.2+32.973.26-018+32.973.26-018.
Скачать:
Просмотр и скачивание в формате PDF
Дата создания:
2020-05-29 05:01:09
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11

Заказать реферат Узнать стоимость Скачать пример
Лекция 2 часть 1 (Технология разработки программ. Алгоритмизация)
Анализ и постановка задачи. Формализация данных и выбор методов решения задачи. Понятие алгоритма. Этапы: алгоритмизация, кодирование ...
Irina Vorobyeva
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11
Опросы
Оригинал написан на мертвом языке?
Да, позже переведен на другие языки.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
«Подготовка по эталонным программам Ворлдскиллс: лучшие практики разработки и реализации программ»
26 сентября в рамках II Национального форума в дистанционном формате состоялась сессия: «Подготовка по эталонным программам Ворлдскиллс: ...
Академия WorldSkills
Лекция 9: Принципы обеспечения качества программных средств
В лекции рассматриваются основные международные стандарты в области ИТ: ISO/IEC 9126, ISO/IEC 14598 и ИСО/МЭК 9126-1. Лекция и тесты в НОУ ...
НОУ ИНТУИТ
05 Модульное тестирование Test Driven Development | C++
Владимир Кириенко
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. А.П. Чехова
Харьковская область, Харьков, Индустриальный район
Бекетова, 10
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 10:00-17:00
 +380 (572) 93-30-55 +380 (572) 94-66-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №24
Бишкек, Бишкек, Свердловский район
Келечек, 1/1
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
 +996 551-21-14-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №139
Москва, Москва, Царицыно район
Каспийская, 20 к2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (495) 321-56-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, сельское поселение Волжский Утёс
Самарская область, Шигонский район, пос. Волжский Утёс
Волжский Утёс пос, 22
Расположение на карте
санитарный день: последняя пт месяца; зимний период: вт-пт 10:00-18:00; сб-вс 10:00-17:00; пн выходной
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
shigmpb.smr.muzkult.ru
Вконтакте:  https://vk.com/id364857547
Одноклассники:  https://ok.ru/profile/573341014194
Название и адрес
Режим работы
Контактная информация
Телефон
Падеринская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, пос. Ждановский
Нижегородская область, Кстовский район, пос. Ждановский
Зелёная, 4а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-14:00 15:00-18:00
Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00
Сб: 09:00-16:00
 +7 (83145) 6-22-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека № 16, МУК Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Центральный район, Менделеевский
Ленина, 18
Расположение на карте
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 12:00-17:00
tbclib.ru
 +7 (4872) 33-00-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Адлерского района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Адлерский район, Адлер
Ленина, 42
Расположение на карте
санитарный день: последний день месяца
Пн: 11:30-19:00
Вт: 11:30-19:00
Ср: 11:30-19:00
Чт: 11:30-19:00
Вс: 12:00-19:00
library-adler.ru
 +7 (862) 240-20-38 +7 (862) 240-03-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Республика Татарстан, Казань городской округ, Казань, Приволжский, Отары
Калинина, 60а
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская краевая детская библиотека им. А.Е. Екимцева
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 23-й микрорайон
Мира, 382
Расположение на карте
зимний период: пн-пт, вс 10:00-18:00; санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.ekimovka.ru
Вконтакте:  https://vk.com/ekimovka26
Инстаграм:  https://instagram.com/skdb.ekimceva
 +7 (8652) 24-27-49 +7 (8652) 75-31-62 +7 (8652) 75-31-63
Показать номер
Видеолекция Качество программной продукции
По дисциплине "Управление качеством" Для специальности 5В070300 "Информационные системы" Автор Зайцева С.В. 2015 год издания ...
КарГТУТВ Караганда Качество программных продуктов
Озвучка, монтаж, редакция: Цыпленков Денис Тест, видеоряд: Никифорова Алефтина.
ПростоКанал Лекция 10: Оценка программной продукции
Лекция посвящена вопросам характеристики качествапрограммной продукции и руководства по их применению, организация работ по национальной, ...
НОУ ИНТУИТ Информационные технологии управления. Лекция 9. Экспертные системы
1. Характеристика и назначение экспертных систем. 2. Структура экспертных систем. 3. Технология разработки экспертных систем. 4. Методы ...
Образование для всех
Рецензии и отзывы
Егор Петров
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11. Аннотация: «1. Формальные спецификации как следствие формального описания процесса производства программ. 2.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральна бібліотека ім. А.П. Чехова
Харьковская область, Харьков, Индустриальный район
Бекетова, 10
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 10:00-17:00
 +380 (572) 93-30-55 +380 (572) 94-66-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №24
Бишкек, Бишкек, Свердловский район
Келечек, 1/1
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
 +996 551-21-14-31
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №139
Москва, Москва, Царицыно район
Каспийская, 20 к2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
 +7 (495) 321-56-11
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, сельское поселение Волжский Утёс
Самарская область, Шигонский район, пос. Волжский Утёс
Волжский Утёс пос, 22
Расположение на карте
санитарный день: последняя пт месяца; зимний период: вт-пт 10:00-18:00; сб-вс 10:00-17:00; пн выходной
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
shigmpb.smr.muzkult.ru
Вконтакте:  https://vk.com/id364857547
Одноклассники:  https://ok.ru/profile/573341014194
Название и адрес
Режим работы
Контактная информация
Телефон
Падеринская сельская библиотека, МАУК Централизованная библиотечная система Тюменского муниципального района
Тюменская область, Тюменский район, д. Падерина
Озёрная, 6
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека, пос. Ждановский
Нижегородская область, Кстовский район, пос. Ждановский
Зелёная, 4а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-14:00 15:00-18:00
Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00
Сб: 09:00-16:00
 +7 (83145) 6-22-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека № 16, МУК Тульская библиотечная система
Тульская область, Тула городской округ, Тула, Центральный район, Менделеевский
Ленина, 18
Расположение на карте
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 12:00-17:00
tbclib.ru
 +7 (4872) 33-00-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Адлерского района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Адлерский район, Адлер
Ленина, 42
Расположение на карте
санитарный день: последний день месяца
Пн: 11:30-19:00
Вт: 11:30-19:00
Ср: 11:30-19:00
Чт: 11:30-19:00
Вс: 12:00-19:00
library-adler.ru
 +7 (862) 240-20-38 +7 (862) 240-03-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Республика Татарстан, Казань городской округ, Казань, Приволжский, Отары
Калинина, 60а
Расположение на карте
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Название и адрес
Режим работы
Контактная информация
Телефон
Ставропольская краевая детская библиотека им. А.Е. Екимцева
Ставропольский край, Ставрополь городской округ, Ставрополь, Промышленный район, 23-й микрорайон
Мира, 382
Расположение на карте
зимний период: пн-пт, вс 10:00-18:00; санитарный день: последний пн месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
www.ekimovka.ru
Вконтакте:  https://vk.com/ekimovka26
Инстаграм:  https://instagram.com/skdb.ekimceva
 +7 (8652) 24-27-49 +7 (8652) 75-31-62 +7 (8652) 75-31-63
Показать номер
Информация от пользователей
Азат Нагирян
Тестирование на основе формальных спецификаций в процессах разработки программных комплексов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 05.13.11. Аннотация:
Прикрепить файл
Книга находятся в категориях.