我们可以依靠非正式文件来规定这类不变量，我们标准化和检查的不变量越多，效果就越好。
We can rely on informal documentation to specify such invariants, but the more invariants we can formalize and check, the better.
这些文件是进行非正式磋商的基础，有助于提供用于测试各种立场的信息。
These papers are the basis for informal consultations that contribute with input used for testing various positions.
大多数设计成读取 podcast 提要（feed）的应用程序（非正式地叫做 podcatchers）每当在访问和处理 podcast 提要（feed）时自动地下载此类音频文件。
Most applications that are designed to read podcast feeds (known informally as podcatchers) automatically download such audio files whenever they access and process a podcast feed.
应用推荐