Expert Systems with Applications 专家系统的应用 Formal Methods in System Design 系统设计的形式方法 Foundations of Computational Mathematics 计算数学基础 ..
基于12个网页-相关网页
本文设计了BSK内核消息系统的构造方法，并形式化地构造了过滤规则和访问控制规则。
This thesis gives the design of BSK kernel message system, and construct filter rules and acess control rules formally.
采用形式化方法对社区卫生服务系统进行设计，能够得到一致的、精确的、简明的和无歧义的规格说明。
When designing with formal approach, the consistent, accurate, concise and unambiguous specification can be obtained for the community health service system.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
应用推荐