IBM软件开发平台提供完全的需求跟踪--从收集需求到可视化的关联模型，映射每个需求到测试用例。
The IBM Software Development Platform offers complete requirements tracking -- from requirements gathering to visual model association and mapping of each requirement to a test case.
您可能对数据库成功地进行了规范化（请参阅参考资料），但是现在表中的列与软件模型就失去了同步。
You may have successfully normalized the database (see Resources), but now the columns in the table are out of sync with your software model.
系统化后，这个知识集合可以提供软件模型的有价值的扩展(归类为反模式)。
When codified, this collective knowledge makes a valuable extension to software patterns and classified as antipatterns.
通过模型化软件系统的行为，我们可以让代码为我们而产生。
By modeling the behavior of software systems, we can have the code generated for us.
模型-视图-控制(Model - View - Control,MVC)软件设计基础架构用于组件之间的可扩展性和模块化的角色分离。
The Model-View-Control (MVC) software design architecture is used for its extensibility and modularity in role separation between components. Each component in the MVC is mapped as follows.
您可能对数据库成功地进行了规范化(请参阅参考资料)，但是现在表中的列与软件模型就失去了同步。
You may have successfully normalized the database (see Resources), but now the columns in the table are out of sync with your software model.
样机设计过程是在选定设计条件后，利用参数化模型设计软件进行零件设计和整机装配。
The process of prototype design is that parts design and system assembly are completed by parameterized model design software after conditions given.
在开发夹具数字化手册软件基础上，分析了夹具网络协同设计系统的体系结构和数据流程，建立了基于ASP的系统模型。
On the basis of exploitation of digitized fixture design handbook, analyzed the framework and data flow of the fixture network collaborative design system, and set up system model based on ASP.
因此，我们利用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.
基于广义定位原理及分解重构等理论，构造了产品自动化设计理论模型，并进行了软件系统的实现。
Based the generalized locating principle and the decomposition and reconstruction principle, the theoretical model of product design automation is developed and the software system also achieved.
该文以POCERM软件测试过程模型为基础，结合一个实际测试项目，阐述了一种有效的软件测试工程化方法。
Based on the software testing process model POCERM, an effective engineering software testing method is presented in the paper and also is applied to a practical testing project.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
介绍中位值法和平均值法数字滤波的原理、特点和实例，给出控制输出的归一化模型，以及软件的总体结构。
The principle and characteristic and example of middle value and average value filter is provided, the uniform model of output control and the flow of software is put forward.
此方法更易描述实时应用系统，更易构造TGM的执行模型，其层次化的结构更容易进行研究和软件实现。
By using this method, the real-time systems application can be described easily, the execution model of TGM can be constructed quickly, and its software can be researched and implemented quickly.
给出了软件化雷达发射系统的数学模型；
The mathematics model of its transmitting-system is given out.
结合构件化技术和软件可靠性工程过程，提出基于构件生产的指控系统可靠性工程过程模型。
The reliability engineering process model of component production, base on both component technology and reliability engineering process is proposed.
将虚拟样机技术与ADAMS软件相结合，建立了挖掘装载机WZ30-25的整机参数化模型；
The model of the whole machine of Backhoe loader WZ30-25 was set up based on the virtual prototype technology and ADAMS software.
如果更多的程序有着模型化的撤销工具，用户会很快习惯它们，他们甚至会更加期望在其他软件中找到类似于字处理程序中的退格键工作方式。
If more programs had modal undo tools users would soon adapt to them. they would even come to expect them the way they expect to find the backspace key on word processors.
如果更多的程序有着模型化的撤销工具，用户会很快习惯它们，他们甚至会更加期望在其他软件中找到类似于字处理程序中的退格键工作方式。
If more programs had modal Undo tools, users would soon adapt to them. They would even come to expect them the way they expect to find the Backspace key on word processors.
在网络化制造中进行产品信息集成的一个重要障碍就是设计软件之间的信息模型的流动困难。
A major obstacle in production information integration of network based manufacturing is that the flow of information models between various design softwares is difficult.
并在此模型的基础上开发了相应的软件，使该模型的基本功能得以实用化。
Based on this model the related software is developed and make the basic function of it become practicable.
最后，基于以上数学模型和设计方法，通过计算机编制程序，开发了一个智能化的FGM软件设计系统。
Finally, based on the mathematical model and design method of FGM, an intelligent design system of FGM is developed through computer programming.
考虑到面向对象图形化的分析设计方式，基于模型的软件测试的研究才能从根本上解决测试领域面临的问题。
In view of the widely using of graphical object oriented analysis and design method, only can researches on model based software testing solve these conditions thoroughly.
提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略。
The paper addresses an efficiency measurement and an improvement strategy for the Formal Software Evolution Process Model (FSEPM).
现有的软件过程复用方法往往采用形式化的过程模型和过程实例，由于其复杂性而在业界应用较少。
Most software process reuse methods use formalized process models and instances. These methods are rarely adopted in the industry because of their complexity.
根据二维非稳态导热的数学模型和物理模型，编写了可视化软件。
According to the physics and mathematics model of two-dimensional unsteady heat conduction, we wrote the visualization software.
用工程软件MATLAB5.3作为软件平台对系统数学模型进行可视化，以图象的方式分析了液膜阻尼器相关参数对减振效果的影响规律。
The mathematics model of system is expressed by the software named MATLAB5.3, the rule of correlate parameters that influences the effect of Liquid-Film Damper is analyzed visually.
以结构化系统模型，作为软件系统模型驱动体系结构的基本公共模型，可以使复杂系统中使用的软件系统与复杂系统一同进化。
Taking structure system model as the basic common model of software system's model driven architecture can make the software system used in complex system and the complex system evolve together.
以结构化系统模型，作为软件系统模型驱动体系结构的基本公共模型，可以使复杂系统中使用的软件系统与复杂系统一同进化。
Taking structure system model as the basic common model of software system's model driven architecture can make the software system used in complex system and the complex system evolve together.
应用推荐