Разработчику

Таблица 1. Результаты сравнения автоматных моделей

Параллельные сортировки: быстрее, проще... умнее

Интерфейсы разработки услуг связи

Особенности переноса бортовых программ

Рис. Архитектура MDS.

NASA: миссия надежна

Рис. 8.Частичная модель репозитария

UML 2: модель деятельности и модель действий

Графика или текст:какой язык нужен программисту?

WSRP: интеграция портлетов в порталы

Верификация программ с помощью моделей

Чем критичнее для бизнеса программа, тем дороже обходятся дефекты в ней. Но, к сожалению, создание априори безошибочных программ дело чрезвычайно нетривиальное — если не сказать, невозможное. На практике часто используются методы валидации и верификации, т.е. проверки программного обеспечения на корректность реализации поставленной задачи путем сравнения с требуемыми свойствами.

Практические аспекты разработки на базе моделей

Разработка на базе моделей

Рис. 6.

Введение в объектно-ориентированную системную инженерию

Язык Ада - двадцать лет спустя

Рис. 2.

Cистема автоматического тестирования

В круге разработки

С ростом сложности архитектуры программных систем растет трудоемкость их разработки и развертывания, усложняются сценарии интеграции, растут расходы на сопровождение. Традиционная интегрированная среда разработки предоставляет базовые инструменты — редакторы кода, компиляторы, средства разработки пользовательского интерфейса и отладчики, однако за ее пределами остаются ключевые этапы жизненного цикла приложений.

Таблица 3.