Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
Upon completion of construction, he must submit a project description outlining the LEED design features incorporated into the building for formal USGBC evaluation.
工程完工后，业主必须提交有关工程采用LEED设计要求的概况描述并申请美国绿色建筑委员会(usgbc)进行评估。
Initialsets of design patterns, styles, best practices, description languages, and formal logic were developed during that time.
最初套设计模式，风格，最佳做法，描述语言，并制定了形式逻辑在这段时间里。
应用推荐