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.
测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段，而形式化方法被认为是非常有希望的新途径。
Structured methodology, object oriented methodology and formal methods are different software development methods.
结构化方法、面向对象方法和形式方法是三种不同的软件开发方法。
Now the main methods of software architecture description are formal description and visual description.
目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。
It is an efficient way to implement automation of software by applying formal methods to object-oriented technology.
面向对象技术和形式化方法结合，在面向对象技术中应用形式化方法，是一种实现软件自动化的有效方法。
B method is one of the most popular formal methods at present, which supports the whole lifecycle of software development process, from specification to code generation.
B方法是目前国际上最受欢迎的软件形式化方法之一，它支持从规范说明到代码生成的整个软件开发周期。
Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。
Bmethod is one of the formal methods, which supports the whole process of software development from the specification to code generation.
形式化b方法支持从规格说明到代码生成的全部软件开发过程。
Software testing based on formalization is also an important issue in recently research work. Many scholars studied testing methods based on formal language such as z.
基于完全形式化语言的测试也是近年来研究的重点，不少学者提出了基于Z等形式化语言的测试方法。
Technology of Software Development Based on Formal Methods;
形式化方法是现代逻辑最重要的方法。
Technology of Software Development Based on Formal Methods;
形式化方法是现代逻辑最重要的方法。
应用推荐