|
|
|
|
Информационная карта ЭР
| Регистрационный номер: | 2051 |
|---|
| Дата регистрации: | 28.11.2019 |
|---|
| Полное название: | Автоматизация тестирования модели асинхронного процесса Варшавского |
|---|
| Краткое название: | Автоматизация тестирования модели асинхронного процесса |
|---|
| Версия: | 1,0 |
|---|
| Тип ЭР: | Прикладная программа |
|---|
| Размер дистрибутива (МБ): | 1 |
|---|
| Дата окончания разработки: | 21.10.2018 |
|---|
| Кол-во страниц в РТО: | 11 |
|---|
| Индекс УДК: | 004.4 |
|---|
| Рецензент: | Доцент кафедры ПОВТАС, кандидат педагогических наук Тагирова Л.Ф. |
|---|
| Мотивированное заключение: | Кафедра программного обеспечения вычислительной техники и автоматизированных систем |
|---|
| Аннотация: | Программное средство предназначено для построения модели асинхронного процесса Варшавского. Программа реализует следующие функции: ввод ситуаций процесса; ввод отношения непосредственного следования ситуаций процесса; назначение инициаторов и результантов процесса; проверка заданного процесса на асинхронность, автономность, эффективность, управляемость и простоту. Программа разработана в рамках изучения дисциплины "Теория вычислительных процессов" студентами направления подготовки 09.03.04 Программная инженерия.
|
|---|
| Целевая аудитория (УГСН): | |
|---|
| Уровень образования: | Высшее образование |
|---|
| Ступени образования: | Бакалавр |
|---|
| Правообладатель: | Оренбургский государственный университет |
|---|
| Автор(ы): | Щудро Игорь Анатольевич, Авагян Георгий Евгеньевич, Мешков Михаил Валерьевич, Шаховал Виталий Романович |
|---|
| Дисциплины: | Теория вычислительных процессов |
|---|
| Грифование: | |
|---|
| Внедрено: | Факультет математики и информационных технологий |
|---|
| Мультимедиа: | |
|---|
| Зарегистрировано: | |
|---|
| Область применения: | Технические науки |
|---|
| Ключевые слова: | Асинхронный процесс, прикладная программа |
|---|
| Ссылка для скачивания: | Дистрибутив электронного ресурса |
|---|
форма поиска
|
|
|
