OberonCore https://forum.oberoncore.ru/ |
|
Источники по семантическому/структурному редактированию https://forum.oberoncore.ru/viewtopic.php?f=93&t=4196 |
Страница 1 из 1 |
Автор: | Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:07 ] |
Заголовок сообщения: | Источники по семантическому/структурному редактированию |
Вот встретилась надобность подообрать источники. Помещаю результат и сюда - может, кому будет интересно. Имеется также в виду, что и перспективному форуму не помешает. Да и будущее, когда пространство общения д.б. разделено, всё более реально ("коммунизм - не за горами" ((С) Армянское радио) ). И будет три конференции, возможно, ходящих к друг другу в гости (главное, чтобы не "стреляющих в другдруга" ). Так что здесь отчасти "собраны в кулак" источники, уже представленные разными участниками нынешнего пространства. А отчасти - то, что даже и не представлялось в рунете, возможно... И по существу. "Редактирование" понимается как синоним процесса моделирования/формализации. Ну или как говорит Дмитрий_ВБ на драконсу, разработки И документирования. Далее, можно сколько угодно бодаться по поводу, что лучше - институциональный или вольный подходы к обучению, скажем. Однако без понимания целей ни один подход работать не будет... Отсюда в основе - системное представление о задачах, приводящих к программам. И соответствующие источники. И уж затем - о построении систем, частью которых являются программные изделия (продукты). А уж потом - о "языках систем" и их реализации. Что отражено в группировке источников в посты. |
Автор: | Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:09 ] |
Заголовок сообщения: | Мышление и деятельность, формализация и автоматизация |
Короче, "их машины и наши" не столько по Мейеру, сколько по результатам тех, кто именно системы и деятельность изучает... * Концепция "отслаивания знаний" (А.Н. Леонтьев, ок. 1970). Изложена в его работе Автоматизация и человек.
* Концепция "человеческих рамок" автоматизации (Д. Мичи, Р. Джонстон, ок. 1984). Изложена в их книге Компьютер-творец.
* Концепция современной информатики (В.А. Герасименко, ок. 1989). Изложена в его работе "Основы информатики" (деп. рукопись - 1989, изд. - МГИАИ, 1996), частично - в книге "ЗИ в АСОД" и в учебнике В.А. Минаева и др.
* Системная информатизация и образование (Ф.И. Перегудов, ок. 1990). Подход изложен в его статье (1990).
* Принцип адаптивности программных систем к оператору (А.С. Усов, ок. 1992). Изложен в его статье в журнале [url]Компьютер унд Ман[/url] (1992).
* Концепция моделирования/формализации (А.Я. Фридланд, ок. 2000). Изложена в его статьях, в работе Информатика: процессы, системы, ресурсы (2003).
|
Автор: | Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:11 ] |
Заголовок сообщения: | Формализация и моделирование в теории и на практике |
Различные подходы к тому, как от "Дано" переходить к "Надо". * Концепция "предприятие как система" (А.С. Усов, ок. 2000). Изложена в его одноимённой работе.
* Модель организоованной деятельноости (В.А. Герасименко, ок. 1989). Изложена в его книге "ЗИ в АСОД" (1994).
* Концепция схематизации знаний (В.Д. Паронджанов, Г.А. Гуленков и др., ок. 2000). Изложена, в частности, в выступлении Гуленкова (2000), в книге Паронджанова (2007).
* Концепция схематизационного мышления (Ф.М. Морозов). Изложена в его работе "Схемы в описании деятельности" (2005).
* Концепция генеральной классификации формализуемого знания (В.Н. Жаринов). Изложена в его веб-публикации (2011).
|
Автор: | Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:18 ] |
Заголовок сообщения: | Проектирование и программная реализация деятельности: общие |
Представляет подходы, охватывающие, по крайней мере, по замыслу авторов, разработку и документирование в целом, начиная как минимум от спецификаций задач. * Концепция моделирования систем с полной ответственностью (В.А. Герасименко, ок. 1989). Изложена в его книге "ЗИ в АСОД" (1994).
* Методология "ВОТ ТАК" (А.С. Усов, ок. 2000). Изложена в его одноимённом цикле веб-публикаций.
* Р-технология (И.В. Вельбицкий и др, ок. 1980-2000). Изложена в его книге и ряде публикаций.
* БПР-методологии (SADT, ARIS, UML и др, нач. с 1970-80). Изложены в книгах, статьях и веб-публикациях разработчиков. Рассмотрены и оценены в ряде работ, в частности, "Менеджмент качества как он есть" (и в связанной научной работе).
* Концепция "Анимотрон" (Е. Газдовский и др., ок. 2010). Изложена в рабочем документе "ADD-3" (2012).
* Концепция "МИВАР" (О.О. Варламов и др., ок. 2000). Изложена на рабочем веб-ресурсе и в ряде веб-публикаций.
* Методология моделирования/системирования (В.Г. Овчинников, ок. 2000). Изложена в его работе.
* Технология "Графика и текст в формализованном логическом описании крупных систем" (ГРАФИТ-ФЛОКС, В.Д. Паронджанов и др., ок. 1996). Изложена, в частности, в документах по реализации (2000).
* Концепция "семантического ядра" (В.А. Лаптев, ок. 2010). Изложена в его статье (2010) и иных публикациях.
* Концепция схемы разделения/связывания абстракций деятельности (В.Н. Жаринов). Изложена в его веб-публикации (2012).
|
Автор: | Владислав Жаринов [ Среда, 26 Декабрь, 2012 05:28 ] |
Заголовок сообщения: | Проектирование и программная реализация деятельности: решени |
Представляет подходы к формам представления результатов разработки и документирование либо в целом, либо в каких-то частях - общих сведений, спецификаций задач, программ/инструкций. * Концепция структурного программирования с полной ответственностью (В.А. Герасименко, ок. 1989). Изложена в его книге "ЗИ в АСОД" (1994).
* открытая среда учебно-исследовательской разработки FIELD (С.П. Рейсс, Университет Брауна, Провиденс, США, с конца 1980-х гг.).
* методология ГРАФКОНТ (Калентьев А.В., Тюгашев А.А. и др., СГАУ, ЦСКБ "Прогресс", Самара, Россия) - анализ и синтез ПО УВК КА для целевой платформы (языки ассемблера) на базе описания логики поведения и величин состояния предметной области путём специализированного исчисления систем совместно протекающих алгопроцессов (реализуемых параллельными программами). характеристика исчисления * Концепция структурного (семантическогоо) редактирования (В.А. Лаптев, ок. 2010). Изложена в статье Лаптева и Грачёва (2012).
* Графит-метод (В.Н. Жаринов). Изложен в его веб-публикации (2011).
* D2O (Я. Романченко). Изложен в его веб-публикации (2010).
|
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |