有些可能采用详尽冗长的描述习惯，而其他可能采用简洁且技术性的格式风格。
Some may use descriptive and verbose conventions, while others may use terse and technical formats.
冗长的描述会过度地约束系统，与其描述什么是必须要做的，不如描述为什么需要去做什么。
Verbose descriptions over-constrain the system - how something should be done rather than just what is to be done.
尼森堡姆教授和巴斯先生一起共事，把关于语境完整性的变量的冗长的描述转化为一种可以组织成为计算机程序的标准表达式。
Dr Nissenbaum has been working with Mr Barth to turn these wordy descriptions of the variables of contextual integrity into formal expressions that can be incorporated into computer programs.
应用推荐