论文部分内容阅读
软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形式化语言为理论基础的体系结构描述语言。
关于软件体系结构的形式化描述
【摘 要】
：
软件体系结构已成为软件工程研究和实践的主要领域，而形式模型和形式分析技术是成熟工程学科的基石。本文论述了用形式化方法来刻画各种体系结构风格的优越性，并介绍了几种以形
【机 构】
：
荆州职业技术学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2007年4期
其他文献
在编制程序时，产生错误很难避免，因此调试程序显得尤为重要。介绍了VB的错误类型、调试工具以及一些调试技术的应用，供广大编程人员参考.
本文从技术的层面探讨了VoIP的原理和应用，并且利用一个中小型企业VoIP解决方案图使读者对VoIP技术有一个理性的了解。
随着人们对PC机高性能需求的增加，双核心处理器正在不断涌向市场，被人们所认知。那么，何为双核心处理器？为什么它能被市场认定？本文将从双核心处理器的发展、定义和分类，AMD的双核
提出了综合客户端／服务器（C/S）和浏览器／服务器（B／S）模式的大客户网络服务系统的设计和开发思路，并分析了系统的主要功能。系统实现后投入实际使用，为运营商实时管理不同客户的虚拟专
对一个程序用Labview等语言的分别实现的研究．是为了使读者了解许多软件都可以达到相同或相似的结果。通过具体的程序设计，使大家知道软件设计方法的差异性，可以根据自己喜欢的
办公自动化系统近年来得到了飞速的发展,已成为电子政务的最基础的应用和整合平台,也是企业进行信息流管理的最直接手段。在OA系统中,应该强调信息的有机整体特征,即信息有一