规格化方法相关论文
根据写作风格来识别作者这一问题在国外很早就已经开始研究了,并有很多成功应用.而针对中文的研究却非常少.本文首次提出了使用文......
随着网络技术的日臻完善，软件与网络的关系越来越密切。基于Internet的分布式协作系统成为应用软件发展的主流，多Agent系统(MAS)在其......
为独立方法定义严谨的规格可以保证程序的正确性。但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法......
