За последние десятилетия общий процесс разработки программного обеспечения (ПО) значительно улучшился. В промышленности такие методы разработки ПО, как системы контроля версий и отслеживания проблем, теперь незаменимы в повседневной работе разработчиков ПО, а также при разработке гибкого и тестированного ПО и непрерывной интеграции. Несколько иная ситуация сложилась в науке. Здесь еще не везде внедрены современные методы разработки программного обеспечения, в силу чего различные научные дисциплины имеют разный статус...

Уважаемые коллеги, доброго времени суток! Представляем вам нидерландское научное издание Formal Methods in System Design. Журнал имеет третий квартиль, издаётся в Springer Netherlands, его SJR за 2021 г. равен 0,502, пятилентий импакт-фактор 1,676, печатный ISSN - 0925-9856, электронный - 1572-8102, предметные области - Теоретические компьютерные науки, Программное обеспечение, Аппаратная часть и системная архитектура. Вот так выглядит обложка: Редактором является Нир Питерман, контактные данные - nir...