OberonCore
https://forum.oberoncore.ru/

Официальные публикации
https://forum.oberoncore.ru/viewtopic.php?f=93&t=4195
Страница 1 из 2

Автор:  Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:02 ]
Заголовок сообщения:  Официальные публикации

Книги, статьи, доклады по теме и конкретным предметам. Каждая публикация в отдельном посте. Наверное, здесь же можно обсуждать.

Автор:  Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:04 ]
Заголовок сообщения:  Статья Лаптева 2010-го года

Сабж из сборника "ОС":
Вложение:

Автор:  Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:06 ]
Заголовок сообщения:  Статья о редакторе 2012-го года

Сабж из сборника "ОС":
Вложение:

Автор:  Валерий Лаптев [ Среда, 26 Декабрь, 2012 07:06 ]
Заголовок сообщения:  Re: Официальные публикации

Во про концепции среды немного расширено:
Цитата:
Более важными являются концепции реализации редактора кода и интегрированной среды, так как именно редактор кода определяет интерфейс с пользователем:
- среда должна поддерживать работу как с одномодульными, так и с многомодульными программами;
- среда должна обеспечивать простой и независимый от платформы механизм накопления программных компонент; в частности, с помощью этого механизма должны быть разработаны и включены в среду модули стандартной библиотеки;
- среда должна позволять набор кода программы как в русской, так и в английской лексике;
- среда должна обеспечивать возможность переключения лексики и синтаксиса языка программирования;
- переключение лексики и синтаксиса не должно приводить к повторному анализу кода программы;
- среда должна обеспечивать механизм добавления нового синтаксиса;
- среда должна обеспечивать невозможность изменения ключевых слов в коде;
- ошибки должны определяться в момент набора программы;
- редактор кода должен оперировать конструкциями языка и объектами программы;
- редактор должен обеспечивать при необходимости традиционные операции редактирования текста;
- ввод-вывод данных должен осуществляться в рамках среды без выхода в операционную систему.
- среда должна обеспечивать разработку системы помощи непосредственно в редакторе.
В настоящее время практически все эти концепции реализованы в рамках интегрирован-ной среды Semantic IDE.

Автор:  Владислав Жаринов [ Четверг, 27 Декабрь, 2012 05:49 ]
Заголовок сообщения:  Re: Официальные публикации

Ну что ж, здорово. :) Теперь можно развивать в направлении системы языков для построения систем из программ и инструкций (т.е. для машины и человека). :) Вот щас кое-что подкину на этот предмет...

Автор:  Владислав Жаринов [ Четверг, 27 Декабрь, 2012 05:51 ]
Заголовок сообщения:  О математической модели механизма Область

Смысл данного механизма фактически объясняет эта выдержка:
Вложение:
- где он так и называется... с прибавлением определения.
Замечу, что область определял независимо, поэтому изначально точного совпадения в синтаксисе не было. Это касается контактов. Их парность имеет смысл и согласно подходу Усова. Т.к. контакты могут представлять интерфейс области как единицы архитектурной компоновки. И тогда д.б. типизированы.

Автор:  Дмитрий Грачёв [ Четверг, 27 Декабрь, 2012 19:23 ]
Заголовок сообщения:  Re: Официальные публикации

Владислав Жаринов писал(а):
Ну что ж, здорово. :) Теперь можно развивать в направлении системы языков для построения систем из программ и инструкций (т.е. для машины и человека). :) Вот щас кое-что подкину на этот предмет...


Мы выбрали направление в сторону самоучителя.
Раз среда знает всё о действиях пользователя и может в любой момент времени их контролировать, оценивать и давать подсказки, то надо эту потрясающую возможность как можно скорее реализовать.

Автор:  Владислав Жаринов [ Четверг, 27 Декабрь, 2012 19:32 ]
Заголовок сообщения:  Re: Официальные публикации

Т.е. предполагается, что среда включает эти функции "из своего кода" в каждый проект как часть интерфейса его программ с оператором? Подобным образом кто-то, кстати, определял ББ-приложение... И тогда разработчик просто определяет разные ресурсы для специфических операций и объектов проекта - подсказок, критериев оценки?..

Автор:  Владислав Жаринов [ Четверг, 17 Январь, 2013 11:32 ]
Заголовок сообщения:  ДЛЯ ЧЕГО можно семантически редактировать

В этой книге, как можно видеть отсюда:
Вложение:
, есть и кое-какие основы технологической науки в целом, и некоторые вещи об ИТ. По сути, материал м.б. использован в двух взаимодополняющих назначениях:
    * поддержать семредактирование для произвольных предметок;
    * поддержать само семредактирование как деятельность (и обучение ему) на уровне технауки в целом.
При этом, разумеется, используется то, что автоматизация есть частная задача, а автоматизирующая техника - составная часть системы-решателя задачи общей...

Автор:  Владислав Жаринов [ Четверг, 17 Январь, 2013 11:59 ]
Заголовок сообщения:  КАК можно семантически редактировать

Здесь снова можно обратиться к Овчинникову:
Вложение:
- возможно, не во всём проработанно (о замечании Усова насчёт понимания системы проектов уже говорил)... но как рабочее определение, может, надо принять... с последующим развитием...

