Dasturlash texnologiyalarini avtomatlashtirish

Adabiyotlar
1. Benveniste A., Kaspi P., Edvards S. va boshqalar . Sinxron tillar 12 yildan keyin //
IEEE materiallari. jild. 91. 2003. № 1.
2. Shalyto AA Mantiqiy boshqaruv va "reaktiv" tizimlar: algoritmlash va dasturlash //
Avtomatlashtirish va masofadan boshqarish (Avtomatika i Telemekhanika). 2001. № 1.
http://is.ifmo.ru.
3. Shalyto AA . Mantiqiy nazorat. Apparat va dasturiy ta'minot algoritmlarini amalga oshirish usullari. SPb.: Nauka (Fan), 2000.
4. Shalyto AA . Switch - texnologiyasi. Mantiqiy nazorat vazifalarini algoritmlash va dasturlash .
SPb.: Nauka (Science), 1998.
5. Shalyto AA Funktsional bloklar tilidan foydalangan holda yozilgan dasturlar yordamida mantiqiy boshqaruv algoritmlarini amalga oshirish
// Sanoat avtomatik boshqaruv tizimi va kontrollerlar.
2000. № 4. http://is.ifmo.ru.
6. Harel D., Politi M. Statecharts yordamida reaktiv tizimlarni modellashtirish. NY: McGraw-Hill,
1998.
7. Shalyto A., Tukkel N. Davlatga asoslangan dasturlash // Kompyuter dunyosi. 2001. № 8, 9.
http://is.ifmo.ru.
8. Shalyto AA, Tukkel NI Switch - texnologiya -
"reaktiv" tizimlar uchun dasturiy ta'minotni ishlab chiqishga avtomatlashtirilgan yondashuv // Dasturlash va kompyuter dasturlari (Programmirovanie).
2001. № 5. http://is.ifmo.ru.
9. Dijkstra E. Kelgusi jarayonlarning o'zaro ta'siri // Dasturlash tillari. M.: Mir
(World), 1972.
10. Booch G., Rembo D., Jacobson A. UML Language. Foydalanuvchilar uchun qo'llanma. M.: DMK, 2000.
11. Shalyto AA, Tukkel NI Avtomat yondashuviga asoslangan dizel generatorini boshqarish tizimi uchun dasturiy ta'minot dizayni
// Boshqarish va axborotni qayta ishlash tizimi. SPb.: NPO "Avrora",
2003 yil, № 5. http://is.ifmo.ru.
12. Bezrukov N. "Kengash" va "bozor" ga qayta-qayta qarash //BYTE/Rossiya. 2000. № 8.
13. Shalyto AA, Tukkel NI Davlatga asoslangan ob'ektga yo'naltirilgan dasturlash // "Sun'iy intellekt - 2002" Xalqaro ilmiy-texnik konferentsiya materiallari. V.1. Taganrog - Donetck: TGRU - DIPII, 2002.
14. Shalyto A., Tukkel N. Turing dasturlashdan avtomatlarga // Kompyuter dunyosi. 2002. № 2.
http://is.ifmo.ru.
15. Shalyto AA, Tukkel NI Tanklar va avtomatlar //BYTE/Rossiya. 2003. № 2. http://is.ifmo.ru.
7
16. Gurov VS, Narvskiy AS, Shalyto AA . Hodisaga asoslangan davlatga asoslangan ob'ektga yo'naltirilgan dasturlarni loyihalashni avtomatlashtirish // "Telematica-2003" X ilmiy-texnikaviy konferentsiya materiallari.
V.1. SPb.: SPbIFMO (TU), 2003. http://tm.ifmo.ru.
17. Shopyrin DG, Shalyto AA Davlatga asoslangan ob'ektga yo'naltirilgan dasturlashda "STATE" sinfidan foydalanish // "Telematica–2003"
X ilmiy-texnikaviy konferentsiya materiallari. V.1. SPb.: SPbIFMO (TU), 2003. http://tm.ifmo.ru.
18. Korneev GA, Shalyto AA. Obyektga yo'naltirilgan
dasturlash yordamida chekli avtomatlarni amalga oshirish // “Telematica
– 2003” X ilmiy-texnikaviy konferentsiya materiallari. V.1. SPb.: SPbIFMO (TU), 2003. http://tm.ifmo.ru.
19. Gamma E., Helm R., Jonson R., Vlissides J. Ob'ektga yo'naltirilgan dasturlash usullari.
Dizayn naqshlari. SPb.: Piter, 2001.
20. Guisov M.I., Kuznetsov AB, Shalyto AA . Xabarlarni almashish mexanizmining Switch-texnologiyasiga integratsiyasi. http://is.ifmo.ru.
21. Shalyto A., Tukkel N., Shamgunov N. Xanoy minoralari va avtomatlari // Dasturchi. 2002.
№ 8. http://is.ifmo.ru.
22. Shalyto A., Tukkel N., Shamgunov N. Ritsarlar ko'chirish vazifasi // Kompyuter olami. 2003. № 1.
http://is.ifmo.ru.
23. Shalyto AA, Tukkel NI . Iterativ algoritmlarni avtomatlarga aylantirish // Dasturlash va kompyuter dasturlari (Programmirovanie). 2002. №5. http://is.ifmo.ru.
24. Korneev GA, Kazakov MA, Shalyto AA . Avtomat yondashuv asosida algoritmlarni vizualizatsiya qilish dasturlarining funktsional mantiqiy tuzilishi
// “Telematica–2003” X ilmiy- texnikaviy konferentsiya materiallari.
V.2. SPb.: SPbIFMO (TU), 2003.
http://tm.ifmo.ru.
25. Hopcraft D., Motvani R., Ulman D. Avtomatlar , tillar va
hisoblar nazariyasiga kirish. M .: Uilyams, 2002.
26. Allen E. Oddiy dizayn xatolari. SPb.: Piter, 2003.
27. Nepeyvoda NN, Skopin IN Dasturlash asoslari. Moskva-Ijevsk: Kompyuter
tadqiqotlari instituti, 2003 yil.