Web ИРБИС

Базы данных

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

Вид поиска

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

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

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

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

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

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

Вид документа :
Шифр издания : vr=A979126
Заглавие : Annals of Software Engineering
Выходные данные : Dordrecht : Springer Netherlands, 1995-2002
ISSN: 10227091
ГРНТИ : 50.05 + 50.41 + 50.51.17
Аннотация: Статьи по всем аспектам разработки программного обеспечения (ПО): автоматизированное проектирование ПО, человеческий фактор в программировании, мультимедийное программирование, объектно-ориентированное программирование, программирование в реальном времени, управление конфигурацией программных средств, оценка стоимости ПО, методы разработки ПО, среды разработки ПО, программная документация, программирование и искусственный интеллект, экономика программирования, средства поддержки программных разработок, эволюция ПО, методы реализации ПО и языки, сопровождение ПО, метрика ПО, модель процесса создания и эксплуатации ПО (жизненный цикл ПО), управление программными проектами, создание прототипа ПО, обеспечение качества ПО, реинжиниринг ПО, надежность ПО, повторное использование ПО, выработка требований к ПО, безопасность ПО, спецификация ПО, верификация, утверждение и тестирование.
Найти похожие

Вид документа : Журнал
Шифр издания : V4816
Заглавие : Applicable Algebra in Engineering, Communication and Computing
Выходные данные : Berlin: springer, 1990
ISSN: 09381279
ГРНТИ : 27.17 + 50.01 + 28.23.27
Аннотация: Cтатьи по исследованиям в области алгебраических методов, применяемых во всех областях, связанных с компьютерами, интеллектуальными системами и коммуникациями: зрение, роботика, проектирование систем, отказоустойчивость и надежность систем, технология СБИС, обработка сигнала, кодирование, методы контроля ошибок, криптография, спецификация протокола, сети, проектирование программного обеспечения, арифметика, алгоритмы, сложность, компьютерная алгебра, языки программирования, логическое и функциональное программирование, алгебраическая спецификация, перезаписывающие системы, доказательство теорем, графика, моделирование, инженерия знаний, экспертные системы, методология искусственного интеллекта. При этом предпочтение отдается не теории, а работам связанным с проблемами в таких областях, как коммутативная или некоммутативная алгебра, теория групп, теория поля и реальная алгебраическая геометрия, а также исследованиям в области технологий и разработкам ноу-хау, связанным с применением прикладной алгебры.
Зарегистрированы поступления :
1992г. Vol.2; N :3
Издание можно найти в:
ЧЗ/ХР;
Найти похожие

Вид документа :
Шифр издания : vr=J255766
Заглавие : Journal of Logic and Computation
Выходные данные : Oxford: Oxford University Press, 1990
ISSN: 0955792X
ГРНТИ : 27.03.19 + 28.23.17 + 50.41.01
Аннотация: Статьи, обзоры, дискуссии по исследованиям в области логики и вычислений: логические системы (классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов и др.); логика в логическом программировании, системах с базами знаний и автоматизированных рассуждениях; логика в представлении знаний (немонотонные рассуждения и системы знаний и убеждений); логика и семантика программирования; спецификация и верификация программ и систем; приложения логики в аппаратном обеспечении и СБИС, естественных языках, параллельных вычислениях, планировании и базах данных. Обзоры материалов конференций, письма в редакцию.
Найти похожие

Вид документа : Журнал
Шифр издания : V3755
Заглавие : Modeling, Identification and Control
Выходные данные : Kristiansand : Norsk Forening for Automatisering (Norwegian Society of Automatic Control), 1980
ISSN: 18901328
ГРНТИ : 28.17 + 27.35
Ключевые слова (''Своб.индексиров.''): методология, моделирования--свойства, систем--идентифицируемость
Аннотация: Статьи по результатам исследований норвежских специалистов в области общей методологии моделирования (в т.ч. выбор структуры, редукция модели, численные аспекты, системы компьютерного моделирования и др.), идентификации (в т.ч. структура систем, идентифицируемость, конвергенция, численные аспекты, системы компьютерной идентификации и др.) и управления (в т.ч. спецификация систем, деривация стратегий управления, анализ свойств систем - устойчивости, чувствительности и др.), с описанием примеров применения теории (путем имитационного моделирования или экспериментально) в инженерных, геофизических, экономических, экологических, биологических, социальных и др. системах. В каждом номере - оглавления всех предыдущих номеров журнала, начиная с первого тома (1980).
Зарегистрированы поступления :
2006г. Vol.27; N :1,2;
2005г. Vol.26; N :1-4;
2004г. Vol.25; N :1-4;
2003г. Vol.24; N :1-4;
2002г. Vol.23; N :1-4;
2001г. Vol.22; N :1-4;
2000г. Vol.21; N :1-4;
1999г. Vol.20; N :1-4;
1998г. Vol.19; N :1-4;
1997г. Vol.18; N :1-4;
1996г. Vol.17; N :1-4;
1995г. Vol.16; N :1-4;
1994г. Vol.15; N :1-4;
1993г. Vol.14; N :1-4;
1992г. Vol.13; N :1-4
Издание можно найти в:
ЧЗ/ХР;
Найти похожие

Тематический навигатор

Статистика обращений

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