期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
XYZ/E在CA认证系统的一个初步应用 被引量:1
1
作者 刘俭云 戎玫 张广泉 《计算机工程与应用》 CSCD 北大核心 2005年第26期133-135,共3页
时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,支持软件体系结构从高层到低层的逐步过渡。该文建立了CA认证系统组件模型,采用基于组件的逐步求精方法,用XYZ/E描述了CA认证系统的体系结构。
关键词 xyz/e ca软件体系结构 组件 连接件
在线阅读 下载PDF
基于时序逻辑语言描述的监控系统的软件体系结构求精 被引量:2
2
作者 张广泉 戎玫 晏荣杰 《计算机工程与应用》 CSCD 北大核心 2003年第31期14-17,共4页
该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例———移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述。
关键词 软件体系结构 监控系统 组件 求精 时序逻辑 xyz/e
在线阅读 下载PDF
软件体系结构求精方法研究 被引量:21
3
作者 戎玫 张广泉 《计算机科学》 CSCD 北大核心 2003年第4期108-110,共3页
Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of ... Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of software engineering. In this paper,our research work focus on refinement methods of software architecture. By studying the several refinement methods for software architectural design,we present a component-based refinement method that refines an architectural design by replacing a component's static semanucs to its dynamic semantics. 展开更多
关键词 软件工程 软件体系结构 软件系统 求精方法 系统组件
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部