论文部分内容阅读
本讲讨论软件体系结构的形式化模型和规格说明，即软件体系结构的形式化基础。
软件体系结构讲座（六）形式化模型和规格说明
【摘 要】
：
本讲讨论软件体系结构的形式化模型和规格说明，即软件体系结构的形式化基础。
【机 构】
：
武汉数字工程研究所,武汉数字工程研究所,武汉,武汉
【出 处】
：
计算机与数字工程
【发表日期】
：
1999年6期
其他文献
分析了基于MPEG-4技术的嵌入式硬盘录像机(Digital Video Recorder,DVR)的系统结构,详细讨论了嵌入式DVR软件部分各个模块的设计与实现,以及其中的关键技术.最后对系统性能进
某企业财务人员反映，他们是一家油气田企业，公司在2009年列支了一些资产损失，根据《企业所得税法》第八条的规定，企业实际发生的与取得收入有关的、合理的损失，准予在计算应纳税所
6月27日至30日,国家税务总局谢旭人局长一行在湖北调研。谢旭人听取了湖北省国税局和地税局的工作汇报,主持召开了部分省市国、地税局长座谈会,深入基层办税服务厅调研,还考
本文认为对科学技术的未来作预测性思考既是可能的也是必要的,尽管这样做有其明显的困难和局限性。以往,科学家对科学技术中的某些趋势和重大理论方案已成功地作过评价,发现
从全国税务系统深入开展打击发票违法犯罪活动工作视频会议获悉，国家税务总局副局长解学智出席会议并讲话。他强调，要继续积极会同相关部门深入开展打击发票违法犯罪活动工作，
最近，部分地区反映《财政部海关总署国家税务总局关于国内采购材料进入出口加工区等海关特殊监管区域适用退税政策的通知》（财税[2008]10号）“海关特殊监管区内生产企业国内采购
最近国家税务总局表彰全国税系统文明单位和精神文明建设先进工作者。总局局长澍旭人等出席表彰大会。会上有201个单位获。全国税务系统文明单位。荣誉称号．有200人被授予。全