Вы здесь

Главная

программная система

Связанные издания:

Architecturing Systems with Trustworthy Components: Revised Selected Papers/International Seminar. Dagstuhl Castle, Germany, December 2004
Biologically Inspired Approaches to Advanced Information Technology: Revised Selected Papers/First International Workshop, BioADIT 2004. Lausanne, Switzerland, January 2004
Calculating Error Rates for Filtering Softweare
Explain: программная система по анализу микрочипов и поиску ключевых молекул
FM 2005: Formal Methods: International Symposium of Formal Methods Europe. Newcastle, UK, July 2005
Supporting Systems Analysis and Design through Fisheye Views
Алгоритмы и программные системы для геометрических задач параметрического проектирования
Интеграция методов верификации программных систем
Концептуальный анализ программных систем
Метод построения больших программных систем обработки текстовой информации на базе Р-технологии
Методы проектирования программных систем
Модели оценки стоимости опционов на программные системы и формирования оптимальных портфелей заказов
Онтологический подход к созданию системы поддержки принятия решений при остеопорозе
Онтологический подход к спецификаци свойств программных систем и их компонентов
Параллельные вычислительные и программные системы. Сборник научных трудов
Подход к экспертному оцениванию в программной инженерии
Проблемы архитектуры, анализа и разработки программных систем
Проблемы поиска информации
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами
Программная инженерия и технологии программирования сложных систем. Учебник для ВУЗов, 2-е издание, исправленное и дополненное
Программная система обработки изображений с параллельными вычислениями
Программные системы для комплексов коллективного пользования. Сборник научных трудов
Программные системы обработки информации с больших физических установок ИФВЭ и их применение для анализа экспериментальных данных
Разработка графических интерфейсов и визуализация данных в геофизических программных системах
Разработка интерфейсов программных систем
Разработка программной системы для генерации автоматных программ
Реализация реинжиниринга программных logacy-систем
Системы переходов, ориентированные на разработку средств спецификации и верификации программных систем
Тестирование изменений в программной системе на основе покрытия исходного кода
Тестирование изменений в программной системе на основе покрытия исходного кода
Технологические аспекты создания программных систем
Технология программирования. Тезисы докладов 1 Всесоюзной конференции. Секция К: Методы повышения качества программных систем
Технология программирования. Тезисы докладов 1 Всесоюзной конференции. Секция П: Вопросы проектирования программных систем
Трансформация UML-моделей и ее использование в технологии MDA
Формальные методы в исследовании свойств программных систем
Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем
Язык описания онтологических систем перходов OTSL как средство формальной спецификации программных систем