Why does F. Wagner consider "NOT (AI_LARGER_THAN_8.1)" to be ambiguous?
- by oosterwal
In his article on Virtual Environments (a part of his VFSM specification method) Ferdinand Wagner describes some new ways of thinking about Boolean Algebra as a software design tool. On page 4 of this PDF article, when describing operators in his system he says this:
Control statements need Boolean
values. Hence, the names must be used
to…