2007年第31届COMPSAC：中国北京-第1卷
2007年7月24日至27日在中国北京举行的2007年第31届国际计算机软件和应用大会。 第1卷。 IEEE计算机学会 2007 ，国际标准图书编号 978-0-7695-2870-0
面板
布鲁斯·麦克米林 :
未来趋势：计算作为一门核心学科。 3-7 大卫·卡德 :
产学研合作与技术转型的挑战与经验。 8-9 保罗·贝拉维斯塔 :
“下一代融合网络和服务的中间件：神话还是现实？”。 10-15 萨赫拉·塞迪格 
:
计算伦理。 16 斗焕裴 :
小型组织的软件过程改进。 17 陈宁华 :
全体小组标题：移动互联网软件。 18 拉杰什·苏布拉曼扬 :
测试自动化实践。 19
安全跟踪
通信安全
纳维亚·西德哈特 , 刘继刚 :
增强Web服务安全性的框架。 23-30 李云发 , 海金 , 邹德清 , 陈洁云 , 韩宗芬 :
一种可扩展的网格安全组通信服务方案。 31-38 王霞（Xia Wang） , 约翰尼·王 :
无线自组织网络中虫洞攻击的端到端检测。 39-48
建模安全性
穆尼鲁尔·哈克 , 谢赫·伊克巴尔·阿哈默德 :
普适计算环境的全能形式信任模型（FTM）。 49-56 穆尼鲁尔·哈克 , 谢赫·伊克巴尔·阿哈默德 , 李海峰 , K.M.易卜拉欣·阿西夫 :
一种适用于普适计算环境的基于身份验证的轻量级设备发现（ALDD）模型。 57-64 科姆桑·斯里维苏特 , Pornsii Muenchaisri公司 :
定义和检测面向方面软件的不良气味。 65-70
漏洞-检测和评估
阎丽 , 程绍斌 , 陆章 , 谢冰冰（Bing Xie） , 孙佳素 :
挖掘用户查询日志以优化组件描述。 71-78 文卡塔U.B.查拉古拉 , 法罗赫·巴斯塔尼 , 雷蒙德·保罗 , 蔡伟泰（Wei-Tek Tsai） , 陈一农 :
一种基于机器学习的关键软件系统可靠性评估模型。 79-86 祥福 , 新路 , 鲍里斯·佩尔茨弗格 , 陈世军 , 凯茜 , 陶立新 :
用于检测SQL注入漏洞的静态分析框架。 87-96
基础设施、网络和安全
吉兹兰·埃尔·布塞迪 , 哈菲德·米利 :
用于表示和应用设计模式的模型驱动框架。 97-100 Travis C.服务 , 丹尼尔·托里茨 , 威廉·西弗 :
基础设施强化：受新达尔文主义军备竞赛启发的竞争性共同进化方法。 101-104 王世辉 , 张燕 , 王伟（音译） :
可靠的自聚类P2P覆盖网络。 105-108 戈蒂尔·巴斯蒂德 , 阿卜杜勒哈克·斯里艾 , 穆拉德·乌萨拉 :
针对运行时结构调整的软件组件重组。 109-114
要求
设计和建模
陶伟 , 毛健（Jian Mao） , Wei Zou（魏邹） , 于晨 :
在二进制可执行文件中构造双向分支。 115-118 Sindolfo Miranda Filho公司 , 路易斯·爱德华多·库纳·莱特 , Guido Lemos de Souza Filho公司 , 西尔维奥·罗梅罗（Silvio Romero de Lemos Meira） :
FLEXCM-自适应嵌入式系统的组件模型。 119-126 苏哈迈·昆都 :
为自动化设计和验证构建软件功能需求。 127-136
运行模型
宋西平 , 碧翠丝·黄 , 吉尔伯托·马托斯 , 阿诺德·鲁道夫 :
了解和分类计算机辅助医疗工作流的要求。 137-144 杜布拉夫卡伊利奇 :
从非正式需求衍生正式规范。 145-152 卢志维 , 威廉·朱棣文 , Chih-Hung Chang先生 , 王清浩（音译） :
基于模型的面向对象的需求工程方法（MORE）。 153-156 林立文 , 苏珊娜·恩伯里（Suzanne M.Embury） , 布莱恩·沃博斯 :
支持在数据库应用程序中实现业务规则的工具。 157-162
基于事件和基于状态的建模
阿勒姆·本·尤恩斯 , 蕾拉·杰姆尼·本·艾耶德 :
将UML活动图和事件B用于分布式和并行应用程序。 163-170 Moshiur Bhuiyan公司 , M.M.Zahidul伊斯兰 , 阿内什·克里希纳 , Aditya Ghose公司 :
使用效果注释集成面向代理的概念模型和UML活动图。 171-178 贝贝因 , 白成钢 , 蔡开元 :
一种用于软件状态定义的数据挖掘方法。 179-188
需求挖掘本体
李宗勇 , 王志学 , 杨莹莹 , 岳武 , 刘莹（音） :
面向需求诱导和重用的多本体框架。 189-195 健翔 , 林刘（Lin Liu） , 魏乔 , 杨靖伟 :
SREM：一种基于本体的服务需求诱导机制。 196-203 温州 , 刘宗田 , 燕赵 :
基于模糊形式概念分析的聚类本体学习。 204-210
分析与建模
张一坤 , 彭寅 , 杜武翠 , 慧霞 :
一种需求不一致性分析方法。 211-214 维沙尔·萨达纳 , 小青Frank Liu :
使用功能和非功能需求的综合分析分析非功能需求之间的冲突。 215-218 小河 , 马志毅 , 邵伟忠 , 葛丽 :
图形建模语言符号的元模型。 219-224
生命周期
Internet和基于Web的系统
舒巢湾 , 魏军（Jun Wei） , 宋靖宇 , 华中 :
用于组合交互式Web服务的满意度驱动方法。 225-232 张晓明 :
通过事务添加和删除实现数据挖掘中的知识隐藏。 233-240 克拉丽莎·卡萨莱斯·马奎赞 , 卡洛斯·拉涅里·保拉·多斯·桑托斯 , 埃沃顿·蒙泰罗萨尔瓦多 , 玛丽亚·詹妮斯·博斯克罗利·阿尔梅达（Maria Janilce Bosquiroli Almeida） , 塞尔吉奥·路易斯·塞钦 , 里桑德罗·赞比内德蒂（Lisandro Zambenedetti Granville） :
Web服务和基于P2P的网络管理覆盖中通知的性能评估。 241-250
基于组件的软件和体系结构
傅纪成 , 法罗赫·巴斯塔尼 , I-Ling Yen先生 :
自动代码合成上下文中的迭代规划。 251-259 魏丽 , 赵志坤 :
自动化非停止数据流系统的动态重新配置。 260-267 肯德拉·M·L·库珀 , 乔昂·W·坎古苏 , W.Eric Wong :
自治自适应系统设计和分析的体系结构框架。 268-278
嵌入式系统
泽维尔·盖林 , 卡塔琳·波波维奇 , 瓦西姆·优素福 , 法国卢梭 , 艾哈迈德·阿明·杰拉亚 :
异构多处理器系统芯片的灵活应用软件生成。 279-286 格雷厄姆·海明威 , 杭素 , 陈凯（Kai Chen） , 古德健 :
用于嵌入式系统设计的语义锚定基础设施。 287-294 塞尔吉奥·索亚雷斯 , 保罗·博尔巴 , 里卡多·马萨·费雷拉·利马 :
面向方面编程的并发控制模块化。 295-300
工艺和维护
胡安·李 , 南江 , 李明淑 , 王庆（音） , 杨燕武 :
通过三维软件开发模型跟踪项目。 301-308 新疆 , Tien N.Nguyen先生 , 卡尔·K·张 , 费东 :
可追溯性将进化管理与增量潜在语义索引联系起来。 309-316 Renuka Sindhgatta公司 , 克里希纳库马尔·普洛斯 :
通过对源代码应用事务聚类来识别软件分解。 317-326
服务质量
服务质量和性能
刘燕（Yan Liu） , 伊恩·戈顿 , 朱黎明 :
基于企业服务总线的面向服务应用程序的性能预测。 327-334 王千祥 , 刘永刚 , 李敏（音） , 洪梅 :
Web服务的在线监控方法。 335-342 昭通 , 高小鹏 , 魏晨 , 向龙 :
SQS：移动服务的安全和QoS保证解决方案。 343-352
服务质量和服务构成
宋靖宇 , 魏军（Jun Wei） , 舒巢湾 , 华中 :
门户中面向交互实例的Web应用程序集成方法。 353-360 高春明（Chunming Gao） , 蔡美玲 , 火王陈 :
基于树编码遗传算法的QoS感知服务组合。 361-367 白小英 , 徐德政 , 戴桂兰 :
面向服务架构的动态可重构测试。 368-378
服务质量建模与验证
周晶 , 曾国孙 :
网格服务组合的有效性检查。 379-382 大飞音 , 陈斌（Bin Chen） , 于芳 :
一种快速的数据网格副本选择算法。 383-387 王坤 , 武威沈 :
提高UML类模型恢复的准确性。 387-390 达利拉·塔姆扎利特 , 纳西玛·萨杜 , 穆拉德·乌萨拉 :
传递软件架构演进的连接器。 391-396
质量
验证和评估
W.K.Chan先生 , 杰弗里·C·F·何 , 谢霆锋 :
管道分类到变形测试：一项实证研究，旨在更好地识别网格简化程序中的故障。 397-404 杰森·普·武科维奇（Jayson P.Vucovich） , 罗伯特·B·斯通 , 小青Frank Liu , 艾伦·托姆 :
基于软件功能失效设计方法的早期软件设计风险评估。 405-412 安德烈斯·奥雷戈 , 格雷戈里·曼迪 :
SRAE：美国国家航空航天局飞行控制系统遗留人工物验证与确认的综合框架。 413-422
量化
卡特琳娜·戈塞娃-波普斯托亚诺娃 , 玛格丽特·哈米尔 :
基于体系结构的软件可靠性：为什么只有几个参数重要？ 423-430 赛张（Sai Zhang） , 赵建军 :
关于识别面向方面程序中的错误模式。 431-438 楚铁林 , 金玉黄 , 川庆苏 :
通过基于仿真的方法测量和评估软件可靠性增长。 439-448
测试的覆盖范围和优先级
W·埃里克·王 , 于琪 , 赵磊 , 蔡开元 :
使用代码覆盖率进行有效的故障定位。 449-456 Jun-Ru Chang先生 , 黄钦宇 :
用于软件测试的增强MC/DC覆盖标准的研究。 457-464 博区 , 聂长海 , 徐宝文 , 张晓芳 :
黑盒测试的测试用例优先级。 465-474
规范和验证
英金 :
顺序Java程序协议属性的形式验证。 475-482 费雪 , 刘怀玉 :
硬件/软件联合验证的统一属性规范。 483-490 徐殿香 , 伊扎特·阿尔斯马迪 , 徐伟峰 :
面向方面的设计规范模型检查。 491-500
分析和测试
张静波 , 赵荣才 , 彭建民 :
二进制可执行文件的参数和返回值分析。 501-508 连瑜 , 肖文平 , 常言池 , 林玛（Lin Ma） , 苏慧（Hui Su） :
协作实时编辑工具的测试用例生成。 509-516 戴桂兰 , 白晓英 , 王永波 , 戴凤军 :
基于合同的Web服务测试。 517-526
质量、多样性和服务
崔晓峰 , 孙延春 , 黄刚（Gang Huang） , 洪梅 :
架构（architecture）适配解决任务关键型系统中的多重质量属性标准。 527-530 年林学 , 彭华初 , 乔纳森·李 , 威廉·朱棣文 :
设计模式的质量验证模型。 531-534 石井丰田章男 , Tadashi Dohi公司 , 冈村博彦 :
二元软件故障检测模型。 535-538 阿西夫·库默 , Brian Henderson-Sellers公司 :
使用敏捷软件解决方案框架（ASSF）和情境方法工程构建敏捷软件产品增强过程。 539-542 冯晨 , 杨洪记 :
面向模型的演化再记录。 543-548
工业轨道
流程模型
米拉·卡伊科·马特森 , 米塔 , 卢卡斯·威尔切克 :
瑞典四大组织的现代化实践状况。 549-556 托马斯·维戈尔德 , 托尔斯滕·克拉姆 , 彼得·布勒 :
ePVM—一种可嵌入的流程虚拟机。 557-564 郑云翔 , 李雷（Lei Li） , 海湾 :
中国电子政务系统中基于状态的过程描述模型。 565-568 朱哈·萨沃莱宁 , 伊恩·奥利弗 , 瓦瓦娜·梅尔内米 , 托米·蒙尼斯托 :
分析和重组产品线相关性。 569-574
数据、存储库、设计方法
Dragos Truscan公司 , 蒂贝里乌·塞塞莱亚努 , 汉努·腾胡宁 , 约翰·利留斯 :
面向多处理器平台的设计方法。 575-578 瓦尼尔森·阿鲁达·布雷吉奥 , 爱德华多·桑塔纳（Eduardo Santana de Almeida） , 丹尼尔·卢塞迪奥 , 西尔维奥·罗梅罗（Silvio Romero de Lemos Meira） :
重用库的规范、设计和实现。 579-582 斯蒂芬·克劳奇 , 彼得·亨德森 , 罗伯特·约翰·沃尔特斯 :
DataWarp：使应用程序能够在面对矛盾或不一致的数据时取得进展。 583-590 凌莉 , 圣群堂 , 丽娜·芳 , 如梁晓 , 新国登 , 徐友伟 , 杨旭 :
VOEditor：语义Web资源本体构建和协同查询的可视化环境。 591-600
网络和分发
张伟山 , 董翰（Dong Han） , 托马斯·孔茨 , 克劳斯·马吕斯·汉森 :
手机游戏开发：是否面向对象。 601-608 马赫迪·尼亚马内什 , 拉苏尔·贾利利 :
网络系统协议栈的动态可配置体系结构。 609-612 九元获 , 刘立群 , 李柳 , 易阳 , 连丽 :
网格系统中分布式资源信息服务的研究。 613-618
快速摘要
软件工程方法和工具
Aurélie Aurilla Bechina Arntzen公司 :
面向服务的体系结构：集成需求。 619-620 陈振宇 , 徐宝文 , 聂长海 :
比较通用布尔规范的基于错误的测试策略。 621-622 M.E.Fayad先生 :
用于性能评估的模式拓扑。 623-624 沈章（Shen Zhang） , 王永吉 , 冯媛 , 李阮 :
挖掘软件存储库以了解个人开发的性能。 625-626 保罗·维尔塞西 , 阿尔贝托·巴托利 :
基于Internet的工作流的自适应性能调整。 627-628 于军（Jun Yu） , 徐斌（Bin Xu） , 华虎 :
软件评审中的能力成熟度。 629-630 王忠斌 :
Fuxi：嵌入式系统的敏捷开发环境。 631-632 柯江 , 张磊（Lei Zhang） , 三宅茂 :
OCL4X：用于UML模型执行的动作语义语言。 633-636
软件应用程序
朱志坚 , 穆罕默德·祖尔克宁 :
面向方面的入侵检测框架。 637-638 查海平 , 文丽杰 , 王建民 :
创新的工作流产品结构。 639-640 毛成英 , 张金龙 , 陆燕生 :
基于矩阵的组件软件变更影响分析。 641-642 Ya-tao Yang（杨雅涛） , 郑元 , 永芳 , 曾萍（Ping Zeng） :
一种新的基于信任值更新模型的Adhoc网络认证方案。 643-645 迈克尔·德拉·马扎 :
Luv：描述人际关系的编程语言。 645-646 高春明（Chunming Gao） , 袁晓娟 , 火王陈 :
Web服务组合执行引擎中服务代理的执行机制。 647-648 张树良 , 甘佳彦 , 李志淼 , 吕国念 , 黄嘉珠 :
基于Web Service的GML空间互操作性研究。 649-656 朱飞翔 , 张英军 , 柏林朱 :
基于ArcIMS的电子海图服务Web系统。 657-661
博士生论坛
瓦利萨·隆赛尤德 , Somnuk Kereto公司 :
选择COTS组件指南的挑战。 661-663 塔蒂安·马塞多·普鲁登西奥·洛佩斯 , 克洛维斯·托雷斯·费尔南德斯 :
基于组件的软件编码和测试的管理和控制。 664-666 萨布南·森古普塔 , Swapan Bhattacharya公司 :
面向对象系统的功能规范：模型驱动框架。 667-672 穆罕默德·伊扎迪 , 阿里·莫瓦加尔 , 法哈德·阿巴布 :
组件连接器的模型检查。 673-675 刘轩哲 , 黄刚（Gang Huang） , 洪梅 :
走向最终用户服务组合。 676-678
