Главная страница

Базы данных


- результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=реальное<.>)
Общее количество найденных документов : 1
1.
()
International Journal on Software Tools for Technology Transfer [Электронный ресурс]. - Berlin : springer, 1997 - (Springer). - Выходит ежеквартально. - ISSN 1433-2779
СВЕДЕНИЯ ОБ ИЗМЕНЕНИИ ИЗДАНИЯ: Настоящее издание
В 2001г. поглотило Software - Concepts and Tools. - ISSN 0945-8115 (Шифр vr=S147515)

Аннотация: Статьи по всем аспектам вспомогательных программных средств для развития надежных и корректных компьютерных систем: методы проектирования, алгоритмы и т.д., создание и анализ программ: иерархические и структурные подходы, синтаксически ориентированные методы против семантических методов, синтез против верификации, формальная поддержка полного жизненного цикла системы, в т.ч. сбор требований, проектирование, реализация, верификация, сопровождение тестирования; анализ нефункциональных аспектов поведения систем (реальное время, вероятность, производительность); практические вопросы: функциональная характеристика, степень универсальности, простота использования программных средств, анализ конкретных проблем, промышленное использование и обратная связь; универсальные инструменты: парадигмы (полностью автоматизированные подходы против интерактивных подходов), вопросы проектирования (модулярность, эффективность, портативность, интегрируемость частей, возможность многократного использования), автоматическая поддержка (генераторы и интеграторы программных средств, построители интерфейса); пользовательские интерфейсы (графика, гипертекст, поиск). Задача журнала - показать во всех деталях самый современный уровень развития программных средств и методов для успешной передачи технологий из науки в промышленность.
journal link (full text - из читальных залов ГПНТБ)
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)