计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2003年
19期
80-82
,共3页
形式化方法%移动代理%组件%软件工程%Z语言
形式化方法%移動代理%組件%軟件工程%Z語言
형식화방법%이동대리%조건%연건공정%Z어언
采用非形式化到形式化的过程:先用自然语言描述移动Agent,然后用形式语言Z及组件技术来描述移动Agent,并给出一个形式化的基础及移动Agent系统的一个精确高效的开发方法.
採用非形式化到形式化的過程:先用自然語言描述移動Agent,然後用形式語言Z及組件技術來描述移動Agent,併給齣一箇形式化的基礎及移動Agent繫統的一箇精確高效的開髮方法.
채용비형식화도형식화적과정:선용자연어언묘술이동Agent,연후용형식어언Z급조건기술래묘술이동Agent,병급출일개형식화적기출급이동Agent계통적일개정학고효적개발방법.
