Issue 2009 (3)


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

ISBN 978-5-91474-013-6

This issue contains papers presented at the Third Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2009) held in Moscow, Russia during May 28-29, 2009. The selection was based on peer reviewing by program committee. Both regular and research-in-progress papers were considered acceptable for this colloquium. The topics of the colloquium include compatibility and portability of software, graphical modeling, computer networks and telecommunication protocols, functional and performance testing, automata-based programming, and others.

Foreword

In this year Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE) observes the third anniversary. Certainly, three years are not too much for a conference, but in spite of the age SYRCoSE is a recognizable young researchers’ forum on software engineering. By tradition, colloquium takes two days at the end of spring, when the whether is usually sunny and, what is even more important, students are still in universities, not on summer vacation. During colloquium we try to create a friendly and well-wishing atmosphere that stimulates communication between participants and facilitates making new friends and scientific contacts.

SYRCoSE 2009 is hosted by State University Higher School of Economics (HSE), famous Russian university in the field of economics, business, and software engineering. The event is organized by Institute for System Programming of RAS (ISPRAS) and Saint-Petersburg State University (SPSU) jointly with HSE.

Program Committee has selected 25 papers that cover different topics of software engineering and computer science. Participants of SYRCoSE 2009 represents well-known universities, research institutes and IT companies such as Center “Bioengineering” of RAS, ISPRAS, Moscow Engineering Physics Institute (State University), Moscow State University, RSFLabs, Saint-Petersburg State Polytechnic University, SPSU, Saint-Petersburg State University of Information Technologies, Mechanics and Optics, Tomsk State University, and ZAO “EC-leasing”.

We would like to thank all participants of SYRCoSE 2009 and their advisors for very interesting papers. We thank PC members and reviewers for their hard work. In this year we involve our young colleagues for reviewing papers. Thus, colloquium can be called “Young Researchers’ and Young Reviewers’ Colloquium”. Finally, our special thanks to Prof. Sergey Avdoshin, chief of Software Engineering Department of HSE, for his invaluable help in organization of the colloquium.

See you next year at SYRCoSE 2010!
Alexander S. Kamkin, Alexander K. Petrenko and Andrey N. Terekhov
May 2009

Compatibility and Portability of Software

D. Silakov. Designing a Development Environment to Support Creation of Standard-Compliant Applications. pp, 7-16. DOI: 10.15514/SYRCOSE-2009-3-1. (Presentation)

P. Shved, D. Silakov. Binary Compatibility of Shared Libraries Implemented in C++ on GNU/Linux Systems. pp. 17-26. DOI: 10.15514/SYRCOSE-2009-3-2. (Presentation)

E. Novikov, D. Silakov. The Automated Analysis of Header Files for Support of the Standardization Process. pp. 27-34. DOI: 10.15514/SYRCOSE-2009-3-3. (Presentation)

V. Prus. The Boost.Build System. pp. 35-40. DOI: 10.15514/SYRCOSE-2009-3-4. (Presentation)

Graphical Modeling of Software

N. Voinov, V. Kotlyarov. Verification and Testing Automation of UML Projects. pp. 41-45. DOI: 10.15514/SYRCOSE-2009-3-5. (Presentation)

A. Karaulov, A. Strabykin. Constraint-base Optimizations of Executable UML Models. pp. 46-49. DOI: 10.15514/SYRCOSE-2009-3-6. (Presentation)

Y. Gubin, K. Timofeev, A. Shalyto. Creation of Automaton Classes from Graphical Models and Automatic Solution for Inverse Problem. pp. 50-55. DOI: 10.15514/SYRCOSE-2009-3-7. (Presentation)

Methods and Tools for Analysis and Optimization in Different Fields

A. Savelieva, S. Avdoshin. Modeling Security Threats to Cryptographically Protected Data. pp. 56-60. DOI: 10.15514/SYRCOSE-2009-3-8. (Presentation)

D. Shalymov, K. Skrygan, D. Lyubimov. Clustering Algorithms Meta Applier (CAMA) Toolbox. pp. 61-64. DOI: 10.15514/SYRCOSE-2009-3-9. (Presentation)

V. Suvorov. Dynamic Web-Components and Web Environment Behavior Analysis. pp. 65-67. DOI: 10.15514/SYRCOSE-2009-3-10. (Presentation)

M. Gromov, N. Kushik. Software Package for Optimizing Digital Circuits. pp. 68-70. DOI: 10.15514/SYRCOSE-2009-3-11. (Presentation)

Computer Networks and Telecommunication Protocols

K. Scherbakov. UDD Network Model for Time-Limited Data Storing. pp. 71-76. DOI: 10.15514/SYRCOSE-2009-3-12.

V. Klimashov. Robust Short Message Protocol. pp. 77-78. DOI: 10.15514/SYRCOSE-2009-3-13. (Presentation)

R. Dmitrienko. Telecommunication Protocols Development, Simulation and Code Generation Tool. pp. 79-81. DOI: 10.15514/SYRCOSE-2009-3-14. (Presentation)

Functional and Performance Testing

S. Smolov. Application of UniTESK Technology for Functional Testing of Infrastructural Grid Software. pp. 82-87. DOI: 10.15514/SYRCOSE-2009-3-15. (Presentation)

E. Kornikhin. Test Data Generation for LRU Cache-Memory Testing. pp. 88-92. DOI: 10.15514/SYRCOSE-2009-3-16. (Presentation)

B. Pozin, R. Giniyatullin, I. Galakhov, D. Vostrikov. Model-based Technology of Automated Performance Testing. pp. 93-103. DOI: 10.15514/SYRCOSE-2009-3-17.

Automata-Based Programming and Its Applications

K. Timofeev, A. Astafurov, A. Shalyto. Inheritance of Automata Classes Using Dynamic Programming Languages (using Ruby as an Example). pp. 105-108. DOI: 10.15514/SYRCOSE-2009-3-18. (Presentation)

E. Reshetnikov. Automata-based Programming in Visual Studio 2005: State Machine Designer Tool. pp. 109-113. DOI: 10.15514/SYRCOSE-2009-3-19.

E. Mandrikov, V. Kulev. Application of Automata-Based Programming for Construction of Business Processes Management Systems. pp. 114-115. DOI: 10.15514/SYRCOSE-2009-3-20.

A. Vladykin. Declarative Language for SAX Handler Definition. pp. 116-118. DOI: 10.15514/SYRCOSE-2009-3-21.

Application-Oriented Software Engineering

E. Pavlova. The Formal Approach to Computer Game Rule Development Automation. pp. 119-122. DOI: 10.15514/SYRCOSE-2009-3-22. (Presentation)

D. Tenchurin, M. Shatilov, S. Avdoshin. Information System of Scenario Strategic Planning. pp. 123-127. DOI: 10.15514/SYRCOSE-2009-3-23.

V. Rekubratskiy, M. Korotkova. Simulating Genes Operation and Interaction. pp. 128-131. DOI: 10.15514/SYRCOSE-2009-3-24. (Presentation)

A. Korotkov. Information System User Interfaces Automatic Creation. pp. 132-134. DOI: 10.15514/SYRCOSE-2009-3-25. (Presentation)