Без заголовка

Основной пафос презентации Ross -- запись формального текста на псевдоестественном (controlled English) языке. Утверждается, что простые люди этот язык понимают и могут верифицировать написанное, а айтишники смогут много более просто привести к нечитаемым людьми, но легко исполняемым формам. Уже есть несколько десятков фирм, которые используют такой подход в своем софте. То, что очень сложно напортачить на C# или Haskell -- это очевидно. Но простые люди отвергают языки, на которых очень сложно напортачить. Поэтому простые люди не смогут верифицировать, правильно ли их простые мысли отражают программисты. И ровно поэтому в конечном итоге получается ерунда: портачат не в записи на языке, а в несоответствии "надежной записи" общепринятой картине мира. Дискуссию про атрибутную запись и безатрибутную запись я знаю. Более того, атрибутная запись давно и надежно выигрывает у всех программистов. Что не мешает четко определять местоположение термина в пространстве фактов у записей безатрибутных. Не в пространстве объектов, а в пространстве фактов (ибо там не столько объектами, сколько ролями оперируют). Заметка про форму жизненного цикла относится к жизненному циклу чего угодно (любых рукотворных объектов) -- включая прохождение по техпроцессу на конвейере различных типов изделий (с возможным прохождением не по конвейеру, а также захватом всех предыдущих конвейеру стадий и всех последующих, от задумки до списывания в утиль). К программному обеспечению и людям это тоже относится.