Geodesic
Specification languages for user-oriented problems
Sibirskij žurnal industrialʹnoj matematiki, Tome 5 (2002) no. 2, pp. 148-159.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{SJIM_2002_5_2_a11,
     author = {A. A. Moskvitin},
     title = {Specification languages for user-oriented problems},
     journal = {Sibirskij \v{z}urnal industrialʹnoj matematiki},
     pages = {148--159},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {2002},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/}
}
TY  - JOUR
AU  - A. A. Moskvitin
TI  - Specification languages for user-oriented problems
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2002
SP  - 148
EP  - 159
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/
LA  - ru
ID  - SJIM_2002_5_2_a11
ER  - 
%0 Journal Article
%A A. A. Moskvitin
%T Specification languages for user-oriented problems
%J Sibirskij žurnal industrialʹnoj matematiki
%D 2002
%P 148-159
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/
%G ru
%F SJIM_2002_5_2_a11
A. A. Moskvitin. Specification languages for user-oriented problems. Sibirskij žurnal industrialʹnoj matematiki, Tome 5 (2002) no. 2, pp. 148-159. http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/

[1] Kazakov E. V., Moskvitin A. A., Samokhvalov K. F., “Proekt razrabotki yazykov spetsifikatsii zadach, orientirovannykh na polzovatelya”, Modeli kognitivnykh protsessov, Vychislitelnye sistemy, 158, Novosibirsk, 1997, 63–94 | MR | Zbl

[2] Esenin-Volpin A., “On the ultra-intuitionistic foundations of mathematics”, Infinitistic method, Pergamon Press, Oxford, 1961, 201–223 | MR

[3] Vopenka P., Matematika v alternativnoi teorii mnozhestv, Mir, M., 1983 | MR

[4] Dummett M., “Wang's paradox”, Synthese, 30 (1975), 301–324 | DOI | Zbl

[5] Kazakov E. V., Moskvitin A. A., Samokhvalov K. F., “Ustanovlenie resursov polzovatelei”, Modeli kognitivnykh protsessov, Vychislitelnye sistemy, 162, Novosibirsk, 1998, 41–57 | Zbl

[6] Moskvitin A. A.,Timofeeva M. K., “Osobennosti dialoga v yazykakh spetsifikatsii zadach”, Modeli kognitivnykh protsessov, Vychislitelnye sistemy, 168, Novosibirsk, 2000, 3–18 | MR

[7] Moskvitin A. A., “Sreda spetsifikatsionnoi deyatelnosti SIGMA-TZ”, Teoriya vychislenii i yazyki spetsifikatsii, Vychislitelnye sistemy, 132, Novosibirsk, 1995, 76–94

[8] Moskvitin A. A., “Ob odnom sposobe organizatsii programmnogo obespecheniya v tekhnologicheskom komplekse resheniya logicheskikh zadach”, Modeli kognitivnykh protsessov, Vychislitelnye sistemy, 158, Novosibirsk, 1997, 95–106

[9] Moskvitin A. A., “Arkhitektura programmnoi sistemy dlya realizatsii yazykov spetsifikatsii zadach”, Modeli kognitivnykh protsessov, Vychislitelnye sistemy, 158, Novosibirsk, 1997, 69–77