SYRCoSE 2014 The 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering

May 29-31, Saint Petersburg, Russia About SYRCoSE

Program Committee

SYRCoSE is a colloquium on software engineering targeted at young researchers (students, postgraduates, young PhDs, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops. In order to establish strong connection with software engineering industry, both research and industrial papers are allowed for submission. We hope that having researchers and practitioners together at the forum will contribute to narrowing the ever-existing gap between theory and practice and increase their mutual awareness of the developments made by others and problems each community is facing.

• Alexander K. Petrenko (Chair) – RUSSIA • Andrey N. Terekhov (Chair) – RUSSIA

Topics of Interest We are interested in original papers dealing with theory and/or applications of software engineering. The topics of interest include but are not restricted to: • • • • • • • • • • • • • • •

Software Development Processes Object-Oriented Analysis and Design Programming and Specification Languages Component-Based Software Distributed and Concurrent Software Requirements Engineering Visual Modeling Reengineering and Reverse Engineering Formal Methods Quality Assurance Software Safety and Security Testing, Verification, and Validation Hardware High-Level Design and Verification Software Development and Analysis Tools Software Engineering Education

Paper Submission We accept papers authored by students, PhD students or young researchers up to 35 years old. Researchers over this age limit are allowed as co-authors. Papers must be written and presented in English. We admit original papers of the following types:

• • • • • • • • • • • • • • • • • • • • • •

Jean-Michel Adam – FRANCE Sergey M. Avdoshin – RUSSIA Eduard A. Babkin – RUSSIA Svetlana I. Chuprina – RUSSIA Liliya Yu. Emaletdinova – RUSSIA Victor P. Gergel – RUSSIA Efim M. Grinkrug – RUSSIA Maxim L. Gromov – RUSSIA Vladimir I. Hahanov – UKRAINE Shihong Huang – USA Alexander S. Kamkin – RUSSIA Vsevolod P. Kotlyarov – RUSSIA Oleg R. Kozyrev – RUSSIA Daniel S. Kurushin – RUSSIA Roustam H. Latypov – RUSSIA Alexander A. Letichevsky – UKRAINE Alexander V. Lipanov – UKRAINE Irina A. Lomazova – RUSSIA Ludmila N. Lyadova – RUSSIA Vladimir A. Makarov – RUSSIA Tiziana Margaria – GERMANY Marek Miłosz – POLAND

• • • • • • • • • • • • • • • • • • • • • •

Alexey M. Namestnikov – RUSSIA Valery A. Nepomniaschy – RUSSIA Mykola S. Nikitchenko – UKRAINE Yuri S. Okulovsky – RUSSIA Elena I. Pavlova – RUSSIA Ivan I. Piletski – BELORUSSIA Vladimir Yu. Popov – RUSSIA Yury I. Rogozov – RUSSIA Rustam A. Sabitov – RUSSIA Nikolay V. Shilov – RUSSIA Ruslan L. Smelyansky – RUSSIA Valeriy A. Sokolov – RUSSIA Sergey M. Ustinov – RUSSIA Vladimir V. Voevodin – RUSSIA Dmitry Yu. Volkanov – RUSSIA Dmitry Yu. Volkanov – RUSSIA Mikhail V. Volkov – RUSSIA Nadezhda G. Yarushkina – RUSSIA Rostislav E. Yavorskiy – RUSSIA Nina V. Yevtushenko – RUSSIA Vladimir A. Zakharov – RUSSIA Sergey S. Zaydullin – RUSSIA

Organizing Committee • Igor G. Chernorutskiy (Chair, Professor, SPbSPU) • Alexander K. Petrenko (Chair, Professor, ISPRAS) • Tatyana N. Elamic (Secretary, SPbSPU) • Alexander S. Kamkin (Researcher, ISPRAS) • Vsevolod P. Kotlyarov (Professor, SPbSPU)

Invited Speakers

• Full Research Papers

• Bertrand Meyer (Professor of Software Engineering, ETH Zurich) • Kostya Serebryany (Software Engineer, Google Moscow)

presenting the accomplished research up to 12 pages length. Such papers do not have limits on co-authors except that at least one of the co-authors is a young researcher making the presentation at the colloquium.

Publication in “Programmirovanie”

• Research-in-Progress Reports which should contain an abstract describing a problem of interest and particular goals of the research, a description of related work with analysis of differences between the existing methods and the approach proposed by the author, a summary of results achieved and future work directions. The length of such papers should not exceed 6 pages. • Industrial Papers demonstrating novel or non-trivial applications of software engineering methods. Like full research papers, industrial papers should meet the requirement that at least one of the co-authors is a young person making the presentation at the colloquium. The length of industrial papers should not exceed 9 pages. Every paper regardless of its type will be reviewed by at least two members of the Program Committee, and authors will get the reviews together with the notification of acceptance or rejection. Papers should be written in double-column ACM/IEEE format: http://www.ieee.org/conferences_events/conferences/publishing/templates.html Paper submission system: https://www.easychair.org/conferences/?conf=syrcose2014

Important Dates Papers submission: Notification of acceptance: Camera-ready papers: Registration: Colloquium:

Selected SYRCoSE papers will be published in “Programmirovanie”, the well-known Russian journal founded in 1975 and devoted to problems in all areas of computer science: operating systems, compiler technology, software engineering, etc.

Colloquium Venue Saint Petersburg is a Russian city located on the Neva River at the head of the Gulf of Finland on the Baltic Sea. It was founded by the Tsar Peter the Great on May 27 1703. Saint Petersburg is Russia's second largest city after Moscow with 5 million inhabitants. Saint Petersburg is often described as a cultural capital of Russia. The Historic Centre of Saint Petersburg and Related Groups of Monuments constitute a UNESCO World Heritage Site. Saint Petersburg is also home to The Hermitage, one of the largest art museums in the world. SYRCoSE will be hosted by Saint Petersburg State Polytechnical University (SPbSPU), a recognized Russian and world-wide leader in the field of higher engineering and economic education. SPbSPU Web-Site: http://www.spbstu-eng.ru St. Petersburg Hotels: http://www.tripadvisor.ru/Hotels-g298507St_Petersburg_Northwestern_District-Hotels.html

Contacts April 1, 2014 April 30, 2014 May 10, 2014 May 15, 2014 May 29-31, 2014

Web-site: E-mail: Phone: Mobile: Fax:

http://syrcose.ispras.ru [email protected] +7 (495) 912 53 17 (4443) +7 (926) 134 78 86 (Alexander S. Kamkin) +7 (495) 912 15 24

Organized by Institute for System Programming of the Russian Academy of Sciences, Saint-Petersburg State University, Saint-Petersburg State Polytechnical University Supported by Intel, Google and Russian Foundation for Basic Research

SYRCoSE 2014

software engineering. The topics of interest include but are not restricted to: • Software Development Processes. • Object-Oriented Analysis and Design.

435KB Sizes 0 Downloads 270 Views

Recommend Documents

SYRCoSE 2014
Software Development and Analysis Tools. • Software Engineering Education. Paper Submission. We accept papers authored by students, PhD students or ...

[ March 13, 2014 ] [No. 30 s. 2014] CONSTITUTING THE 2014 ...
[ March 13, 2014 ] [No. 30 s. 2014] CONSTITUT ... HOOL REPAIR-REHAB UNDER SCHOOL MOOE FUND .pdf. [ March 13, 2014 ] [No. 30 s. 2014] CONSTITUT .

JUNE 2014
THE PEORIA CATHOLIC HIGH SCHOOL PARENT NEWSLETTER .... “Geniverse is free, web-based software for high school Biology that engages students in ...

Jun 2014
The Board selects Comerica Bank as its financial institution. b. The Board ... regulations as published in the MHSAA's BULLETIN and current. HANDBOOK and shall .... of a term note (the “Note”) which will be financed in compliance with the ...

December 2014
conversion of one isomer into another. (vii) The separation of liquid ... (vii) MAP of minimally processed foods. 5. (a) Discuss the functional properties and food.

2014. 02. March 2014.pdf
office would be able to build capacities at the. grassroots level. ... EDITORIAL STAFF. Sarah Bautista □ Maria Celina Bernardo .... March 2014.pdf. 2014. 02.

2014 - AnnualReports.com
The Galileo project and the social media platform have been embraced by employees, and project ... social media platform were implemented in fiscal 2014 and will continue to be ...... Operating leases. Finance leases. Total. 2015. 57.6. 0.6. 58.2. 20

June 2014
Term-End Examination. June, 2014. MVP -002 : PG ... (iii) Warehousing. (iv) Tariff Value. ... under this Act. (b) Discuss 3 categories of licences which were 3+2=5.

RAWSN 2014
International Workshop on RFID and Adaptive Wireless Sensor Networks: Mobility ... Radio Frequency Identification (RFID) technology enables the non-contact, ...

June 2014
BACHELOR OF COMPUTER APPLICATIONS. Cr). (PRE - REVISED) cr). Term-End Examination. June, 2014. CS- 74 : INTRODUCTION TO INTERNET.

