SwSTE 2005:以色列Herzelia
2005年IEEE软件科学、技术和工程国际会议(SwSTE 2005),2005年2月22日至23日,以色列赫泽利亚。 IEEE计算机学会 2005 ,国际标准图书编号 0-7695-2335-8 主席致辞。 关于IEEE计算机协会以色列分会。 关于ILTAM。 委员会和主席。 审查人。
第1.1节: 软件体系结构
埃兰·鲁宾 , 耶尔魔杖 :
支持领域语义表示的软件体系结构。 3-12 塔里·沙龙 , 塞尔克 , 拉尔斯·瓦格纳 , 阿里尔·弗兰克 :
CarCoach:教育车系统的通用分层体系结构。 13-22 什洛米·多列夫 , 奥里·格尔斯滕 :
强大的主动超级系统。 23-33
第1.2节: 软件体系结构和建模
洛里斯·彭塞里尼 , 保罗·布雷西亚尼 , 茨维·库弗利克 , 保罗·布塞塔 :
使用Tropos为自适应系统的基于Agent的体系结构建模:环境智能中的案例研究。 37-46 多夫·多里 , 罗曼·费尔德曼 , 阿诺·斯特姆 :
将操作系统模型转换为数据仓库模型:技术综述。 47-56 多夫·多里 , 罗曼·费尔德曼 , 阿诺·斯特姆 :
一种基于OPM的操作系统模型到数据仓库模型的转换方法。 57-66 刘伟(音译) , 刘宗田 , 百胜石 :
AOMG环境:基于网格的面向Agent的分析和设计建模环境。 67-74
第1.3节: 软件设计和重新设计
多夫·多里 , 瓦莱丽亚·佩雷尔曼 , 加利亚·施莱辛格 , 艾丽斯·莱因哈特斯·伯杰 :
从面向对象语言到对象处理方法论的基于模式的设计恢复。 77-82 埃兰·加尔 , 西万·托莱多 :
闪存映射结构:技术和开放问题。 83-92
第2.1节: 软件过程改进
丹尼尔·加林 , 莫蒂·阿夫拉哈米 :
执行SQA项目工作-CMM工作。 元分析。 95-100 罗尼特·安科里 :
敏捷过程中的自动需求启发。 101-109 什洛米特·莫拉德 , 茨维·库弗利克 :
Orbotech的传统和开放源代码软件重用-工业体验。 110-117
第2.2节: 软件测试
第2.3节: 软件验证
约翰·多夫兰 , 艾纳·布罗赫·约翰森 , 奥拉夫·奥韦 :
使用异步方法调用验证并发对象。 141-150 以及阿沙夫·哈里尔 , 埃利泽·坎托罗维茨 :
估算通过迭代代码评审检查的软件代码文档中剩余的故障数。 151-160
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)