Сортировать по:
| Выпуск | Название | |
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки и ..." | ||
| Том 31, № 5 (2019) | Методы и средства разработки автоматизированных информационных систем на основе онтологии «Управление качеством программно-технических комплексов» | Аннотация PDF (Rus) похожие документы |
| Александр Валерьянович Самонов | ||
| "... требований, так и при проектировании системы, обнаружение и устранение дефектов посредством реализации ..." | ||
| Том 27, № 3 (2015) | Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных | Аннотация PDF (Rus) похожие документы |
| А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов | ||
| "... -ориентированном анализе и проектировании программного обеспечения. Предложено формировать модель, описывающую ..." | ||
| Том 37, № 1 (2025) | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| "... Рост сложности современных цифровых систем и увеличение объемов кода на языках описания аппаратуры ..." | ||
| Том 37, № 3 (2025) | Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов | Аннотация PDF (Rus) похожие документы |
| Андрей Леонидович ПАВЛЕВИЧ | ||
| "... академической среде. Использование подобных инструментов в отрасли сопряжено с определенными рисками и ..." | ||
| Том 37, № 2 (2025) | Применения программного обеспечения с открытым исходным кодом для схемотехнического моделирования при разработке аналоговых интегральных микросхем | Аннотация похожие документы |
| Вадим Вадимович КУЗНЕЦОВ, Дмитрий Владимирович АНДРЕЕВ, Григорий Константинович ГРИШИН | ||
| "... Моделирование схем является неотъемлемой частью процесса проектирования микроэлектронных устройств ..." | ||
| Том 37, № 1 (2025) | САПР для удаленного высокоуровневого моделирования СтнК | Аннотация PDF (Rus) похожие документы |
| Александр Александрович АМЕРИКАНОВ, Лариса Геннадьевна ЕВТУШЕНКО, Владимир Викторович ЗУНИН, Владимир Максимович ВИНАРСКИЙ | ||
| "... проектирования СтнК, в результате чего продемонстрирована высокая значимость высокоуровневого моделирования и его ..." | ||
| Том 33, № 2 (2021) | Разработка Web-приложений с учетом элементов качества данных – DQAWA | Аннотация PDF (Rus) похожие документы |
| Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС | ||
| "... нехватка методологических и технологических решений при разработке приложений, ориентированных на качество ..." | ||
| Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
| А. C. Камкин, М. M. Чупилко | ||
| "... На разных этапах проектирования аппаратуры используются разные представления целевой системы (общее ..." | ||
| Том 29, № 4 (2017) | Контрактный метод спецификации реактивных требований | Аннотация похожие документы |
| А. Наумчев, М. Маццара, Б. Мейер, Ж.-М. Брюэль, Ф. Галинье, С. Эберсоль | ||
| "... верификации. Корректировка исходной спецификации и перевод результата в Eiffel с контрактами с последующей ..." | ||
| Том 33, № 1 (2021) | Паттерны микросервисной архитектуры: многопрофильный обзор литературы | Аннотация PDF (Rus) похожие документы |
| Хосе Али ВАЛЬДИВИЯ, Алонсо ЛОРА-ГОНСАЛЕС, Ксавье ЛИМОН, Карен КОРТЕС-ВЕРДИН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| "... независимых, легко связываемых, и пригодных к совместному использованию сервисов, удовлетворяющих насущным ..." | ||
| Том 35, № 3 (2023) | Проектирование архитектуры системы мониторинга на основе паттернов проектирования | Аннотация похожие документы |
| Александра Алексеевна ПАСЫНКОВА, Ольга Леонидовна ВИКЕНТЬЕВА | ||
| "... обслуживание и эволюцию. Использование шаблонов проектирования может решить эти проблемы, предоставляя ..." | ||
| Том 35, № 5 (2023) | Разработка методов автоматизации высокоуровневого моделирования сетей на кристалле | Аннотация PDF (Rus) похожие документы |
| Александр Александрович АМЕРИКАНОВ, Тимофей Владимирович ТАРЖАНОВ, Ирина Ивановна РОМАНОВА, Александр Юрьевич РОМАНОВ | ||
| "... В статье проведен анализ существующих методов для оптимизации временных затрат и вычислений при ..." | ||
| Том 35, № 6 (2023) | Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ | ||
| "... Открытый маршрут проектирования интегральных схем OpenLane позволяет реализовать маршрут ..." | ||
| Том 36, № 4 (2024) | Экспериментальное сравнение методов синтеза логических схем | Аннотация похожие документы |
| Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ | ||
| "... , каскадов, Минато-Морреале, Рида-Маллера и DSD-разложения. Сравнение основывалось на оценке ..." | ||
| Том 36, № 6 (2024) | Предметно-ориентированное проектирование в микросервисной архитектуре | Аннотация похожие документы |
| Хосуэ САНГАБРИЭЛЬ-АЛАРКОН, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Ксавьер ЛИМОН, М. Карен КОРТЕС-ВЕРДИН | ||
| "... необходимы такие подходы, как предметно-ориентированное проектирование (Domain-Driven Design, DDD). DDD уже ..." | ||
| Том 37, № 2 (2025) | Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования | Аннотация PDF (Rus) похожие документы |
| Денис Сергеевич ЩЕПЕТОВ, Александр Геннадиевич ТИМОШЕНКО, Владимир Анатольевич ГАРАНЖА, Игорь Евгеньевич КАПОРИН, Дмитрий Николаевич КАРГИН | ||
| "... методов дифференцируемого программирования и методов машинного обучения. Показано, что такой подход ..." | ||
| Том 27, № 3 (2015) | Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений | Аннотация PDF (Rus) похожие документы |
| Павел Петрович Олейник | ||
| "... реализации приложений используют объектно-ориентированные языки программирования и реляционные базы данных ..." | ||
| Том 18 (2010) | Тестирование конформности на основе соответствия состояний | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... , распространяется на случай (слабой) симуляции - конформности, основанной на соответствии состояний реализации и ..." | ||
| Том 33, № 1 (2021) | Безопасная реализация виртуальной сети на плоскости данных SDN | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ | ||
| "... приоритетами не для любого множества пар допустимых хостов существует допустимая реализация, т.е. реализация в ..." | ||
| Том 36, № 6 (2024) | Тематический синтез разработки, ориентированной на поведение: аналитический подход | Аннотация похожие документы |
| Виктор Мануэль АРРЕДОНДО-РЕЙЕС, Саул ДОМИНГЕС-ИСИДРО, Ангел Хуан САНЧЕС-ГАРСИЯ, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС | ||
| "... принципам и реализации BDD. Авторами подчеркивается роль BDD в преодолении разрыва между техническими и ..." | ||
| Том 28, № 2 (2016) | Практический опыт реализации подходов программной и системной инженерии для управления требованиями при разработке программного обеспечения в авиационной отрасли | Аннотация похожие документы |
| И. В. Ковернинский, А. В. Кан, В. Б. Волков, Ю. С. Попов, Н. К. Горелиц | ||
| "... использованию процессов программной и системной инженерии при создании сложных систем в целом и воздушных судов ..." | ||
| Том 33, № 3 (2021) | Какие стили архитектуры программного обеспечения популярны? | Аннотация похожие документы |
| Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН | ||
| "... обеспечения (ПО). Во многих книгах по архитектуре ПО и академических лекциях это понятие рассматривается как ..." | ||
| Том 26, № 5 (2014) | Стохастическая модель процесса идентификации сервисов информационной системы | Аннотация PDF (Rus) похожие документы |
| Г. Н. Циперман | ||
| "... В статье рассматривается задача оценки объема трудозатрат на проектирование функциональных ..." | ||
| Том 33, № 1 (2021) | Путеводитель по проектированию удобных Web-API | Аннотация PDF (Rus) похожие документы |
| Марибель ТЕЛЛО-РОДРИГЕС, Хорхе Октавио ОЧАРАН-ЭРНАНДЕС, Хуан Карлос ПЕРЕС-АРРИАГА, Ксавье ЛИМОН, Анхель Х. САНЧЕС-ГАРСИЯ | ||
| "... интерфейсы прикладного программирования (API). Успех SaaS, как и в некотором смысле любой распределенной ..." | ||
| Том 32, № 6 (2020) | Проектирование высоконагруженных систем | Аннотация PDF (Rus) похожие документы |
| Василий Андреевич РУДОМЕТКИН | ||
| "... проектированию и мониторингу, следование которым поможет предотвратить неправильное функционирование системы ..." | ||
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| "... инструментов были выбраны системы проектирования qFlow, OpenLANE, Coriolis и SymbiFlow, поддерживающие полные ..." | ||
| Том 35, № 5 (2023) | Разработка доверенных средств проектирования ИС в базисе гетерогенных ПЛИС | Аннотация PDF (Rus) похожие документы |
| Сергей Витальевич ГАВРИЛОВ, Даниил Александрович ЖЕЛЕЗНИКОВ, Мария Андреевна ЗАПЛЕТИНА, Иван Викторович ТИУНОВ, Василий Михайлович ХВАТОВ, Рустам Жамболатович ЧОЧАЕВ, Дмитрий Борисович ШОКАРЕВ | ||
| "... проектирования цифровых схем в базисе гетерогенных ПЛИС, как логический синтез и технологическое отображение ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... Авторы представляют систему, которая по набору правил-ограничений на дизайн и по структурному ..." | ||
| Том 37, № 2 (2025) | Предсказание характеристик СБИС по логической схеме с помощью методов машинного обучения | Аннотация PDF (Rus) похожие документы |
| Михаил Сергеевич ЛЕБЕДЕВ, Дарья Алексеевна ДЫСКИНА, Анастасия Юрьевна ЕРЕМЕНКО, Фёдор Александрович КАБАНОВ, Илья Александрович КОЗМИН, Даниил Михайлович ПЕТРЕНКО, Никита Басуевич ПОУДИАЛ, Андрей Алексеевич СЕРГЕЕВ, Рена Афраил кызы ШИРИНОВА | ||
| "... логический и физический синтез. Несмотря на автоматизацию синтеза в современных САПР, он может занимать часы ..." | ||
| Том 34, № 5 (2022) | Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Михайлович ЧУПИЛКО, Михаил Сергеевич ЛЕБЕДЕВ, Сергей Александрович СМОЛОВ, Георги ГАЙДАДЖИЕВ | ||
| "... используемого, в том числе, в JPEG- и MPEG-декодерах. В качестве метрик сравнения реализаций алгоритма ОДКП ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... цифровых устройств. В отличие от обычных конечных автоматов, в EFSM-моделях управляющие сигналы и данные ..." | ||
| Том 36, № 5 (2024) | Открытое промежуточное представление специализированных потоковых вычислителей, основанное на MLIR | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Михаил Юрьевич ЛИТВИНОВ, Иван Александрович ГРИГОРОВ | ||
| "... (пропускную способность) и энергопотребление (потребляемую мощность) широко используются гетерогенные ..." | ||
| Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... , асинхронность, разнообразие тестовых воздействий и наблюдений над поведением реализации и т.п. При этом в центре ..." | ||
| Том 20 (2011) | Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени | Аннотация PDF (Rus) похожие документы |
| В. В. Липаев | ||
| "... оборонного применения, базирующихся на специализированных ЭВМ. Представлены методы, требования и реализация ..." | ||
| Том 21 (2011) | Риски проектирования и производства мобильных программных продуктов | Аннотация PDF (Rus) похожие документы |
| В. В. Липаев | ||
| "... and approving acceptable integral risk of software products are considered. водятся основные понятия и свойства ..." | ||
| Том 26, № 4 (2014) | Автоматическое извлечение терминов из коллекции текстов предметной области с помощью Википедии | Аннотация PDF (Rus) похожие документы |
| Н. А. Астраханце | ||
| "... Википедия. Кроме того, существующие методы сильно зависят от языка и предметной области входной коллекции ..." | ||
| Том 26, № 3 (2014) | Обзор масштабируемых систем межмодульных оптимизаций | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова | ||
| "... раздельной схеме “компиляция-связывание” ограничивается отдельным модулем. И, хотя многие компиляторы ..." | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) похожие документы |
| Светлана Прокопенко | ||
| "... Проблема локализации неисправной компоненты в автоматной сети хорошо известна, и в данной работе мы ..." | ||
| 1 - 39 из 75 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
