Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

ISBN 978-5-91474-015-0

The issue contains the papers presented at the 4th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2010) held in Nizhny Novgorod, Russia on 1st and 2nd of June, 2010. Paper selection was based on a competitive peer review process being done by the program committee. Both regular and research-in-progress papers were considered acceptable for the colloquium. The topics of the colloquium include software development methods and tools, functional testing and formal verification, telecommunication software, high-performance computing, software engineering education, and others.

Foreword

We are glad to welcome you to the 4th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE). This year we have the pleasure of holding SYRCoSE in Nizhny Novgorod, an important economic, transport and cultural center of the Russian Federation. The colloquium is hosted by Lobachevsky State University of Nizhny Novgorod (UNN) and State University – Higher School of Economics (HSE), famous Russian educational and research centers. The event is organized by Institute for System Programming of RAS (ISPRAS) and Saint-Petersburg State University (SPSU) jointly with UNN and HSE.

Program Committee has selected 33 papers that cover different topics of software engineering and computer science. Each submitted paper has been reviewed independently by two or three referees. Participants of SYRCoSE 2010 represent well-known universities, research institutes and IT companies such as HSE, Institute for Information Transmission Problems of RAS, ISPRAS, Lanit-Tercom, Inc., MeraLabs, Moscow State University, National Research Nuclear University “MEPhI”, Saint-Petersburg State Polytechnic University, SPSU, Saint-Petersburg State University of Information Technologies, Mechanics and Optics, Special Computing Technologies LLC, Tomsk State University, UNN, Vladimir State University, and Yaroslavl Demidov State University.

We would like to thank all the participants of SYRCoSE 2010 and their advisors for interesting papers. We are also very grateful to the PC members and the external reviewers for their hard work on reviewing the papers and selecting the program. Our thanks go to the invited speakers, Tiziana Margaria (University of Potsdam) and Aleksey Savateyev (Microsoft). We would also like to thank our sponsors, Russian Foundation for Basic Research (grant 10-07-06025-г) and Microsoft Research (in particular, Rostislav Yavorskiy). Finally, our special thanks to Prof. Eduard Babkin (HSE), Prof. Victor Gergel (UNN), and Prof. Oleg Kozyrev (HSE) for their invaluable help in organizing the colloquium in Nizhny Novgorod.

See you next year at SYRCoSE 2011!

Sincerely yours
Alexander S. Kamkin, Alexander K. Petrenko and Andrey N. Terekhov
May 2010

Software Development Methods, Technologies and Tools

D. Silakov. Informational System to Support Development and Usage of Linux Interface Standards. pp. 9-16. DOI: 10.15514/SYRCOSE-2010-4-1. (Presentation)

E. Chernov. Universal System for Creation and Installation Linux Packages. pp. 17-19. DOI: 10.15514/SYRCOSE-2010-4-2. (Presentation)

I. Ruchkin, V. Prus. Single-Window Integrated Development Environment. pp. 20-25. DOI: 10.15514/SYRCOSE-2010-4-3.

V. Gergel, A. Sidnev. Macromodule Technology. pp. 26-28. DOI: 10.15514/SYRCOSE-2010-4-4.

V. Gingina. On Requirements Completeness Analysis Method. pp. 29-32. DOI: 10.15514/SYRCOSE-2010-4-5. (Presentation)

V. Surpin. An Approach to Data Validation Based on Lifecycle-Bounded Metadata. pp. 33-36. DOI: 10.15514/SYRCOSE-2010-4-6.

Functional Testing of Software Systems

A. Zakonov, O. Stepanov, A.Shalyto. A GA-Based Approach for Test Generation for Automata-Based Programs. pp. 37-42. DOI: 10.15514/SYRCOSE-2010-4-7.

E. Kostychev, V. Omelchenko, S. Zelenov. Test Data Generation for Covering Functionality of Database Applications. pp. 43-49. DOI: 10.15514/SYRCOSE-2010-4-8. (Presentation)

Y. Gerlits. Testing AJAX Functionality with UniTESK. pp. 50-57. DOI: 10.15514/SYRCOSE-2010-4-9. (Presentation)

V. Fedotov. Service-Oriented Approach to Integration Testing in Distributed Systems. pp. 58-59. DOI: 10.15514/SYRCOSE-2010-4-10.

High-Performance Computing

A. Emelyanov, R. Dmitrienko. GPU-Based Extended Cellular Model Implementation. pp. 60-62. DOI: 10.15514/SYRCOSE-2010-4-11.

