摘要
叙述形式化方法的基本概念,研讨了国际上标准的以及目前使用的应用于描述顺序软件、并发软件和基于图形的形式化描述,同时论述了支持形式化描述技术的工具的任务、作用和分类。
he paper explains the basic concept of formal methods and discusses the Formal Description Technique(FDT)applied to describing sequential software, concurrent software and formal based on graphic.The task, rule and classcification of supoort to formal description technique tools are also, discussed in the paper.
出处
《计算机工程与设计》
CSCD
北大核心
1996年第1期59-64,F003,共7页
Computer Engineering and Design
关键词
形式化描述
形式化描述工具
计算机
ormal description, Formal description tools, Sequential software,Concurrent software