This approach has led to more formal efforts to achieve software process maturity, such as the Capability maturity Model (CMM), and agile methods such as Extreme Programming and Scrum.
这种方式已经取得了关于软件过程成熟度的比较正式的成果，如能力成熟度模型(CMM)，和敏捷方法，如极限编程和Scrum。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
Since formal methods can be used to model and analyze concurrent systems, it is natural to consider applying formal methods for the modeling and development of Web Service.
形式化方法已被用于基于消息通讯的并发系统的建模和分析。
The thesis is focused on the access control model for workflow systems and the security analysis of workflow systems by formal methods.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
The thesis is focused on the access control model for workflow systems and the security analysis of workflow systems by formal methods.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
应用推荐