caxapa.ru :: В описании одной из составных частей этой сущности - RODIN -> встретил упоминание про Alexander (Sascha) Romanovsky -->

Evgeny_CD^{Архитектор} (03.12.2011 15:19, просмотров: 233) ответил Evgeny_CD на Event-B is a formal method for system-level modelling and analysis. Непонятная мне штуковина, на которую навел Д.ARMоед, за что ему большой респект. ->

В описании одной из составных частей этой сущности - RODIN -> встретил упоминание про Alexander (Sascha) Romanovsky --> http://homepages.cs.ncl.ac.uk/alexander.romanovsky/home.formal/
http://rodin.cs.ncl.ac.uk/

Ответить

- Молодец мужик. Статьи невозможно читать - сплошная алгебра логики и еще много непонятного :-) Посмотрел приложения в промышленности -> Вывод: страшно далеко это от моих задач. - amusin(03.12.2011 17:32, ссылка)

Средства и методы разработки