Содержание журнала, редсовет, редколлегия, информация об обложке и о диске.

Table of contents, editorial board, editors, information on cover, information on CD.

Требования к статьям, подаваемым в журнал.

С ростом сложности компьютерных систем повышаются затраты на их поддержку и администрирование. Хотя это правило очевидно и давно всем известно, до определённого момента оно остаётся незамеченным. Современные программные комплексы, а в особенности высоконагруженные веб-проекты и другие распределённые компьютерные системы содержат большое число логических компонентов и физических узлов. Системному администратору, поддерживающему такой проект, необходимо отслеживать все происходящие в нём события, оперативно на них реагировать, зачастую в режиме 24/7. На каком-то этапе жизненного цикла проекта человек перестает справляться, поэтому появляется необходимость в автоматизации этих работ. В статье проводится краткий обзор подходов к решению указанной задачи и рассматривается мультиагентная система Cirrocumulus, предлагающая новый подход к администрированию сложных распределённых компьютерных систем.

With growth of computer systems, their administration and support costs also raise. It is an obvious and well-known rule, but it remains unnoticed until a certain moment. Modern software systems, in particular high-loaded web projects or other distributed systems, contain large number of logical and physical components. System administrator who supports such system, has to trace all occurring events, quickly react on them and sometimes do this in 24/7 mode. At some stage of the project a human becomes unable to manage such a complexity and need of some kind of automation arises. This article provides a brief overview of the approaches to solving this problem and describes multi-agent system Cirrocumulus, which offers a new approach to the administration of complex distributed computer systems.

Существует множество технологических средств построения анализаторов формальных языков, используемых при создании разного вида трансляторов языков программирования. Все они, в конечном счёте, основываются на КС-грамматиках с теми или иными ограничениями, частным случаем которых являются регулярные (автоматные) грамматики. Как правило, эти технологические средства обеспечивают лишь проверку соответствующих требований, предъявляемых к грамматике, и выдачу диагностических сообщений об их нарушениях, тогда как существует множество способов эквивалентных преобразований КС-грамматик, которые могут быть выполнены автоматически и дать грамматики, удовлетворяющие требованиям метода анализа. Цель этой статьи – описать способ исключения несамовставленных нетерминалов из КС-грамматик за счёт введения регулярных выражений в правые части правил грамматики. В предельном случае такая преобразованная грамматика включает единственное правило для начального нетерминала.

There is a variety of parser generators for formal languages being used during designing compilers for programming languages of different types. All of them are based on the use of context-free grammars with various restrictions, regular grammars being a special case. As a rule, they only check the requirements imposed on grammar, and issue diagnostic messages in case of their violation. The purpose of this article is to describe the way of eliminating all nonterminals from the non-self-embedding grammar that gives the equivalent regular expression as result.

Облачная платформа MS Azure предоставляет множество сервисов, которые позволяют разрабатывать производительные и надежные приложения. Управление этими сервисами производится из исходного кода облачного приложения, что приводит к проблеме «сквозной функциональности», когда реализация одной функции распределена по всему коду. Данная работа предлагает подход, который позволяет устранить этот недостаток.

The MS Azure cloud platform provides a set of services which allow to develop efficient and safe applications. Control of these services is made from the source code of cloud application that leads to a problem of «cross-cutting concerns» when implementation of one function is tangled on all code. This paper describes an approach which allows to remove this disadvantage.

В статье предложен подход к разработке системы поддержки геометрических задач, в которой описание задачи строится на специально разработанном предметно-ориентированном языке, так что алгоритм решения задачи, подготовленный в какой-либо системе динамической геометрии, может быть верифицирован на формальном описании задачи. Приведено сравнение данного подхода с другими, рассмотрен формат хранения задач на геометрическом предметно-ориентированном языке. Описание проиллюстрировано примерами задач.

The article presents an approach to the development of the system that supports geometric problems with the formal verification of their solution. This is achieved by the description of problems' statements with the specially developed domain-specific language that specifies a set of predicates that should hold for the construction made by a student. The system has two modules: teacher’s module and student’s module. Several examples of problems are presented.

Профессиональные стандарты
В работе анализируется состояние подготовки высококвалифицированных специалистов в области разработки программного обеспечения в России. Приводятся оценки числа студентов и школьников, имеющих потенциал для дополнительной целевой подготовки в области разработки программного обеспечения с целью подготовки высококвалифицированных специалистов в указанной области. Описываются учебно-методические и организационные подходы для построения национальной системы «школа – вуз – научные исследования – индустрия», обеспечивающей поиск, профориентацию и дополнительную подготовку способных в области разработки программного обеспечения и информатики студентов и школьников, а также результаты выполненного в 2011 году проекта «Подготовка и переподготовка ИТ-специалистов на базе центров образования и разработок в сфере информационных технологий», проведенного по решению Комиссии при Президенте Российской Федерации по модернизации и технологическому развитию экономики России.

In this paper the current state of training of highly qualified specialists in software engineering in Russia is analysed. The estimates of number of school and university students, who have a potential for additional training in software engineering are given. The education and organizational approaches for construction of a national system «school – university – research – industry» the aim of which is to support search, professional orientation and additional training of school and university students talented in programming and software engineering, are described as well as the results of the project «Training and retraining of IT specialists on the basis of educational and developmental centers in the area of IT» initiated by the decision of the Commission under the President of the Russian Federation on the modernization and technological development of Russian economy and fulfilled in 2011.

Программы обучения
В статье рассмотрены возможности облачных вычислений – современного подхода к вычислениям, базирующегося на использовании Web-сервисов и центров обработки данных. Описаны принципы преподавания облачных вычислений. Представлен Интернет-курс автора по наиболее распространенной системе облачных вычислений Microsoft Windows Azure.

The article covers cloud computing – a modern approach to computations based on using Web services and data centers. Principles of teaching cloud computing are discussed. An Internet course by the author on the most popular cloud computing system, Microsoft Windows Azure, is presented.