我一直在鼓吹上述方法可以作为正式描述系统概念与应用程序架构的一种方法。
I advertise the above approach as a way to formally describe your system's conceptual and application architecture.
他们采用的一种战略是尽力援引《行政程序法》规定的正式规则制定程序。
One strategy they have used is to attempt to invoke the APA's formal rulemaking procedures.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
应用推荐