10 - 12 октября 2013 года в Костроме будет проходить международная научно-практическая конференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения.
Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики, включая ИТ-индустрию, финансовый сектор, транспорт, медицину, высокотехнологическую промышленность и многие другие.
Разработка новых и усовершенствование существующих инструментов и методов анализа программ – одно из необходимых условий внедрения инноваций в этих отраслях. Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов; доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты.
Темы, рассматриваемые на конференции, включают (но не ограничиваются):
- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Описание конференции
На конференции будут представлены как приглашенные доклады признанных специалистов в области программной инженерии, так и конкурсные доклады, прошедшие рецензирование несколькими независимыми экспертами. В качестве экспертов привлекаются ведущие российские и зарубежные ученые в области разработки и анализа программного обеспечения. Отобранные конкурсные доклады после доработки авторами будут опубликованы в сборнике конференции. Лучшие доклады будут рекомендованы к публикации в расширенном виде в изданиях, включенных в список ВАК РФ: «Системы и средства информатики» и «Научно-технические ведомости СПбГПУ. Информатика, телекоммуникации, управление». Оргкомитет предоставит авторам ряда отобранных статей помощь в переводе их на английский язык с целью обеспечения возможности публикации в зарубежных изданиях.
Авторы лучших докладов будут награждены памятными подарками. Оргкомитет организует бесплатное проживание для докладчиков конференции и транспорт для участников между Москвой и Костромой.
Организаторы конференции
- Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ: http://www.kstu.edu.ru/univer/faculty.php?id_k=3)
- Институт проблем информатики Российской академии наук (ИПИ РАН: www.ipiran.ru)
- Кафедра компьютерных систем и программных технологий института информационных технологий и управления Санкт-Петербургского государственного политехнического университета (КСПТ ИИТУ СПбГПУ: http://kspt.icc.spbstu.ru/)
- Компания «Инновационные Трейдинговые Системы» (ИТС: www.its-trading.ru)
Программный комитет конференции
- Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель
- Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и
программных технологий СПбГПУ, со-председатель
- Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель
- Басок Борис Моисеевич, к.т.н., доцент МИРЭА
- Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ;
- Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
- Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
- Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ
ИПМ им. М.В. Келдыша РАН;
- Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ;
- Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ;
- Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ;
- Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН;
- Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft;
- Федосеев Андрей Алексеевич, к.т.н., в.н.с. ИПИ РАН;
- Филиппов Станислав Александрович, к.т.н., с.н.с. ИПИ РАН;
- Христочевский Сергей Александрович, к.ф.-м.н., зав. лаб. ИПИ РАН
- Цесько Вадим Александрович, старший разработчик, Яндекс
Организационный комитет конференции
- Киселев Михаил Владимирович, д.т.н., проф., проректор по научной работе КГТУ,
председатель;
- Матвеева Елена Анатольевна, зав. аспирантурой и докторантурой КГТУ;
- Тихомиров Леонид Алексеевич, к.т.н, доцент, начальник Управления научно-инновационной
деятельности КГТУ;
- Яворский Ростислав Эдуардович, к.ф.-м.н., Фонд «Сколково»;
- Ходченко Александра Сергеевна, «Инновационные Трейдинговые Системы»
Программный комитет предполагает, что основными участниками конференции будут студенты старших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты и молодые ученые, заинтересованные в независимой экспертизе своих исследований, а также признанные ученые, готовые поделиться своими инновационными разработками.
Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мы ожидаем интересных практических докладов от ведущих фирм-разработчиков программного обеспечения.
Место проведения
Конференция будет проходить в Костромском государственном технологическом университете (КГТУ). Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на берегах Волги в 313 км к северу от Москвы.
С 2010 года в городе активно развивается разработка инструментов и методов по анализу программ и комплексов высоконагруженных биржевых и трейдинговых систем.
В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над превращением города в один из центров разработки программного обеспечения.
Ключевые даты
1 мая – начало приема заявок;
1 июля – последний срок подачи статей;
24 августа – публикация списка принятых работ;
10 сентября – предоставление финальных версий статей для публикации в сборнике;
10-12 октября – рабочие дни конференции «TMPA-2013».
Просмотреть элементы Flash страницы
2013-04-18 21:19
Всем привет. У меня поставлена задача автоматизировать флеш приложение, и столкнулась с проблемой иследования элементов на странице. Пробовала установить в FireFox плагины FlashInspector и Flashdebugger и постоянно выводится сообщение от Flash Player и спрашивает Where is the debugger or host application running? Нашла решение http://www.lancelhoff.com/where-is-the-debugger-or-host-application-runnin/ но теперь плагины не работают. Кто сталкивался с такой проблемой? Возможно есть еще какие-то способы иследовать код страницы.
Спасибо за ответ.
Возможно ли в языке AutoIt записать клип типа Record and Playback?
Заранее благодарна за ответы
Изготовление и размешение контекстной рекламы в Yandex и Google
2013-04-19 07:56
Настройка и ведение рекламной кампании в течение 2 недель - бесплатно.
Клиент платит только рекламный бюджет, минимальный бюджет в период тестирования 1 900 рублей.
Туда входит 200 целевых клиентов на Ваш сайт.
После чего будет действовать месячное обслуживание.
И мы будем оптимизировать вашу рекламную кампанию и уменьшать стоимость.
Раскрутка сайта.
shesterikovgerman@yandex.ru
+7 (342) 202-07-74 http://advertisingyou.ru/