2011年亚太经合组织第18届会议:越南胡志明市
Tran Dan Thu公司 , 卡尔·R·P·H·梁 :
2011年12月5日至8日,第18届亚太软件工程大会,APSEC 2011,越南胡志明。 IEEE计算机学会 2011 ,国际标准图书编号 978-1-4577-2199-1
项目管理与软件工程教育
斋藤昭 , 贵霜Takumi Kusanagi , 大岛纯一郎 :
一种基于负荷能力模型的同步项目调度和资源约束方法。 1-8 弗兰克·帕德伯格 , 大卫·维斯 :
基于强化学习的软件项目优化调度。 9-16 陈健(Jian Chen) , 邱国勇 , 刘元 , 李章 , 陆刚(Gang Lu) :
评估软件工程教育中的团队合作绩效:一个软件工程本科课程案例。 17-24
软件安全
马克·弗拉皮耶 , Amel哺乳动物 :
证明可达性不干涉:一种改进方法。 25-32 徐振波 , 张健(Jian Zhang) , 徐忠兴 :
基于内存状态转移图的内存泄漏检测。 33-40 Caglar Ulucenk公司 , 维杰·瓦拉达拉扬 , 文卡特桑·巴拉克里希南 , 乌达亚·基兰·图帕库拉 :
分析PDF恶意软件的技术。 41-48
形式化方法
尤利娅·普罗霍罗娃 , 利纳斯·莱比尼斯 , 埃琳娜·特鲁比西纳 , Kimmo Varpaaniemi先生 , 蒂莫·拉塔瓦拉 :
分层控制系统模式逻辑的推导和形式验证。 49-56 阿蒂夫·马斯科尔 , Jean-Pierre提花 :
正式规范的逐步验证。 57-64 阿明·拉吉 , 菲利普·达西 :
可伸缩模型检查的用例建模。 65-72
软件测试I
刘少英 , Shin Nakajima先生 :
基于形式规范的测试用例自动生成的“振动”方法。 73-80 孔伟强 , 诺里尤基·卡塔希拉 , 渡边正彦 , 片山哲郎 , 久津贤治 , 福田 晃 :
利用基于SMT的有界模型检查对层次状态转移矩阵中的软件设计进行形式化验证。 81-88 建新学 , 郑永平(Yung-Pin Cheng) , 潘伟成 :
带有失败测试用例集群的入侵测试自动化。 89-96 阿尔贝托·巴斯蒂亚斯 , 西德哈特·比哈里 , 苏曼·罗伊 :
使用In-house Infosys工具对BPM流程建模的错误进行自动分析。 97-105
软件体系结构I
埃班·埃斯科特 , 保罗·斯特罗珀 , Jörn Guy Süß , 保罗金 :
以体系结构为中心的模型驱动Web工程。 106-113 哈坎负担 , 罗加德·赫尔达尔 , 托尼·西尔贾马基 :
可执行和可翻译UML——它有多困难? 114-121 扎赫拉·佐里凡德 , 尤塞夫·梅赫达德·比巴兰 , Raman Ramsin公司 :
面向情景方法工程中模型驱动开发应用框架。 122-129 小河 , 马志毅 , 刘毅(音) , 陈洪杰 , 邵伟忠 :
VisTML:一种用于模型转换的可视化建模语言。 130-137
维护和发展
刘开平 , Hee Beng Kuan Tan先生 , 徐晨 :
从数据库应用程序中提取属性依赖关系图。 138-145 阿什什·苏雷卡 , 桑吉塔·拉尔 , 幸运的阿加瓦尔 :
应用Fellegi-Sunter(FS)模型在Bug数据库和版本档案之间进行可跟踪链接恢复。 146-153 Thi Thanh Huyen Phan先生 , 大岛纯一郎 :
协同软件开发中的不一致性意识。 154-162 Katsunori Oyama公司 , 竹内松司(Atsushi Takeuchi) , 明华 , 卡尔·K·张 :
用于识别真实用户监控中的用户问题的概念格。 163-170
软件测试II
阿里·沙赫罗尼 , 罗伯特·费尔特 :
RobusTest:软件健壮性自动测试框架。 171-178 赵云山 , 王亚文 , 云战宫 , 陈红河 , 清晓 , 杨兆红 :
STVL:使用符号三值逻辑提高静态缺陷检测的精度。 179-186 埃班·埃斯科特 , 保罗·斯特罗珀 , 斯泰尔 , 保罗金 :
在模型驱动的Web工程中集成基于模型的测试。 187-194年 比约恩·巴特尔斯 , 萨宾·格莱斯纳 :
使用定时CSP验证分布式嵌入式实时系统及其底层实现。 195-202
软件体系结构II
Shin Nakajima先生 :
基于PHP的动态自适应Web应用程序的体系结构。 203-210 青山美久 , Hayaki Tanabe先生 :
基于行为特性的实时分布式软件体系结构设计方法及其在高级汽车软件中的应用。 211-218 Bouthina Bannour公司 , 克里斯托夫·加斯顿 , 大卫·塞尔瓦特 :
用符号技术从时序图中引出酉约束:在测试中的应用。 219-226
度量和测量
李祖德 , Jun Long先生 :
从缺陷的角度度量软件架构退化的案例研究。 242-249 杨元 , 姚国 :
CMCD:基于计数矩阵的代码克隆检测。 250-257
验证和确认
大江所 , 安金霞 , 朱继红 :
集成模块化航空电子设备中基于AADL的建模和基于TPN的重构验证。 266-273 姜晨 , 青木东崎 :
使用模型检查对OSEK/VDX操作系统进行一致性测试。 274-281 Thanh H.D.Nguyen先生 , 布拉姆·亚当斯 , 镇明江 , 艾哈迈德·哈桑 , 穆罕默德·纳赛尔 , 帕敏德·弗洛拉 :
使用控制图自动验证负载测试。 282-289 卢卡斯·塞尔帕·席尔瓦 , 易伟 , 贝特朗·梅耶 , 曼纽尔·奥利奥 :
Evotec:为合同装备项目制定最佳测试策略。 290-297
软件体系结构III
松下佐田 , 马萨米·诺罗 , Han-Myung Chang先生 , 吉纳里·哈奇苏(Yoshinari Hachisu) , 吉田笃史 :
用于记录精确架构(Architecture)决策的设计图。 298-305 罗萨里奥·吉安达 , 朱塞佩·帕帕拉多 , 埃米利亚诺·特拉蒙塔纳 :
用于控制应用程序类在设计模式中扮演的角色的方面和注释。 306-314 乌拉尔·埃尔德米尔 , 乌穆特·泰金 , 费扎·布兹卢卡 :
基于社区结构的面向对象软件聚类。 315-321 阿扎德·阿勒布拉欣 , 丹尼斯·哈特布尔 , 玛丽塔·海塞尔 :
一种从质量需求中派生软件体系结构的方法。 322-330
项目分析
李维玛 , 吴叶芝 , 和维金·克里斯汀·加索 :
为文档目的推荐适当的API代码示例。 331-338 Sirinut Thangthumachit公司 , Shinpei Hayashi公司 , Motoshi Saeki先生 :
通过分离重构效果了解源代码差异。 339-347 安德烈亚斯·斯文森 , Ø伊斯汀·豪根 , 伯格·莫勒·佩德森 :
使用可变模型减少火车站模型的验证工作量。 348-356
需求工程
中田隆子 , 藤井俊彦 , Michio Tsuda先生 , 玛丽·伊诺基 , Shouzo Hori公司 , 凯伊奇·卡塔明 :
通过可访问性和稳定性进行需求成熟度分析。 357-364 于成图 , 克拉克·汤博森 , 伊万·D·坦佩罗 :
软件工程中对透明度的幻想和看法。 365-372 Osamu Shigo公司 , 横山真如 :
基于问题框架的状态机分析支持系统。 373-380 陈晓红 , 刘静(音译) , 油炸木槌 , 织金 :
使用CCSL在问题框架中建模时间需求。 381-388
软件过程和质量
吴文锦(Wenjin Wu) , 文章(Wen Zhang) , 叶阳 , 王庆(音) :
DREX:K-Nearest-Neighbor Search and Expertise Ranking的开发者推荐。 389-396 Xin Dong(新东) , 杨秋松 , 王庆(音) , 翟健 , Günther Ruhe先生 :
极限编程中迭代规划的价值-风险权衡分析。 397至404 吉姆·巴肯 , 凌莉 , 斯蒂芬·麦克唐纳 :
测试驱动开发的原因、好处和挑战:实践者的看法。 405-413 科姆兰·阿克佩德杰·科吉 , Minh Tu Ton那个 , 伯纳德·库莱特 , 雷杜安·巴思 , Hanh Nhi Tran公司 , 马哈茂德·纳赛尔 :
面向协作过程建模和实施的工具支持方法。 414-421