查询词典 software package

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

ABSTRACT One of the main problems in software engineering is the application software development.

应用软件的开发一直是软件工程研究的一个重要课题。

Embedded software development and application of computer software is the development of a hot spot.

嵌入式软件的应用与开发是当今计算机软件发展的一个热点。

Analysis of the software exist in the design, and discussed the improvement of the software and application prospects.

分析在软件的设计当中存在的问题，并讨论该软件的改进及应用前景。

The application and development of embedded software is one important aspect of computer software progress.

嵌入式软件的应用与开发是当今计算机软件发展的一个热点。

Open Mobile System is the major product of Borqs, which is the mobile-internet-oriented total solution for basic software and application software of mobile terminal.

所有的财富都是建立在健康之上。浪费金钱是愚蠢的事，浪费健康则是二级的谋杀罪。-ji

They reflected the arcana of the re-design and re-encode the results, which came from software developers to design flexible and reusable software for a long time of hard work.

它们反映了不为人知的重新设计和重新编码的成果，而这些都来自软件开发者为了设计出灵活可复用的软件而长时间进行的艰苦努力。

The process reuse architechure raised in the paper both support abstract process model cycle and practical process instance cycle mechanism, which can realizes dymamic improvement for both organization standard software process and practical project software process. So, the process reuse architecture provides necessary support for application of process improvement technology.

本文提出的过程复用框架同时支持抽象过程模型层面以及具体过程实例层面双重循环机制，可以实现组织标准软件过程和具体项目实例的动态改进，为CMM过程改进提供了一种具体的实施技术和方法，对过程改进技术的应用提供了必要的完善和补充。

Aiming at the development of the microprocessor-based relay protection and the lack of training and experimentation system which is difficult to satisfy the requirement , this paper describe a microprocessor-based relay protection training and experimentation system , put forward the design project about the combination of software which applied for computer protection based on integrated developing environment Visual Basic 6.0 and SQL Server and hardware which applied on Digital Signal Processing and the Personal Computer 104 bus-mastering machine, introduce systemic principle architrave and primary hardware form and the function and the aim of the software and its realizable way.

针对目前微机保护技术飞速发展的形势和国内微机保护培训试验系统难以满足要求的现状，本文介绍了一套电力系统微机继电保护培训试验系统，提出了基于DSP和应用PC/104总线工控机以及利用集成开发环境VB6.0和SQL Sever的软硬件结合的设计方案，对系统的原理框图、主要硬件构成和软件的功能目标及主要功能的实现方法进行了详细的介绍。

When we design the software and the hardware of the system, we have used the popular advanced configuration software and arithmetics.

该系统的设计涉及到许多领域的技术问题，包括塑料机械、自动控制、计算机软件和硬件以及通讯等方面。

We got alerted a couple of times while we were down south that HETs were on the way to bring us back up north because things were going to go hot again, but it was just rumors.

南下的途中我们不只一次得到警告说重型装备运输车将拉着我们重新北上，因为局势正在变得重新紧张起来，但这只是谣传。

It's the one where they find the ghost in the salt mine.

这一集是演他们在盐矿找到鬼