Автор:  Владислав Жаринов [ Четверг, 17 Январь, 2013 12:02 ]
Заголовок сообщения:  ЧТО можно получать семантическим редактированием

Опять же наиболее структурное из имеющихся источников здесь:
Вложение:
- и снова с оговорками...

Автор:  Владислав Жаринов [ Четверг, 17 Январь, 2013 15:26 ]
Заголовок сообщения:  Подход к формальному проектированию деятельности

В этой работе:
Вложение:
автор систематизировал свои результаты за несколько десятилетий. Как можно видеть, предлагается стройная система представлений, включающая обобщённую трактовку алгоритма, единство аппаратной и программной технических реализаций процессов. Так что можно даже выдвинуть какие-нибудь лозунги... вроде: "Белорусской школе логиков - слава!" или "Закревский - Батька всех проектировщиков деятельности!"... :) Однако возникают и вопросы - а всё ли так однозначно?..

Автор:  Владислав Жаринов [ Четверг, 17 Январь, 2013 16:16 ]
Заголовок сообщения:  Ещё о схемах в представлении деятельности

Ещё кое-что из Соболева:
Вложение:
- тоже касающееся систем процессов (параллельных алгоритмов, сетей работ). Интересны результаты автора, изложенные в п. 8.1.3. В частности, нужно подумать, как это соотносится с теми же схемами зависимостей единиц (когда они должны удовлетворять требованию ацикличности... например, в схемах модуляризации)?..

Автор:  Владислав Жаринов [ Суббота, 19 Январь, 2013 05:07 ]
Заголовок сообщения:  Семантика игр :)

В своё время известная работа:
Вложение:
могла бы послужить:
    * источником идей для учебных работ;
    * основой для развивающего обучения.
В частности, можно видеть конкретные направления реализации подхода "работать, играя". И вспоминается, что был у нас такой теоретик стратегии Владимир Трианадафил[л]ов. Его основные труды, которые оказались интересны штабистам множества стран, называются "Характер операций современных армий" и "Размах операций современных армий". Что созвучно системному подходу. И если взглянуть на сказанное про обучение со структурным редактором - то фактически задумано то же самое. Так что интересно было бы видеть такое методическое обеспечение. Где институционально даётся лишь базовое представление о "характере операций современных предприятий" (как систем, само собой :)). На примере систем, образуемых предметниками, аналитиками и разработчиками с АРМами семантического редактирования. А далее своевременно переходить к обучению кооперативному - не позже момента перехода от операций редактора к операциям предприятий как объектов автоматизации с его помощью. Когда показывается, что от изменения размаха и характера операций суть предприятия как системы не меняется... :) Ну а Шмелёв здесь завсегда подмогнёт... :)

Автор:  Владислав Жаринов [ Суббота, 19 Январь, 2013 07:56 ]
Заголовок сообщения:  Смысловое управление алгопроцессами :)

В своё время была предложена такая модель:
Вложение:
(см. прежде всего п. 4.3).
Интересна она тем, что показывает возможную реализацию "самомодификации таблиц команд" по Тьюрингу. Также, сопоставляя со взглядами Д. Дагаева на исполнение алгопроцессов, можно видеть, что точно также здесь вводится модель исполнимости. Точнее даже, наверное, Расторгуев рассматривает более общий случай... Видимо, м.б. приложено и для формирования механизма компоновки проектов по заданным критериям...

Автор:  Владислав Жаринов [ Понедельник, 04 Март, 2013 18:12 ]
Заголовок сообщения:  Пример системы учебных задач

В связи с сказанным в п. 3 здесь - пример "ансамбля":
Вложение:
- в данном случае уже готового.

Автор:  Владислав Жаринов [ Понедельник, 04 Март, 2013 18:27 ]
Заголовок сообщения:  О расцветке экрана

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

Кстати, можно посмотреть здесь: http://zx.oberon2.ru/forum/viewtopic.php?p=77#p77 - современный вариант на зелёном фоне (с учётом требования не единственного цвета знаков).

Ну а число категорий формата текста сильно сокращается, если переводить структуру в схемы/таблицы...

Автор:  Владислав Жаринов [ Пятница, 26 Апрель, 2013 11:13 ]
Заголовок сообщения:  Модели трансформационной деятельности

В одной клерикальной стране :) была такая обзорная работа по тому, как бы решать задачи, чтобы за заданное время выдал чего-нибудь - и всё:
Вложение:
- здесь введение в типы моделей проектной деятельности.
Основная часть книги содержит обзор разных методов, перечисленных в выдержке - понятие, анализ, применение на сквозном примере, иногда немного теории. Об этом и говорил здесь в связи с сетями работ.

Автор:  Валерий Лаптев [ Пятница, 26 Апрель, 2013 11:22 ]
Заголовок сообщения:  Re: Официальные публикации

Моя статья об одном подходе к оцениванию умений и навыков: http://astu.org/content/userimages/vest ... 3_1/24.pdf

Автор:  Info21 [ Пятница, 26 Апрель, 2013 18:04 ]
Заголовок сообщения:  Re: Официальные публикации

Неожиданно про энтропию.

Первая фраза в аннотации лишняя -- это большой грех, особенно у оберонщика :)

Страница 1 из 2 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/