SET 2006:波兰华沙
Krzysztof Sacha公司 :
《软件工程技术:质量设计》,SET2006年10月17日至20日,波兰华沙。 国际投资促进会 227, 施普林格 2007 ,国际标准图书编号 978-0-387-39387-2 Krzysztof Sacha公司 :
前言。 五
软件架构和实现技术
Leszek A.Maciaszek公司 :
从经由孔的集线器到自适应元体系结构——“AD-HOC”方法。 1-13 彼得亚·科拉茨科夫斯基 , 伊洛娜·布鲁姆克 :
用于服务器端Internet应用程序的带有精确无阻塞垃圾收集器的C++工作台。 15-24 张燕(音译) , 余晓峰 , 田章 , 李宣东 , 郑国良 :
基于场景的组件行为过滤。 25-36 努尔·阿里 , 詹妮弗·佩雷斯 , 克里斯托巴尔·科斯塔·索里亚 , 伊西德罗·拉莫斯 , 何塞·A·卡利 :
面向方面软件架构中的移动环境。 37-48 马尔金·沃尔斯基 , 塞萨里·马祖雷克 , 巴维尔·斯皮卡拉 , 亚历山大·萨莫夫斯基 :
由自主模式驱动的分布式系统的体系结构。 49-60
建模
格格利·梅泽伊 , 蒂哈默·列文多夫斯基 , 哈桑·查拉夫 :
用于元建模和模型转换环境的优化OCL编译器。 61-71 安德烈亚斯·博林 :
跨越边界——从正式规范到半正式规范。 73-84 库尔特·盖斯 , 穆罕默德·乌拉·汗 , 罗兰·赖克勒(Roland Reichle) , 阿诺·索尔伯格 , 斯维恩·霍尔斯泰森 :
移动设备基于组件的自适应上下文软件应用程序建模。 85-96 张勇(音) , 陶晃 , 魏军(Jun Wei) , 陈宁江 :
一种基于中间件的组件系统性能分析基础设施。 97-108 托马斯·巴钦斯基 , 简·马戈特 :
多智能体系统平均响应时间的估计。 109-113 马金·斯皮尔卡 , 托马斯·斯穆克 :
使用RTCP网络进行建模和分析的综合方法。 115-120 康拉德·库拉科夫斯基 :
基于Java的软件的混合建模和验证。 121-126
项目管理
帕维尔·皮尔兹查尔卡 :
软件密集型项目的项目管理过程改进的进化方法。 127-138 诺曼·芬顿 , 卢卡斯·拉德林斯基 , 马丁·内尔 :
使用动态离散化改进的贝叶斯网络进行软件项目风险评估。 139-148 特蕾莎·G·科纳 , Lourdes E.Gonçalves公司 :
软件风险管理:过程模型和工具。 149-154
软件质量
伊沃娜·杜比列维奇 , 博古米拉·赫纳托夫斯卡 , 兹比格尼乌·胡扎尔 , 莱赫·图津基维奇 :
软件质量规范与评估(SPoQE)方法。 155-166 芭芭拉·贝吉尔 , 杰克·沃多利基 :
用户对软件产品的反馈,以提高其在工程应用中的质量。 167-178 巴维尔·沙努尔 :
实现和维护高质量的分布式J2EE应用程序-BeesyCluster案例研究。 179-190
验证方法
马西耶·多尔兹 , 马吕斯·瓦西列夫斯基 :
自动软件验证过程。 191-197 巴维尔·克拉切夫斯基 , 杰克·怀特雷博维奇(Jacek Wytrebowicz) :
j2eeprof&用于测试多层应用程序的工具。 199-210 蒂玛·伊利斯 , 芭芭拉·佩奇 :
基于缺陷分类法的基于用例的测试方法分析。 211-222 蒂洛·穆克尔 , 迈克拉·胡恩 :
在测试生成期间最小化测试执行时间。 223-235 李碧欣 , 盐城王 , 杨丽丽 :
多线程Java程序的集成回归测试框架。 237-248 胡安·加莱奥蒂 , 马塞洛·弗里亚斯 :
DynAlloy作为Java程序分析的形式化方法。 249-260 Jerzy Miescicki公司 :
使用并发状态机验证UML状态图。 261-271 巴托斯·博加奇 , 巴托斯·沃尔特 :
面向方面的反应注射:经典突变测试的替代方法。 273-282 安娜·德里金斯卡 :
适用于C#程序的高级变异运算符。 283-288
数据管理
帕维尔·西尼亚夫斯基 , 博格丹·特拉文斯基 :
ERP信息系统数据质量监控的开放平台。 289-299 Krzysztof Goczyla公司 , 特蕾莎·扎瓦兹卡 , 米查尔·扎瓦兹基 :
使用知识层管理来自异构数据源的数据。 301-312 马金·戈拉夫斯基 , Pawel标记 :
数据仓库中基于检查点的恢复。 313-323
软件维护
玛丽安·维特克 , 彼得·博罗万斯克 , Pierre-Etienne Moreau公司 :
C++重构浏览器和方法提取。 325-336 阿列克西·舒伯特 , 杰切克·克尔扎斯茨(Jacek Chrzaszcz) :
ESC/Java2作为确保Java应用程序源代码安全的工具。 337-348 莱斯泽克·科图尔斯基 , 阿德里安·诺瓦克 :
用aedNLC图语法形式化分布式环境中的软件重构。 349-360 杰切克·克尔扎斯茨(Jacek Chrzaszcz) , 托马斯·斯塔乔维奇 , 安德烈·盖西尼卡·萨梅克 , 阿列克西·舒伯特 :
Minik:维护适当Java代码结构的工具。 361-371 亨利克·克劳茨克 , 康拉德·杜萨 , 卢卡斯·巴德尼克 , 卢卡斯·拜茨科夫斯基 :
基于Web的系统现代化的多维遗留问题。 373-378
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)