形式化开发方法相关论文
针对MAS研究中所面临的突出问题,该文所做的创造性工作主要包含以下5个方面:1.借鉴典型的面向对象形式规范语言,提出了一个适用于M......
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA......
该文给出一个超媒体系统模型的Ｚ语言规格说明，并在其基础上用程序形式化开发方法在多媒体开发工具Ａｕｔｈｏｒｗａｒｅ（ｖ２·０）中加进超媒体演示平台的功能。......
COOZ(complete object-oriented Z)的优势在于精确描述大型程序的规约.COOZ本身的结构不支持精化演算,这限制了COOZ的应用能力,使C......
为了适应面向 Agent技术的发展及其系统设计的需求 ,提出一种基于面向 Agent程序设计 ( AOP)风范的形式描述语言具有重要的理论指......
实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统......
ＣＯＯＺ（ｃｏｍｐｌｅｔｅ ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄ Ｚ）的优势在于精确描述大型程序的规约。ＣＯＯＺ本身的结构不支持精化演算，这限制了ＣＯＯＺ的应用能力，使ＣＯＯＺ难以作为完整的方法应用于软件的开发。将......
构件技术和形式化方法是解决软件危机和提高软件开发效率问题的关键。在分析了构件技术、B方法、XML和XSLT后,本文提出了一种基于B......
领域特征突出的嵌入式实时系统软件开发，既需要严格地保证可靠性又要充分反映实时和交互行为特征，针对这种需要，该文提出了一种从需求......
通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法.该方法利用Z良好的描述特性和扩充的类机制,将系......