A. Labutina, V. Gergel. ParaLab – Visual Way to Parallel Programming. pp. 63-68. DOI: 10.15514/SYRCOSE-2010-4-12.

A. Gavrilov. A DSL for Hardware-Accelerated Grid-Based Scientific Models. pp. 69-73. DOI: 10.15514/SYRCOSE-2010-4-13.

Event-Driven Simulation

E. Chemeritskiy, K. Savenkov. Formalization and Enforcement of Requirements to Modular Discrete-Event Simulation Runtime. pp. 74-80. DOI: 10.15514/SYRCOSE-2010-4-14.

Telecommunication Software Development and Testing

A. Veselov, V. Kotlyarov. Testing Automation of Projects in Telecommunication Domain. pp. 81-86. DOI: 10.15514/SYRCOSE-2010-4-15.

N. Pakulin, A. Tugaenko. Test Suite Development for Conformance Testing of Email Protocols. pp. 87-91. DOI: 10.15514/SYRCOSE-2010-4-16. (Presentation)

M. Alekseeva, E. Dashkova, D. Chaly. Modeling and Analysis of WAP Protocol Family. pp. 92-96. DOI: 10.15514/SYRCOSE-2010-4-17.

Formal Methods for Verification and Test Generation

A. Klebanov. On the Formal Specification of Automata-based Programs via Specification Patterns. pp. 97-99. DOI: 10.15514/SYRCOSE-2010-4-18.

P. Shved. On Reasoning About Finite Sets in Software Model Checking. pp. 100-105. DOI: 10.15514/SYRCOSE-2010-4-19. (Presentation)

V. Mutilin. On Context Switch Upper Bound for Checking Linearizability. pp. 106-112. DOI: 10.15514/SYRCOSE-2010-4-20. (Presentation)

M. Gromov, O. Kondratjeva. Observable Form of a Timed Finite State Machine. pp. 113-115. DOI: 10.15514/SYRCOSE-2010-4-21.

A. Nikitin, N. Kushik. On EFSM-based Test Derivation Strategies. pp. 116-119. DOI: 10.15514/SYRCOSE-2010-4-22.

Hardware Design and Verification

S. Bykov, S. Mosin. Comparing GALS Architectures and Communicational Protocols. pp. 120-122. DOI: 10.15514/SYRCOSE-2010-4-23.

P. Parnevich, S. Mosin. Strategy of Selecting Power Reduction Technique for Energy-Efficient Semiconductor Designs. pp. 123-124. DOI: 10.15514/SYRCOSE-2010-4-24.

M. Chupilko, A. Kamkin. Contract Specifiaction of Hardware Designs at Different Abstraction Levels: Application to Functional Verification. pp. 125-129. DOI: 10.15514/SYRCOSE-2010-4-25.

A. Kamkin, D. Vorobyev. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. pp. 130-135. DOI: 10.15514/SYRCOSE-2010-4-26. (Presentation)

Analysis and Optimization in Different Fields

A. Korotkov. Database Index for Approximate String Matching. pp. 136-140. DOI: 10.15514/SYRCOSE-2010-4-27.

F. Borisyuk, V. Shvetsov. Adaptation of Hierarchical Clustering by Areas for Automatic Construction of Electronic Catalogue. pp. 141-145. DOI: 10.15514/SYRCOSE-2010-4-28. (Presentation)

A. Shalimov. The Method of Programs Compression based on the Frequency Characteristics of Programs Behaviour. pp. 146-150. DOI: 10.15514/SYRCOSE-2010-4-29.

A. Logvinov, A. Ponomarenko, V. Krylov, Yu. Malkov. Metrized Small World Approach for Nearest Neighbor Search. pp. 151-156. DOI: 10.15514/SYRCOSE-2010-4-30.

Software Safety and Security

D. Yefremov, P. Iakovenko. An Approach to on the Fy Activation and Deactivation of Virtualization-Based Security Systems. pp. 157-161. DOI: 10.15514/SYRCOSE-2010-4-31. (Presentation)

Software Engineering Education

E. Sorokin, K. Kornyakov. The Modern Educational Course on Agile Software Development. pp. 162-164. DOI: 10.15514/SYRCOSE-2010-4-32.

O. Maksimenkova, V. Podbelskiy. Programming as a Part of the Software Engineering Education. pp. 165-169. DOI: 10.15514/SYRCOSE-2010-4-33.