2014 - AnnualReports.com
!ndigo Enrich Your Life, Chapters, !ndigo, Coles and indigo.ca are trade marks ... strong performing titles, this year was one in which we had no single breakout book. .... to high-needs elementary schools across the country through donations.

Jun 2014
Motion: BE IT RESOLVED that the Public School Academies of Detroit approves the agenda as presented and approves the Minutes from the April 17, 2014 ...

June 2014
1863. AFW-1(E)/BHDA-101/AFW-1(H). Total No. of Questions : 5+5]. [Total No. of Printed Nes 4. BACHELOR'S DEGREE PROGRAMME. Term-End Examination.

June 2014
some school level activities, which can be infused with this model. ... (741-.A-1-.74.fl t di-19114-14' c11. 3111.Tffi-dT (effectiveness). cRc;tiul f\R! MESE-062. 4 ...

June 2014
4. (b) Find the components of 0 under the usual metric. 2. (c) State Monotone Convergence Theorem. Verify the theorem for {fn) where fn : R —> R is defined by.

June 2014
CS-75 : INTRANET ADMINISTRATION. Time : 2 hours ... (a) What is WAP (Wireless Application 5 protocol) ? ... (c) What is Virtual Private Network ? Explain. 5.

December 2014
13-11 (Chow) IT N1111 "WE. 31-T471 fa-lk 3117 pit 41IIM #9417T. 7L- F. 4R.nr,fra af-d-rfff 71--k. -FT. 8. ralcil -14. HMO yi=f3xi+cit. 12. MW111 Gre2 t I 1:Tri rilr\IR.

June 2014
annual turnover of the company is around. Rs. 150 crores and its capacity ... the accident occurred during and in the course of employment, the Management ...

June 2014
CS-612 : PC SOFTWARE APPLICATION SKILLS. Time : 2 hours. Maximum Marks : 60 ... features of any one search engine. 4. (a) What is a Chart Wizard ?

June 2014
Jun 1, 2014 - (f) Tools for educational monitoring and evaluation. 4. Answer the following question in about. 600 words. Autonomy and accountability are like ...

RAWSN 2014
of new methodologies in this field with the aim of providing the participants with ... Energy management in wireless Sensor networks ... Program Chairs.

June 2014
Jun 1, 2014 - (f) Tools for educational monitoring and evaluation. 4. Answer the following question in about. 600 words. Autonomy and accountability are like ...

June 2014
1863. AFW-1(E)/BHDA-101/AFW-1(H). Total No. of Questions : 5+5]. [Total No. of Printed Nes 4. BACHELOR'S DEGREE PROGRAMME. Term-End Examination.

June 2014
4. (b) Find the components of 0 under the usual metric. 2. (c) State Monotone Convergence Theorem. Verify the theorem for {fn) where fn : R —> R is defined by.