27 октября 2008 · КомментарийБез заголовкаАнатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на записьДа, формальных моделей типа Gellish, формальных систем для assurance case и прочих требующих формальных нотаций разбирательств со смыслом фактов-информации (а не просто копированием, хранением, пересылкой).