Форум Сообщества Аналитиков

Общий раздел => Для всех => Тема начата: Turpov от 20 Июля 2014, 21:06:11

Название: UML-диаграммы: основы
Отправлено: Turpov от 20 Июля 2014, 21:06:11

Здравствуйте!

Заинтересовался изучением UML-диаграмм, в частности - хочу попробовать их применение в довольно нестандартной для них области, а именно - в логической семантике (семантике возможных миров). То есть, использовать математический аппарат Крипке и Хинтикки, но как способ установления связей брать именно UML. Посоветуйте ресурсы (желательно на русском, можно и на английском), где адекватно и последовательно изложена теория (и приведены примеры практики) UML-Диаграм? (Помимо этих порталов: http://book.uml3.ru/sec_1_5 (http://book.uml3.ru/sec_1_5), planerka.info/methods/visualisation/uml, http://www.uml-diagrams.org/ (http://www.uml-diagrams.org/), http://www.ibm.com/developerworks/rational/library/content/RationalEdge/sep04/bell/ (http://www.ibm.com/developerworks/rational/library/content/RationalEdge/sep04/bell/) может кто знает еще. Интересует именно последовательное изложение.)

Название: Re: UML-диаграммы: основы
Отправлено: Galogen от 20 Июля 2014, 22:36:19

intuit.ru

Название: Re: UML-диаграммы: основы
Отправлено: RuZzz от 27 Апреля 2015, 13:02:06

может лучше глянуть https://ru.wikipedia.org/wiki/Coq