Formalizing user requirements.

  • 软件需求形式化。
  • 来源:互联网摘选更新时间:2026-07-14 03:15:58

  • 重点词汇
  • requirementsn.所需的(或所要的)东西;必要条件,必备的条件;要求( requirement的名词复数 );必要条件;需要;需要的东西;
  • usern.用户,使用者;吸毒成瘾者;
  • formalizingv.使(协议、计划等)成书面文字形式( formalize的现在分词 );使成为正式,使具有一定形式;
  • 相关例句
1、

But the role played by the heavens in formalizing the days of the week doesn't stop there.

但天体对星期的形成所起的作用可并不止这些。

互联网摘选

2、

Finally, the whitepaper talks about formalizing service contracts and making services visible, typically using service registry.

白皮书在最后还谈到了服务契约规范化以及服务可视化,这通常是通过服务注册实现的。

互联网摘选

3、

No reference to meaning is involved in the result of formalizing, and is an important prerequisite for formal implementation.

意义无涉既是形式化的逻辑结果,又是形式化的重要前提。

互联网摘选

4、

Before the Extenics was established, formalizing and systematic research on contradiction problem was always lacking.

在可拓学建立之前,一直缺乏形式化,系统性的矛盾问题研究。

互联网摘选

5、

Formalizing PKI Interoperability Trust Models with Trust Logic

基于信任逻辑的PKI互通信任模型形式化

互联网摘选

6、

A Research on Formalizing the Teaching-by-Experiment in New Stage

新时期实验教学管理规范化研究

互联网摘选

7、

Formalizing the Natural-language Descriptions about the Spatial Relations between Linear Geographic Objects

关于线状地理特征空间关系的自然语言描述的形式化表达

互联网摘选

8、

Preliminary study on formalizing process of Changle Granule

长乐颗粒剂成型工艺的初步研究

互联网摘选

9、

Each initiative team has a business team lead responsible for gathering and formalizing the business requirements.

每个计划团队都有一个业务主管,负责收集和确定业务需求。

互联网摘选

10、

Nowadays, there are lots of study results of formalizing UML, but they are limited.

目前,已经有很多UML形式化的研究成果,但都存在一定的局限性。

互联网摘选

11、

Formalizing Workflow Patterns Based on the π-calculus

工作流模式的π演算形式化

互联网摘选

12、

Formalizing Software Design Pattern in Z

用Z形式化描述的软件设计模式

互联网摘选

13、

This paper proposes a logic theory for formalizing concurrent actions and events based on time interval logic.

在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。

互联网摘选

14、

New extended workflow net for formalizing workflow patterns

一种支持工作流模式的扩展工作流网

互联网摘选

15、

Formalizing extended events traces using formal specification language Z

用Z语言形式化扩展事件踪迹图

互联网摘选

16、

The application of the formalizing theory

规范化理论及其应用

互联网摘选

17、

Formalizing the Procedure of Model-based Diagnosis on General Causal Theory

广义因果理论上基于模型诊断过程的形式化

互联网摘选

18、

Formalizing Interactions and Interaction Protocols in Multi-Agent Systems

形式化多主体系统中的交互及交互协议

互联网摘选

19、

Formalizing Type Safety of the Java Virtual Machine

Java虚拟机安全性的形式化分析和验证

互联网摘选

20、

The main advantages of freeze concentration, over evaporation and membrane processes are high product quality due to low-temperature operation and the absence of a vapor-liquid interface.

冷冻浓缩胜过蒸发和膜操作的主要优点是低温操作和无气液界面而使成品质量高。

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