Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Сложность разработки программных продуктов постоянно растет. Документы, содержащие требования к проекту, состоят из многих тысяч пунктов, неправильная формулировка которых неизбежно приведет к возникновению ошибок в системе, на исправление которых будут задействованы колоссальные ресурсы. Вот почему вопрос верификации и проверки корректности требований занимает одну из ведущих ролей в процессе разработки программного продукта. В данной работе описан метод доказательства, верификации и проверки корректности технологического маршрута, который задан с помощью MSC диаграмм. Данный подход был реализован с помощью технологии VRS/TAT, которая использует формальный язык UCM, расширенный языком базовых протоколов.
The complexity of software development is constantly growing. Documents containing requirements for the project consist of many thousands of items, the incorrect wording of which will inevitably lead to errors in the system, for the correction of which enormous resources will be used. That is why the question of verification and validation of requirements occupies a leading role in the process of developing a software product. This paper describes the method of proving, verifying and checking the correctness of the technological route, which is specified using MSC diagrams. This approach was implemented using VRS / TAT technology, which uses the formal UCM language, extended with the language of the basic protocols.
Права на использование объекта хранения
Место доступа | Группа пользователей | Действие | ||||
---|---|---|---|---|---|---|
Локальная сеть ИБК СПбПУ | Все | |||||
Интернет | Авторизованные пользователи СПбПУ | |||||
Интернет | Анонимные пользователи |
Статистика использования
Количество обращений: 19
За последние 30 дней: 0 Подробная статистика |