Formal Methods and Software Engineering 形式方法与软件工程
Software Engineering and Formal Methods 软件工程与形式化方法
Formal Methods in Software Engineering 软件工程的形式化方法
Software Formal Methods 软件形式化方法
Formal Methods & Software Engineering 形式化方法与软件工程
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和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
While testing is still currently the most widely used validation technique in the software industry, formal methods are regarded a new promising approach.
测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段，而形式化方法被认为是非常有希望的新途径。
应用推荐