这个样例代码显示任何语言的输入都被音译为拉丁字母并规范化。
This sample code shows that input in any languages is transliterated to Latin alphabet and normalized.
当参数出现以“path”结尾的名称时将自动调用规范化代码，这在当时看起来是很聪明的做法(现在我已经后悔了)。
In what seemed clever at the time (I now almost regret it), the canonicalization code is automatically invoked whenever an argument has a name ending in "path".
开发团队为了突出团队的标准化和技术的独特处，可以利用集成的代码规范编辑器来自定义开发规范。
Development organizations can use the integrated rules editor to create custom rules that reflect standards and technologies unique to that organization.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
应用推荐