> () Прекращен с 2003 Аннотация: Статьи по всем аспектам разработки программного обеспечения (ПО): автоматизированное проектирование ПО, человеческий фактор в программировании, мультимедийное программирование, объектно-ориентированное программирование, программирование в реальном времени, управление конфигурацией программных средств, оценка стоимости ПО, методы разработки ПО, среды разработки ПО, программная документация, программирование и искусственный интеллект, экономика программирования, средства поддержки программных разработок, эволюция ПО, методы реализации ПО и языки, сопровождение ПО, метрика ПО, модель процесса создания и эксплуатации ПО (жизненный цикл ПО), управление программными проектами, создание прототипа ПО, обеспечение качества ПО, реинжиниринг ПО, надежность ПО, повторное использование ПО, выработка требований к ПО, безопасность ПО, спецификация ПО, верификация, утверждение и тестирование. journal link (full text - НТО-3) |
> Шифр: V4816 (Журнал) Аннотация: Cтатьи по исследованиям в области алгебраических методов, применяемых во всех областях, связанных с компьютерами, интеллектуальными системами и коммуникациями: зрение, роботика, проектирование систем, отказоустойчивость и надежность систем, технология СБИС, обработка сигнала, кодирование, методы контроля ошибок, криптография, спецификация протокола, сети, проектирование программного обеспечения, арифметика, алгоритмы, сложность, компьютерная алгебра, языки программирования, логическое и функциональное программирование, алгебраическая спецификация, перезаписывающие системы, доказательство теорем, графика, моделирование, инженерия знаний, экспертные системы, методология искусственного интеллекта. При этом предпочтение отдается не теории, а работам связанным с проблемами в таких областях, как коммутативная или некоммутативная алгебра, теория групп, теория поля и реальная алгебраическая геометрия, а также исследованиям в области технологий и разработкам ноу-хау, связанным с применением прикладной алгебры. Зарегистрированы поступления: journal link (full text - НТО-3)
|