Object-Z相关论文
在我们设计PACS时,采用了基于设计模式的设计方法.使用成熟的模式,方便了工程人员间的交流,提高了通用性,为可能的复用打好基础.在......
在软件开发过程中,多数用户需求的规格说明采用非形式的自然语言或半形式的图表结构进行描述,由于非形式方法的模糊性和歧义性,产......
近年来，为了保证各种软件的正确性和提高软件的可维护性、可重用性，人们对软件形式方法的研究越来越广泛和深入，形式方法的研究之所以......
本论文首先分析了远程教育的发展现状,指出现行远程教育在资源共享(消除信息孤岛)、分布式、异构性等方面的不足,从而提出了建立学......
