Название: Средства оперативной формализации проектных решений в концептуальном проектировании автоматизированных систем(Валюх В.В)

Жанр: Информационные системы и технологии

Просмотров: 3201


Публикации

1.  Соснин П.И., Валюх В.В. Формализация рассуждений в концептуальном проектировании            автоматизированных   систем   //    Известия   высших учебных            заведений.  Северо-Кавказский  регион.   Технические  науки. Приложение к №3. 2006 г. – С. 5-12 (Список ВАК).2. V. Valyukh. Methods and means operating formalization of texts of design documents //Interactive Systems: The Problems of Human - Computer Interaction. Proceedings of International Conference, 23-27 September 2003,Ulyanovsk. − Ulyanovsk: UlSTU, 2003. 168 p. − P. 72-73.3. Валюх В.В. Система перевода технических текстов в  формальное представление           //Прикладная     философия     и     социология:     труды международной конференции «Континуальные алгебраические логики, исчисления и нейроинформатика в науке и технике – КЛИН – 2004» (г. Ульяновск, 18-20 мая 2004г.)/ Под общей редакцией Л.И.Волгина. – Ульяновск: УлГТУ, 2004. – Том 1. – С. 53-54.

4. Валюх В.В. Семантический анализ технических текстов //Проблемы лингвистики,   лингводидактики   и   межкультурной   коммуникации.   –Сборник научных трудов. − Ульяновск: УлГТУ, 2004. − С.22-23.5.  V. Valyukh. The approaches to prolog formalization of design documents // Interactive Systems and Technologies: The Problems of Human - Computer Interaction. Proceedings of International Conference, 26-30 September 2005,Ulyanovsk. − Ulyanovsk: UlSTU, 2005, 112 p. – P. 68-70.6.  V.  Valyukh.  Methods  of  machine  translation  of  texts  from  natural  into predicate logic-based language. //Interactive Systems and Technologies: TheProblems of Human - Computer Interaction. − Collection of scientific papers. −Ulyanovsk: UlSTU, 2005, 264 p. −  P. 173-178.7.  Валюх В.В. Сопоставительный анализ прологоподобных представлений естественно-профессиональных  языков.  //Актуальные  задачи лингвистики, лингводидактики и межкультурной коммуникации: сборник научных статей. – Ульяновск: УлГТУ, 2006 – C. 138-141.8. Валюх В.В. Формирование F-моделей в вопросно-ответной среде // Вузовская наука в современных условиях: тезисы докладов XL научно- технической конференции (30 января - 5 февраля 2006 года) / [отв. за вып. Н. А. Почкайло] ; Федеральное агентство по образованию, Ульян. гос. техн. ун-т. - Ульяновск: УлГТУ, 2006. – 187 с. – С.92.9.  Валюх В.В. Логико-лингвистические средства формализации требований в     концептуальном   проектировании   автоматизированных   систем   // Международная научная конференция «Информационно-математические технологии в экономике, технике и образовании»: тезисы докладов. – Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. – C. 149-150.10. V.V.Valyukh. Prerequisites of methods and means developments of design documents  texts  formalization  in  CAS  design  //  Interactive  Systems  andTechnologies: The Problems of Human - Computer Interaction. − Collection of scientific papers. − Ulyanovsk: UlSTU, 2007. − 270 p. – P. 260-262.11. Валюх   В.В.   Модели   формализации   требований   в   концептуальном проектировании        автоматизированных  систем  //   Вестник  УГТУ-УПИ№ 4(87) ГОУВПО УГТУ-УПИ, Екатеринбург, 2007. – C.65-69.

ПЕРЕЧЕНЬ ПРИНЯТЫХ СОКРАЩЕНИЙAc     – Associative constituentDFD            – Data Flow DiagramIEEE – Institute of Electrical and Electronics Engineers; ISO        – International Organization for Standardization;NetWIQA    – Net Working In Question Answering; Ob   – Object;Pr      – Predicate;QA           – Questing-Answering; RUP     – Rational Unified Process; Sb           – Subject;UML           – Unified Modeling Language; АС – автоматизированная система; БД            – база данных;БНФ   – Бэкуса-Наурова форма;ЕПЯ            – естественно-профессиональный язык;ЕЯ           – естественный язык;ПЕ      – предикативная единица; ПО  – программное обеспечение; ПП    – простой предикат;САПР  – системы автоматизации проектирования;