Моделирование и анализ информационных систем

Расширенный поиск

SYRCoSE 2020

SYRCoSE 2020
Spring/Summer Young Researchers’ Colloquium on Software Engineering
May 28-30, Saint Petersburg, Russia

SYRCoSE is a colloquium on software engineering targeted at young researchers (students, postgraduates, and young PhDs). 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.
Topics of Interest
We are interested in original papers on 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
• Mathematical Cybernetics and Algebraic Theory of Discrete Systems
• Mathematical Modeling of Complex Systems
• Big Data in Education: Algorithms, Technologies, and Prospectives