形式化开发方法相关论文
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA......
为了适应面向 Agent技术的发展及其系统设计的需求 ,提出一种基于面向 Agent程序设计 ( AOP)风范的形式描述语言具有重要的理论指......
