Журналы
Email: Пароль: Войти Регистрация
Статья написана в соавторстве с И.П. Соловьевым. Авторы рассматривают возможности применения точных средств описания задачи и ее решения при создании больших программных комплексов. К этим средствам относятся различные языки и технологии спецификации. Среди всех методов описания авторы выделяют именно формальные (точные) языки и технологии спецификации, так как именно они позволяют недвусмысленно интерпретировать сформулированную задачу или ее решение.
Статья находится в закрытом доступе.
Для пополнения баланса выберите страну, оператора и отправьте СМС с кодом на указанный номер. Отправив одну смс, вы получаете доступ к одной статье.
Закрыть