Шифр: W9679 (Журнал) Distributed Computing [Текст]. - Berlin : springer, 1986 - . - Выходит ежеквартально. - ISSN 0178-2770
Аннотация: Статьи по исследованиям в области распределенных вычислений (от отчетов о проектировании, реализации и использовании систем до теоретических работ по формальной спецификации, верификации и синтеза распределенных систем): новые архитектуры распределенных систем (напр., распределенные базы данных, автоматизация офиса, распределенное управление в режиме реального времени); архитектуры компьютерных сетей; протоколы связи, иерархии протоколов, стандарты; распределенные операционные системы; распределенные алгоритмы (распределение ресурса, отказоустойчивость и др.); алгоритмы для массивов СБИС; формальное моделирование, верификация и синтез распределенных систем.
Зарегистрированы поступления:
Шифр: V4741 () International Journal of Foundations of Computer Science [Электронный ресурс]. - [S. l.] : World Scientific Publishing Co. Pte. Ltd, 1990 - . - Выходит ежеквартально. - ISSN 0129-0541
Аннотация: Статьи о новых теоретических результатах исследований во всех основополагающих областях компьютерных наук. Теоретические и математические аспекты охватывают темы: алгебраическая теория и формальные системы; алгоритм и реализация системы; аппроксимация, теория вероятностей и рандомизированные алгоритмы; автоматы и формальные языки; автоматизированная дедукция; комбинаторика и теория графов; теория сложности; криптография; теория баз данных; структуры данных; проектирование и анализ алгоритмов; основы компьютерной безопасности; основы высокопроизводительных вычислений; логика в компьютерных науках; модели вычислений; проверка модели и компьютерная верификация; квантовые вычисления; семантика, параллелизм и теория типов; теории и модели вычислений в Интернете; теория обучения и индуктивный вывод; теория параллельных и распределенных вычислений; сети с беспроволочной связью и мобильные вычисления; и др. Выходят также тематические номера.
journal link (full text - НТО-3)
|
() 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 - из читальных залов ГПНТБ)
|
Шифр: V4699 () Journal of Electronic Testing [Электронный ресурс]. - Dordrecht : Springer Netherlands, 1990 - (Springer). - Выходит ежеквартально. - ISSN 0923-8174
Аннотация: Статьи, обзоры и материалы конференций по результатам теоретических и прикладных исследований в области электронного тестирования: тестирование СБИС-устройств (печатных плат и систем), аналоговых и цифровых электронных схем, микропроцессоров, устройств памяти, устройств обработки сигнала, математическое и имитационное моделирование неисправностей, формирование теста, анализ на тестопригодность, проектирование тестопригодности, синтез тестопригодности, встроенное самотестирование, тестовое техническое задание, отказоустойчивость, формальная верификация аппаратного обеспечения, имитационное моделирование верификации, устранение дефектов проекта, методы искусственного интеллекта и экспертные системы для тестирования и диагностики, автоматическое испытательное оборудование, фиксирование теста, система тестирования с помощью пучка электронов, программирование теста, анализ данных теста, экономика тестирования, качество и надежность средств автоматизированного проектирования, тестирование устройств в масштабе пластины, тестирование надежных систем, производство изделий и проектирование усовершенствования продукции, анализ состояний отказа и технологического процесса.
journal link (full text - НТО-3)
|
() Journal of Logic and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X
Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)
|
() Software Engineering [Электронный ресурс]. - Rosemead : Scientific & Academic Publishing Co., 2011 - . - Периодичность 5. - ISSN 2162-934X
Аннотация: Научный журнал. Статьи по разработке и применению программного обеспечения (ПО): с помощью компьютера, человеческий фактор, мультимедиа, объектно-ориентированное ПО, в реальном времени; управление конфигурацией ПО; оценка стоимости ПО, разработка среды программирования, документация на ПО, разработка ПО и искусственный интеллект; эволюция ПО, экономика ПО, совершенствование методов и языков программирования, сопровождение ПО, метрика ПО (измерение и оценка), модель процесса программирования (жизненный цикл), управление проектами ПО, прототипирование ПО, обеспечение качества ПО, реконструирование программных средств, надёжность ПО, повторное использование ПО, разработка технических требований к ПО, безопасность ПО, технические условия на средства ПО, верификация, подтверждение верности и тестирование; и др. Выходят также специальные тематические выпуски.
journal link
|
() Software Testing, Verification and Reliability [Электронный ресурс]. - [Б. м.] : John Wiley & Sons, Inc, 1991 - . - Выходит 8 раз в год. - ISSN 0960-0833
Аннотация: Статьи и обзоры теоретического и практического характера по тестированию, верификации и надежности программного обеспечения (ПО): новые критерии; применение существующих методов тестирования и верификации к новым типам ПО (веб-службы, встроенное ПО, аспектно-ориентированное ПО, архитектуры ПО); тестирование на основе использования модели; формальные методы верификации (напр., верификация моделей программ); сравнение методов тестирования и верификации; измерения и метрика тестирования, верификации и надежности; опыт промышленного использования основных методов; описания и оценка инструментов тестирования коммерческого ПО и ПО с открытым исходным кодом; моделирование надежности, измерение и применения; тестирование и верификация защиты ПО; автоматизированная генерация тестовых данных; нефункциональное тестирование; и др. Описания конкретных ситуаций (применение специфических методов и инструментов), краткие сообщения о результатах исследований, письма в редакцию.
journal link (full text - из читальных залов ГПНТБ)
|
|
