检索结果-内蒙古大学图书馆

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。

关键词：形式化规格说明机器辅助求精技术形式语言

来源：评论

学校读者我要写书评

暂无评论

并发对象技术初探

引用

东南大学学报（自然科学版） 1998年第6期28卷 84-89页

作者：瞿裕忠沈军唐立中朱海林朱一清东南大学计算机科学与工程系南京大学计算机软件新技术国家重点实验室

在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构．其特色在于对象的并发特征函数和对消息传递方式的处理．从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨．

关键词：并发对象技术并发面向对象程序设计语言并发对象模型继承并发特征函数

来源：评论

学校读者我要写书评

暂无评论

支持大规模分布式系统的对象接口描述语言OIDL

支持大规模分布式系统的对象接口描述语言OIDL

引用

大连--香港国际计算机会议

作者：仲盛王运翔谢立金志权大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室大学计算机科学与技术系大学计算机软件新技术国家重点实验室

在分布式计算系统中，接口描述语言（IDL）是一个重要的核心概念，它使得用户不必考虑网络细节，为RPC应用程序设计提供了迅速可靠的支持。随着网络和分布式技术的发展，尤其是Internet的出现，分布式系统的规模急剧膨胀，适应支持大规... 详细信息

在分布式计算系统中，接口描述语言（IDL）是一个重要的核心概念，它使得用户不必考虑网络细节，为RPC应用程序设计提供了迅速可靠的支持。随着网络和分布式技术的发展，尤其是Internet的出现，分布式系统的规模急剧膨胀，适应支持大规模分布式系统的需要成为IDL的一个重要问题。传统IDL的基础是经典客户机/服务器体系，而经典客户机/服务器体系中存在着客户机对服务器的依赖，使得传统IDL在支持大规模分布式系统方面存在重要的局限性。因此，作者引入了智能服务器系统的概念，设计并实现了一种对象接口定义语言OIDL。与传统IDL相比，它具有更好的透明性和灵活性，使得客户机摆脱对服务器的依赖成为独立的对象实体，因而能够较好地支持大规模分布式系统。

关键词：接口描述语言分布式系统

来源：评论

学校读者我要写书评

暂无评论

OO软件的测试分析

OO软件的测试分析

引用

'98全国计算机测试与诊断学术会议

作者：李本固陈鑫朱炜陈启仁徐永森大学软件新技术国家重点实验室南京大学计算机科学与技术系

该文提出了OO软件测试中的一些问题，并简介了有助于解决这些问题的一种新的CAST工具OOAK，主要讨论了OOAK工具中动态测试分析和软件复杂度分析的设计和实现。