|
Article information
2002 , Volume 7, № 4, p.71-83
Moskvitin A.A.
Measurement of user resources in problem specification languages
Описывается процедура измерения, так называемого, интеллектуального ресурса пользователя. Необходимость таких измерений связана с разработкой языков спецификаций задач, ориентированных (в первую очередь) на пользователей, не являющихся профессионалами в математике и в программировании, но желающих самостоятельно решать свои задачи на компьютере.
[full text] Classificator Msc2000:- *68N15 Programming languages
- 68Q60 Specification and verification (program logics, model checking, etc.)
- 68U99 None of the above, but in this section
Classificator Computer Science:- *D.3 Programming Languages
- F.3.1 Specifying and Verifying and Reasoning about Programs
Keywords: task specification language, syntax of a text, syntactic analysis of texts
Author(s):
Moskvitin A A
Office: Sobolev Math. Institute of SB RAS
Address: 630090, Russia, Novosibirsk
E-mail: moskvit@math.nsc.ru
Bibliography link:
Moskvitin A.A. Measurement of user resources in problem specification languages // Computational technologies. 2002. V. 7. № 4. P. 71-83
|
|
|
|
