Issue 2012 (6)


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

ISBN 978-5-91474-019-8

The issue contains the papers presented at the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2012) held in Perm, Russia on 30th and 31st of May, 2012. 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 technologies, programming languages, testing and verification of computer systems, analysis of programs, information systems, image and video processing and others.

Foreword

Dear participants, we are glad to meet you at the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE). This year’s event is held in Perm, a major administrative, industrial, scientific, and cultural center. The colloquium is hosted by the Perm branch of National Research University – Higher School of Economics (NRU HSE), one of the most prestigious universities in Russia. SYRCoSE 2012 is organized by Institute for System Programming of the Russian Academy of Sciences (ISPRAS) and Saint-Petersburg State University (SPbSU) jointly with NRU HSE.

Over the past years, Software Engineering (SE) has becoming a more mature scientific and technical discipline. However, being rapidly developed (as many others computer-related fields of knowledge), it cannot clearly identify its methods, object(s) of research and relation with other disciplines. Thus, in particular, it is not easy to determine a particular domain of some SE research. Such “fuzziness” has a certain influence on conferences and workshops on SE and information technologies in whole. SYRCoSE is not an exception. These proceedings contain not only papers on software development and analysis (SE in a restricted sense), but application-specific works as well (e.g., image processing and data mining).

In this year, Program Committee (consisting of 35 members from 22 organizations) has selected 40 papers. Each submitted paper has been reviewed independently by two or three referees. Participants of SYRCoSE 2012 represent well-known universities and research institutes such as A.P. Ershov Institute of Informatics Systems of RAS, Donetsk National Technical University (Ukraine), ISPRAS, Moscow Institute of Physics and Technology, Moscow State University, Novosibirsk State University, NRU HSE, NRU Saint-Petersburg State Polytechnical University, NRNU “MEPhI”, Perm State National Research University, Russian-Armenian (Slavonic) University (Armenia), SPbSU, Saint-Petersburg NRU of Information Technologies, Mechanics and Optics, Taganrog Institute of Technology of Southern Federal University, Tomsk State University, Ural Federal University, Ural State University, Vladimir State University and Yaroslavl Demidov State University (3 countries, 11 cities and 19 organizations).

We would like to thank all the participants of SYRCoSE 2012 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, Prof. Peter Gorm Larsen (Aarhus University, Denmark) and Prof. Nadezhda Yarushkina (Ulyanovsk State Technical University). We would also like to thank our sponsors, Russian Foundation for Basic Research (grant 12-07-06018-г), Microsoft Research, ICS and Prognoz. Finally, our special thanks to Galina Volodina (Director of NRU HSE – Perm), Valery Arkhipov (Deputy Director of NRU HSE – Perm), Lyudmila Lyadova and Vasilisa Korchagina for their invaluable help in organizing the colloquium in Perm.

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

Invited Papers

P. G. Larsen, J. W. Coleman, J. Fitzgerald. Getting Software Engineering out of Isolation. pp. 9-15. DOI: 10.15514/SYRCOSE-2012-6-INV-1.

N. Yarushkina. Time Series Analysis by Soft Computing Methods. pp. 16-20. DOI: 10.15514/SYRCOSE-2012-6-INV-2.

Software Development Technologies

Yu. Rogozov, A. Degtyarev. Meta-Model and Platform for Quickly Build Software Applications. pp. 21-27. DOI: 10.15514/SYRCOSE-2012-6-1.

M. Kustov, B. Guban, N. Datsun. Application of SADT for Source Code Generation in Learning the Programming Fundamentals. pp. 28-33. DOI: 10.15514/SYRCOSE-2012-6-2.

I. Polotnyanschikov, A. Zalogova. Technology for Creating 3D Realtime Applications in Android OS. pp. 34-37. DOI: 10.15514/SYRCOSE-2012-6-3.

Programming and Modeling Languages

R. Idrisov. Sisal: Parallel Language Development. pp. 38-41. DOI: 10.15514/SYRCOSE-2012-6-4.

A. Sukhov, L. Lyadova. MetaLanguage: a Tool for Creating Visual  Domain-Specific Modeling Languages. pp. 42-53. DOI: 10.15514/SYRCOSE-2012-6-5.

A. Akinin, A. Zubkov, N. Shilov. New Developments of the Computer Language Classification Knowledge Portal. pp. 54-58. DOI: 10.15514/SYRCOSE-2012-6-6.

Testing and Monitoring of Computer Systems

A. Zakonov, A. Shalyto. Generating Test Cases With High Branch Coverage for Web Applications. pp. 59-63. DOI: 10.15514/SYRCOSE-2012-6-7.

A. Kamkin, A. Tatarnikov. MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors. pp. 64-69. DOI: 10.15514/SYRCOSE-2012-6-8.

V. Fedotov. Run-Time Monitoring for Model-Based Testing of Distributed Systems. pp. 70-74. DOI: 10.15514/SYRCOSE-2012-6-9.

B. Tyutin, I. Nikiforov, V. Kotlyarov. Distributed Testing of Multicomponent Systems. pp. 75-78. DOI: 10.15514/SYRCOSE-2012-6-10.

Static Verification and Symbolic Computations

S. Shershakov, I. Lomazova. An SDVRP Platform Verification Method for
Microprocessor-Based Systems Software
. pp. 79-84. DOI: 10.15514/SYRCOSE-2012-6-11.

V. Mutilin, M. Mandrykin. Instantiation-Based Interpolation for Quantified Formulae in CSIsat. pp. 85-93. DOI: 10.15514/SYRCOSE-2012-6-12.

