Formalizing Software Design Pattern in Z

1、

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

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

互联网摘选

2、

New extended workflow net for formalizing workflow patterns

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

互联网摘选

3、

Formalizing extended events traces using formal specification language Z

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

互联网摘选

4、

The application of the formalizing theory

规范化理论及其应用

互联网摘选

5、

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

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

互联网摘选

6、

Formalizing Interactions and Interaction Protocols in Multi-Agent Systems

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

互联网摘选

7、

Formalizing Type Safety of the Java Virtual Machine

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

互联网摘选

8、

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.

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

互联网摘选

9、

Property investors are right to worry that all the excess supply will take substantial time to be absorbed. Higher borrowing costs and fears of a credit freeze hover over the sector.

房地产投资者有理由担心，太多的房屋供给需要相当长的时间才能消化，而贷款成本上升和对信贷紧缩的担忧也依然笼罩着房地产市场。

互联网摘选

10、

End of Israeli Settlement Freeze Looms Over Peace Talks Middle East peace talks are facing their first major challenge just three weeks after they began.

中东和平对话刚刚开始三周，现在却遭遇了首个重大挑战。

互联网摘选

11、

The unusually long period of cold weather has shown how even warm climates can sometimes freeze over. But protecting plants and trees in the garden may not be too difficult if you follow a few suggestions.

长时间少见的寒冷天气意味着温暖的地方也会受到寒流袭击，但是如果你能按下面几点去做，在寒冷天气时保护好花园中的植物和树木也许不是件很难的事。

互联网摘选

12、

Her name Koyuki means "light snow" in English, but this cat's stone cold stare is enough to freeze over even the warmest of hearts.

她的名字“Koyuki”英文意思是“小雪”，但这只猫令人石化的犀利目光足以让最温暖的心冻成冰霜。

互联网摘选

13、

Eventually, the oceans will freeze over, become covered with dust, and gradually migrate to the permafrost at the poles.

最终海洋会彻底结冰，然后被灰尘覆盖，然后逐渐移动到极点成为永久冻土。

互联网摘选

14、

Many mountain lakes freeze over during winter and are used for curling, horse and dog racing, particularly around St. Moritz.

许多山区的湖泊冬天全部结冰，为掷石，骑马和塞狗提供场所，特别是圣莫里茨地区（st.moritz）比较流行。

互联网摘选

15、

In the preview, ice queen Elsa attempts to conquer another element as she struggles to freeze over the ocean.

在预告片中，冰雪女王艾莎试图征服另一种阻碍，她努力在海面上结冰。

互联网摘选

16、

King Michael had warned that if a financial wizard were ever put in charge, Disneyland would freeze over and spring never come.

迈克尔大王曾警告称，如果让一名金融奇才来掌管迪士尼，那迪士尼王国将会陷入冰封，而且春天永远不会到来。

互联网摘选

17、

The Hessians and other soldiers of the king were waiting for the river to freeze over.

黑森兵和英国国王的其他士兵正等着河水冻结。

互联网摘选

18、

Years ago, back before the ice breakers, this water would freeze over in winter sometimes, all the way across.

很多年前，世上没有破冰机，这片水一到冬天就会结冰，整整一片。

互联网摘选

19、

The unusually long period of cold weather has shown how even warm climates can sometimes freeze over.

这次不正常的长期的冷空气显示了再温暖的气候有时也会冰冻。

互联网摘选

20、

The frigid storm put Dallas in a deep freeze over the weekend.

寒冷的暴风雨周末将达拉斯彻底冻结。

互联网摘选