Web ИРБИС

Базы данных

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

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=спецификация<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

()

Annals of Software Engineering [Электронный ресурс]. - Dordrecht : Springer Netherlands, 1995 - 2002. - Выходит 8 раз в год. - ISSN 1022-7091
Прекращен с 2003

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

Шифр: V4816 (Журнал)

Applicable Algebra in Engineering, Communication and Computing [Текст]. - Berlin : springer, 1990 - . - Выходит ежеквартально. - ISSN 0938-1279

Аннотация: Cтатьи по исследованиям в области алгебраических методов, применяемых во всех областях, связанных с компьютерами, интеллектуальными системами и коммуникациями: зрение, роботика, проектирование систем, отказоустойчивость и надежность систем, технология СБИС, обработка сигнала, кодирование, методы контроля ошибок, криптография, спецификация протокола, сети, проектирование программного обеспечения, арифметика, алгоритмы, сложность, компьютерная алгебра, языки программирования, логическое и функциональное программирование, алгебраическая спецификация, перезаписывающие системы, доказательство теорем, графика, моделирование, инженерия знаний, экспертные системы, методология искусственного интеллекта. При этом предпочтение отдается не теории, а работам связанным с проблемами в таких областях, как коммутативная или некоммутативная алгебра, теория групп, теория поля и реальная алгебраическая геометрия, а также исследованиям в области технологий и разработкам ноу-хау, связанным с применением прикладной алгебры.
Зарегистрированы поступления:

1992

journal link (full text - НТО-3)
Найти похожие

()

Journal of Logic and Computation [Электронный ресурс]. - Oxford : Oxford University Press, 1990 - . - Выходит раз в два месяца. - ISSN 0955-792X

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

Шифр: V3755 (Журнал)

Modeling, Identification and Control [Текст]. - Kristiansand : Norsk Forening for Automatisering (Norwegian Society of Automatic Control), 1980 - . - Выходит ежеквартально. - ISSN 1890-1328

Кл.слова (ненормированные): методология, моделирования -- свойства, систем -- идентифицируемость
Аннотация: Статьи по результатам исследований норвежских специалистов в области общей методологии моделирования (в т.ч. выбор структуры, редукция модели, численные аспекты, системы компьютерного моделирования и др.), идентификации (в т.ч. структура систем, идентифицируемость, конвергенция, численные аспекты, системы компьютерной идентификации и др.) и управления (в т.ч. спецификация систем, деривация стратегий управления, анализ свойств систем - устойчивости, чувствительности и др.), с описанием примеров применения теории (путем имитационного моделирования или экспериментально) в инженерных, геофизических, экономических, экологических, биологических, социальных и др. системах. В каждом номере - оглавления всех предыдущих номеров журнала, начиная с первого тома (1980).
Зарегистрированы поступления:

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995