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

×


UML-диаграммы: основы(Прочитано 4730 раз)
UML-диаграммы: основы : 20 Июля 2014, 21:06:11
Здравствуйте!

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



Re: UML-диаграммы: основы Ответ #1 : 20 Июля 2014, 22:36:19
intuit.ru



Re: UML-диаграммы: основы Ответ #2 : 27 Апреля 2015, 13:02:06
может лучше глянуть https://ru.wikipedia.org/wiki/Coq




 

Sitemap 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19