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

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

Предложены методы применения аспектно-ориентированного программирования для задач безопасности в ASP.NET-приложениях, таких как: аутентификация, авторизация, олицетворение, защита от Cross-Site Scripting атаки, инструментирование ASP.NET приложений для безопасности. Разработаны аспекты безопасности для ASP.NET-приложений в системе Aspect.NET. Проанализированы эффективность и производительность применения этих аспектов в ASP.NET-приложениях.

Methods of application of aspect-oriented programming for security tasks in ASP.NET-applications, such as: authentication, authorization, impersonation, Cross-Site Scripting attacks protection, instrumenting ASP.NET-applications for security, are suggested. Security aspects for ASP.NET-applications in Aspect.NET system are developed. Efficiency and productivity of application of these aspects in ASP.NET-applications are analyzed.

В работе рассматривается технология контрактного проектирования (Design-by-Contract), предлагающая систематический подход к спецификации и реализации классов и их взаимосвязей в программной системе. Исследуются преимущества использования технологии с точки зрения повышения надежности программного обеспечения. Для поддержки технологии предлагается использовать методологию аспектно-ориентированного программирования. Приведены основные принципы спецификации контрактов и примеры их реализации с помощью аспектов в системе Aspect.NET.

The article deals with Design-by-Contract technology which provides a systematic approach to specifying and implementing object-oriented software elements. Advantages of the technology with a view to software reliability are discussed. Aspect-Oriented Programming methodology is reviewed and proposed as a method for Design-by-Contract support. Basic concepts of specifying contracts are stated and examples are provided on how to implement contracts by the use of aspects in Aspect.NET system.

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

Based on analysis of the history of programming languages papers [3,5] conclude that language-oriented approach may become the next step in the evolution of programming languages, and significantly improve productivity and quality of software development. The paper identifies common features of existing methods of language-oriented approach usage, and based on an analysis of their shortcomings presents a new method of application of the approach. An example of a system that uses a domain-specific language is presented. The language is used to enable teachers that are not skilled in programming to formalize complex statements of geometric problems.

В статье рассматриваются различные прикладные задачи, связанные c необходимостью оценки параметров поведения определенных групп на основе гранулярных данных (и более широко – гранулярных знаний). Кроме того, описываются проблемы, возникающие при попытке представить и обработать такие данные и знания в интеллектуальных системах, обозначены возможные пути решения указанных проблем. Также в статье перечисляются исследовательские задачи, стоящие в рассматриваемой области.

The paper considers applied computer science problems related to estimating socially significant behavior parameters in case of initial data or knowledge granularity. The computational and methodological issues arise in intelligent systems that represent and process such data and knowledge are discussed. Several approaches to the issues elimination are proposed. The paper also introduces open research questions related to modeling and estimating the considered type of behavior.

Статья посвящена описанию процесса оценки результатов решений задач в системе DCES (Distance Competitive Educational System), позволяющей проводить удаленные соревнования и тестирования с автоматизированной проверкой решений задач и автоматическим подведением итогов соревнований. Оценка решений участников происходит в четыре этапа: объективная оценка решения, перенос информации в таблицу результатов, вычисление окончательных результатов, сортировка участников. Для каждого этапа описаны происходящие процессы и возможности по их настройке.

The paper discusses the evaluation of problems solutions in the DCES System (Distance Competitive Educational System). The system is used to handle distance competitions and tests with the automated solutions checking and automated obtaining of results. Evaluation of participant solutions occurs in four steps: an objective assessment, information transfer to the results table, the overall results summarization, sorting of participants. Each step with all the possibilities to configure it is described.

В статье описывается программная платформа для создания манипуляторов по проекту «Школа КИО», который связан с организацией среды для интерактивного знакомства школьников с основными алгоритмами дискретной математики. Рассматриваются основные принципы работы манипуляторов, их алгоритмическое представление и архитектура всей системы в целом. Описаны полученные результаты, пути внедрения и перспективы развития.

The article describes a software framework for the CTE-School project. The objectives of the project consist in creating interactive school tools for distance learning discrete mathematics algorithms. The main principles of all the tools operation as well as their algorithmic representation and the architecture of the whole system are explained. The main actors of the tools development process are listed. The project results, perspectives and the guidelines for its implementation are also described.

В статье представлена важная информация о возможном участии отечественных ученых в Седьмой рамочной программе (FP7) ЕС. Информационно-коммуникационные технологии являются одной из ключевых тем FP7, в рамках которой финансируются исследование стран Европы и их партнеров в течение 2007-2013 г.г.. Авторы статьи представляют проект ИСТОК-СОЮЗ, который создан для оказания практической поддержки потенциальным партнерам с целью максимизировать возможности для потенциального сотрудничества и увеличить число совместных проектов FP7 между ЕС и организациями EECA, объяединяющей пять стран (Россия, Белоруссия, Украина, Армения и Казахстан).

The article gives key information for participation of Russian scientists in EU's Seventh Framework Programme (FP7). ICT research is one of the key themes of the FP7 for Research and Technological Development, which will fund research across Europe from 2007-2013. The article authors present the ISTOK-SOYUZ project which intends to provide hands-on support to potential partners in order to maximize chances for potential collaboration and to increase the number of joint FP7 projects between the EU and EECA organizations from five targeted countries (Russia, Belarus, Ukraine, Armenia and Kazakhstan).