Wednesday, June 19, 2013
Friday, May 24, 2013
Презентация проекта по вовлечению студентов, аспирантов и молодых ученых "Виртуальное Сколково" в Костроме
22 мая в рамках Недели предпринимателя в Костроме прошел круглый стол «Развитие IT-технологий в Костромской области»
Ростислав Яворский, менеджер по связям с интернет-партнерами фонда "Сколково" презентовал проект по вовлечению студентов, аспирантов и молодых ученных "Виртуальное Сколково"
Иосиф Иткин, соучредитель компании "Инновационные Трейдинговые Системы" выдал очередной поток сознания про необходимость развивать ИТ образование в Костроме
http://smi44.ru/news/economy/razvitie-it-tekhnologiy-/
Saturday, April 27, 2013
Идите неровным прерывистым шагом (J. Bach)
Презентация: "A-Galumphing We Go – James Bach"
Презентация рассказывает о методе тестирования, который мы часто используем не задумываясь и дает ему название - Galumphing.
Galumphing - A style of test design and execution whereby inert variations in test procedure are used to find unanticipated and potentially important bugs (Метод проектирования и выполнения тестов при котором малозначительные изменения процедуры выполнения тестов используются для нахождения неожиданных и потенциально важных дефектов)
Цитаты:You insert variations that you think will not make any difference at all (Вы вносите изменения, про которые вы думаете, что они не на что не повлияют)
Testers are all about exploring the leaky abstractions called specifications (Тестировщики как раз и занимаются исследованием дырявых абстракций которые называются спецификациями
If you only have a push button you have to introduce complexity some other way (Если все что вам нужно сделать это нажать кнопку, значит вам придется внести сложность в каком-то другом месте
И ссылки: http://www.ministryoftesting.com/2013/04/testbash-video-a-galumphing-we-go-james-bach/
http://danashby04.wordpress.com/2013/03/27/lessons-learned-from-testbash2-0/
Презентация рассказывает о методе тестирования, который мы часто используем не задумываясь и дает ему название - Galumphing.
Galumphing - A style of test design and execution whereby inert variations in test procedure are used to find unanticipated and potentially important bugs (Метод проектирования и выполнения тестов при котором малозначительные изменения процедуры выполнения тестов используются для нахождения неожиданных и потенциально важных дефектов)
Цитаты:
И ссылки: http://www.ministryoftesting.com/2013/04/testbash-video-a-galumphing-we-go-james-bach/
http://danashby04.wordpress.com/2013/03/27/lessons-learned-from-testbash2-0/
Thursday, April 18, 2013
Инструменты и методы анализа программ, TMPA-2013
10-12 октября 2013 года в Костроме будет проходить международная научно-практическая конференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения.
Вопросы эффективности и корректности функционирования программного обеспечения являются ключевыми для большинства наукоемких отраслей современной экономики, включая ИТ-индустрию, финансовый сектор, транспорт, медицину, высокотехнологическую промышленность и многие другие. Разработка новых и усовершенствование существующих инструментов и методов анализа программ – одно из необходимых условий внедрения инноваций в этих отраслях.
Конференция нацелена на развитие индустрии разработки программного обеспечения и внедрение новейших разработок в области тестирования, анализа и верификации.
В рамках конференции планируются пленарные доклады и лекционные мини-курсы экспертов; доклады участников, отобранные программным комитетом из числа поступивших заявок; презентации открытых проектов, короткие сообщения, представляющие новые идеи, незавершенные исследования или новые инструменты.
Тематика конференции
Темы, рассматриваемые на конференции, включают (но не ограничиваются):- автоматизация тестирования программного обеспечения;
- статический анализ программ;
- верификация;
- динамические методы анализа программ;
- тестирование и анализ параллельных и распределенных систем;
- тестирование и анализ высоконагруженных систем и систем высокой доступности;
- анализ и верификация программно-аппаратных систем;
- методы создания качественного программного обеспечения;
- инструментальные средства анализа, тестирования и верификации.
Организаторы конференции
- Факультет автоматизированных систем и технологий, Костромской государственный технологический университет (ФАСТ КГТУ)
- Институт проблем информатики Российской академии наук (ИПИ РАН)
- Кафедра компьютерных систем и программных технологий института информационных технологий и управления Санкт-Петербургского государственного политехнического университета (КСПТ ИИТУ СПбГПУ)
- Компания «Инновационные Трейдинговые Системы» (ИТС)
Программный комитет конференции
- Захаров Виктор Николаевич, д.т.н., ИПИ РАН, со-председатель
- Ицыксон Владимир Михайлович, к.т.н., доцент кафедры компьютерных систем и программных технологий СПбГПУ, со-председатель
- Лустгартен Юрий Леонидович, к.т.н., декан ФАСТ КГТУ, со-председатель
- Басок Борис Моисеевич, к.т.н., доцент МИРЭА
- Глухих Михаил Игоревич, к.т.н., доцент, СПбГПУ;
- Иткин Иосиф Леонидович, компания Exactpro Systems, координатор
- Камкин Александр Сергеевич, к.ф.-м.н., с.н.с. ИСП РАН;
- Климов Андрей Валентинович, зав. сектором методов анализа и преобразования программ ИПМ им. М.В. Келдыша РАН;
- Кириленко Яков Александрович, старший преподаватель, МатМех СПбГУ;
- Кулямин Виктор Вячеславович, к.ф.-м.н., с.н.с. ИСП РАН, доцент ВМК МГУ;
- Моисеев Михаил Юрьевич, к.т.н., доцент, СПбГПУ;
- Пакулин Николай Витальевич, к.ф.-м.н., старший научный сотрудник ИСП РАН;
- Павлова Елена Анатольевна, к.т.н., координатор программ, Microsoft;
- Федосеев Андрей Алексеевич, к.т.н., в.н.с. ИПИ РАН;
- Филиппов Станислав Александрович, к.т.н., с.н.с. ИПИ РАН;
- Христочевский Сергей Александрович, к.ф.-м.н., зав. лаб. ИПИ РАН
- Цесько Вадим Александрович, старший разработчик, Яндекс
Организационный комитет конференции
- Киселев Михаил Владимирович (д.т.н., проф., проректор по научной работе КГТУ, председатель)
- Матвеева Елена Анатольевна (зав. аспирантурой и докторантурой КГТУ)
- Тихомиров Леонид Алексеевич (к.т.н, доцент, начальник Управления научно-инновационной деятельности КГТУ)
- Яворский Ростислав Эдуардович (Фонд «Сколково»)
- Ходченко Александра Сергеевна («Инновационные Трейдинговые Системы»)
Подача докладов
На конференцию принимаются конкурсные доклады на русском языке, объемом до 8 страниц, оформленные в соответствии с требованиями Lecture Notes in Computer Science (LNCS). Подробная информация об оформлении статей, в том числе представлены шаблоны для популярных текстовых процессоров и систем компьютерной верстки доступна по ссылке. В качестве примера оформления статей можно использовать следующий документ, содержащий описание требований к оформлению LNCS, представленное в виде статьи в формате LNCS.Участники конференции
Программный комитет предполагает, что основными участниками конференции будут студенты старших курсов, специализирующиеся в области разработки программного обеспечения, аспиранты и молодые ученые, заинтересованные в независимой экспертизе своих исследований, а также признанные ученые, готовые поделиться своими инновационными разработками. Организаторы заинтересованы в активном участии в конференции представителей ИТ-индустрии. Мы ожидаем интересных практических докладов от ведущих фирм-разработчиков программного обеспечения.Место проведения
Конференция будет проходить в Костромском государственном технологическом университете (КГТУ). Кострома – красивый старинный русский город, часть «Золотого кольца» России, расположенный на берегах Волги в 313 км к северу от Москвы. С 2010 года в городе активно развивается разработка инструментов и методов по анализу программ и комплексов высоконагруженных биржевых и трейдинговых систем. В 2011 году появился свой клуб тестировщиков. Вузы Костромской области активно работают над превращением города в один из центров разработки программного обеспечения.Ключевые даты
- 1 мая – начало приема заявок
- 1 июля – последний срок подачи статей.
- 24 августа – публикация списка принятых работ
- 10 сентября – предоставление финальных версий статей для публикации в сборнике
- 10-12 октября – рабочие дни конференции «TMPA-2013»
Контакты
Сайт конференции: www.tmpaconf.org E-mail: program@tmpconf.org Телефон: +7 495 640 2460 Группы в социальных сетях: Facebook ВКонтакте Google+ EXTENT Conference SeriesThursday, April 4, 2013
Cinnober whitepaper about Java
Located an interesting paper about Java from Cinnober, by accident:
http://www.cinnober.com/sites/cinnober.com/files/news/The-benefits-of-Java-white-paper-1.pdf
A Cinnober white paper
The benefits of using Java as a high-performance language for mission critical financial applications
Cinnober Financial Technology AB
Research & Technology, 8 October 2012
Cinnober’s practical experience from a decade of development
A Cinnober white paper
The benefits of using Java as a high-performance language for mission critical financial applications
Cinnober Financial Technology AB
Research & Technology, 8 October 2012
Cinnober’s practical experience from a decade of development
Анализ Результатов Нагрузочного Тестирования: Чурозавр и Холера
В рамкам Обнинского Семинара по Высоконагруженным Системам была прочитана лекция из серии Украденные Мысли: «Анализ Результатов Нагрузочного Тестирования: Чурозавр и Холера».
Лекция – перевод на русский язык и изложение своими словами, с добавлением национального колорита, выступлений John Rauser на конференциях Velocity Web Performance and Operations 2011 и 2012.
Рекомендуем послушать оригиналы на английском:
Рекомендуем послушать оригиналы на английском:
Tuesday, March 5, 2013
Subscribe to:
Posts (Atom)