D. Zorin, V. Podymov. Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems. pp. 94-101. DOI: 10.15514/SYRCOSE-2012-6-13.

D. Buzdalov. Enhancement of Automated Static Verification Efficiency Through Manual Quantifiers Instantiation. pp. 102-104. DOI: 10.15514/SYRCOSE-2012-6-14.

I. Medvedev, Yu. Okulovsky. Symbolic Computations in .NET Framework. pp. 105-108. DOI: 10.15514/SYRCOSE-2012-6-15.

Computer Networks and Telecommunication Protocols

A. Sivov, V. Sokolov. The Bufferbloat Problem and TCP: Fighting with Congestion and Latency. pp. 109-114. DOI: 10.15514/SYRCOSE-2012-6-16.

M. Zhigulin, S. Prokopenko, M. Forostyanova. Detecting Faults in TFTP Implementations using Finite State Machines with Timeouts. pp. 115-118. DOI: 10.15514/SYRCOSE-2012-6-17.

M. Kislyakov, S. Mosin. Formalization of Initial Requirements for the Design of Wireless Sensor Networks. pp. 119-121. DOI: 10.15514/SYRCOSE-2012-6-18.

Computer Science

L. Dvoryansky, D. Frumin. On Temporal Properties of Nested Petri Nets. pp. 122-126. DOI: 10.15514/SYRCOSE-2012-6-19.

I. Romanov, I. Lomazova. Checking Service Compatibility via Resource Conformance. pp. 127-129. DOI: 10.15514/SYRCOSE-2012-6-20.

A. Gerasimov. Elaborating on the Alias Calculus. pp. 130-133. DOI: 10.15514/SYRCOSE-2012-6-21.

Ya. Borcheninov, Yu. Okulovsky. Internal and Online Simplification in Genetic Programming: an Experimental Comparison. pp. 134-138. DOI: 10.15514/SYRCOSE-2012-6-22.

Dynamic Analysis of Programs

A. Sedov. Execution Analysis of ARPC Programs in the Environment of the Recursive Parallel Programming. pp. 139-143. DOI: 10.15514/SYRCOSE-2012-6-23.

E. Chemeritskiy. Towards a HLA-Based Hardware-In-the-Loop Simulation Runtime. pp. 144-150. DOI: 10.15514/SYRCOSE-2012-6-24.

K. Tsirunyan, V. Martirosyan, A. Tsyvarev. The Spruce System: Quality Verification of Linux File Systems Drivers. pp. 151-156. DOI: 10.15514/SYRCOSE-2012-6-25.

M. Ryndin. Deterministic Replay of Program Execution Based on Valgrind Framework. pp. 157-159. DOI: 10.15514/SYRCOSE-2012-6-26.

G. Kolevatov, E. Zamyatina. Simulation Analysis Framework Based on TRIAD.NET. pp.160-163. DOI: 10.15514/SYRCOSE-2012-6-27.

Information Systems and Data Mining

Yu. Rogozov, A. Sviridov, S. Kucherov. Meta-Database for the Information Systems Development Platform. pp. 164-171. DOI: 10.15514/SYRCOSE-2012-6-28.

E. Boytsov, V. Sokolov. The Problem of Creating Multi-Tenant Database Clusters. pp. 172-177. DOI: 10.15514/SYRCOSE-2012-6-29.

I. Kirilenko, E. Baranov. Automation of QA in the Project of DB Migration from SQL Server into Oracle. pp. 178-181. DOI: 10.15514/SYRCOSE-2012-6-30.

G. Sokolov, V. Lanin. One Approach to Document Semantic Indexing Based on Multi-Agent Paradigm. pp. 182-185. DOI: 10.15514/SYRCOSE-2012-6-31.

V. Bessonov, V. Lanin. One Approach to Metadata Inclusion in Electronic Documents. pp. 186-190. DOI: 10.15514/SYRCOSE-2012-6-32.

V. Gromov, S. Avdoshin. Data Mining Techniques in Real-Time Marketing. pp. 191-193. DOI: 10.15514/SYRCOSE-2012-6-33.

Image and Video Processing

M. Osechkina, Yu. Litvinov, T. Bryksin. Multistroke Mouse Gestures Recognition in QReal metaCASE Technology. pp. 194-201. DOI: 10.15514/SYRCOSE-2012-6-34.

E. Olenuk, M. Gromov. Novel Heuristics for Deconvolution Applied to Picture Deblurring. pp. 202-205. DOI: 10.15514/SYRCOSE-2012-6-35.

Application-Specific Methods and Tools

S. Chuprina, T. Osotova. A Semiotic Approach to the Intelligent Chinese CALL System Development. pp. 206-212. DOI: 10.15514/SYRCOSE-2012-6-36.

A. Orlov, S. Avdoshin. Scheduling Problem Solutions in Transport Enterprises. pp. 213-219. DOI: 10.15514/SYRCOSE-2012-6-37.

E. Kalashnikov. EnergoWatcher – The Platform for Creating Adaptable Energy Monitoring Systems. pp. 220-223. DOI: 10.15514/SYRCOSE-2012-6-38.

G. Chudinov, E. Zamyatina. Development Experience of Ore Extraction and Traffic Simulation System in Potash mines – Bundled Software “Рудопоток”. pp. 224-226. DOI: 10.15514/SYRCOSE-2012-6-39.

D. Kobyakova, S. Avdoshin. Research of Methods for Constructing Message-Passing Interprocess Communication Based System for  Railroad Situation Analysis. pp. 227-230. DOI: 10.15514/SYRCOSE-2012-6-40.