介绍了形式化描述技术在测试集生成过程中的应用，针对PPP协议介绍其协议实现时的状态迁移。
This paper introduces the application of formal description technology in the progress of generate testing suite, and the PPP protocol's state transference of the implement module.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
给出DD -RCM模型的图形化和形式化描述实例，并分析DD - R CM建模方法的技术特点。
It gives the graphical and formal describing example of DD-RCM model and the characteristic of DD-RCM technology also.
该方法融合CPN和面向对象技术的优点，从形式化、可视化的角度描述基本通信系统的运行过程。
This method reflects the advantages of CPN and object-oriented technology, and describes the operation process of basic communication system from the formal and visual aspects.
介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。
Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.
本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。
Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.
应用推荐