|
Информация о статье
2002 г., Том 7, № 4, с.71-83
Москвитин А.А.
Измерение ресурсов пользователей в языках спецификаций задач
Описывается процедура измерения, так называемого, интеллектуального ресурса пользователя. Необходимость таких измерений связана с разработкой языков спецификаций задач, ориентированных (в первую очередь) на пользователей, не являющихся профессионалами в математике и в программировании, но желающих самостоятельно решать свои задачи на компьютере.
[полный текст] Классификатор Msc2000:- *68N15 Programming languages
- 68Q60 Specification and verification (program logics, model checking, etc.)
- 68U99 None of the above, but in this section
Классификатор Computer Science:- *D.3 Programming Languages
- F.3.1 Specifying and Verifying and Reasoning about Programs
Библиографическая ссылка:
Москвитин А.А. Измерение ресурсов пользователей в языках спецификаций задач // Вычислительные технологии. 2002. Т. 7. № 4. С. 71-83
|
|
|
|
