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.
形式化方法已被用于基于消息通讯的并发系统的建模和分析。
应用推荐