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