计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
2期
139-141,245
,共4页
非协调性%超协调逻辑%时序逻辑%软件工程
非協調性%超協調邏輯%時序邏輯%軟件工程
비협조성%초협조라집%시서라집%연건공정
随着计算机系统规模和复杂度的增长,在软件工程的各个阶段,开发者不得不面对包含大量非协调信息的各种类型的系统规约.由于平凡推理的问题,基于经典逻辑的方法不能用于分析含有非协调信息的系统规约.在简单介绍超协调逻辑的基础上,引进一种超协调时序逻辑,它用于描述计算机系统的时序性质,并且能用于处理含有非协调信息的系统规约.
隨著計算機繫統規模和複雜度的增長,在軟件工程的各箇階段,開髮者不得不麵對包含大量非協調信息的各種類型的繫統規約.由于平凡推理的問題,基于經典邏輯的方法不能用于分析含有非協調信息的繫統規約.在簡單介紹超協調邏輯的基礎上,引進一種超協調時序邏輯,它用于描述計算機繫統的時序性質,併且能用于處理含有非協調信息的繫統規約.
수착계산궤계통규모화복잡도적증장,재연건공정적각개계단,개발자불득불면대포함대량비협조신식적각충류형적계통규약.유우평범추리적문제,기우경전라집적방법불능용우분석함유비협조신식적계통규약.재간단개소초협조라집적기출상,인진일충초협조시서라집,타용우묘술계산궤계통적시서성질,병차능용우처리함유비협조신식적계통규약.