【摘 要】
：
属性交互(作用)是通信系统开发中的难点之一,人们一直在探讨分析、检测、避免设计和运行过程中的属性交互.本文基于UCMs和LOTOS结合应用提出一种解决方法,即在软件需求分析阶
【机 构】
：
合肥工业大学计算机与信息学院(安徽合肥)
【出 处】
：
全国第十四届计算机科学及其在仪器仪表中的应用学术交流会
论文部分内容阅读
属性交互(作用)是通信系统开发中的难点之一,人们一直在探讨分析、检测、避免设计和运行过程中的属性交互.本文基于UCMs和LOTOS结合应用提出一种解决方法,即在软件需求分析阶段描述、确认分析通信系统的特征及其之间的相互关系,进而检测和避免发生属性交互作用.该方法吸取了UCMs和LOTOS的优点,适合通信软件系统的属性交互检测、避免.
其他文献
本文介绍了太阳光电系统之能源转换原理,并针对应用于户外照明领域之光电照明系统应用技术做一探讨.
本文从节能、环保、健康可持续发展角度谈了绿色照明评估方法的建立,并综合国内、外之经验,探讨了绿色照明的实施策略.
本文重点介绍了AD2000开关系统的技术指标,控制方案,设计与安装特点以及市场前景.
用电设备的电源电压如适当的降低,且降低幅度不影响用电设备之电气特性,而能保持合理性能与安全地运转,则可降低电费支出与节约能源,值得考虑作为节约能源之策略,尤其在家电
随着我国经济的飞速发展,建筑工程的数量日益增多,人们建筑的质量与性能要求也渐渐提高,而这就对建筑工程测绘技术提出了新的要求.但是按照我国建筑工程建设的现状来看,建筑
近几年来,软土处理技术的应用与发展逐步广泛起来.虽然我国软土路基处理技术多种多样,对软土问题也有一定的解决效果.但是,我们仍需加快并推进道路技术的整体提升,继续拓宽软
由教育部、国家体育总局联合下发的教体艺[2007]8号文件,把(以下简称),作为促进学生体质健康发展,激励学生积极进行身体锻炼的教育手段纳入了学校体育工作之中,这对活跃校园
经济的全球化和社会的发展带动了各个行业的发展,国内的建筑行业也不例外.人们的生活质量和精神水平在向上攀升,使得他们对于建筑工程的发展有了新的需求,建筑工程中比较重要
科学研究和操作实践表明:运用红外线进行热成像的措施,可以被应用在检测锅炉本身状态、检测管道状态、检测辅助设施、检查控制拒运行情况等方面,在实践中发挥着非常重要的作
作者指出昼光用于室内照明,它不仅能节约能源,还可增加室内工作、生活时的舒适感,提高人们的生活质量,减少了大楼病的发生.基于这些原因,近年来国际上对昼光用于室内照明方面