ICSEA 2007:法国里维埃拉埃斯特雷尔角
-
2007年8月25日至31日,第二届软件工程进展国际会议论文集,法国里维埃拉埃斯特雷尔角。 IEEE计算机学会 2007 ,国际标准图书编号 0-7695-2937-2
基础I
蓬特斯·约翰逊 , 马蒂亚斯·埃克斯特德 :
寻求软件工程的统一理论。 1 Dhafer Thabet公司 , 拉米娅·哈辛 , 亨达·哈贾米·本·盖扎拉 :
情境安全Web服务设计方法。 2 巴斯蒂安·德勒 , 沃尔特·多什 :
从代数规范的签名到面向对象类签名的集合。 三 米盖尔·安杰尔·佩雷斯·托莱达诺 , Amparo Navasa Martínez水族馆 , 胡安·曼努埃尔·穆里略 , 卡洛斯运河 :
TITAN:面向方面的系统演化框架。 4 雷达·本德拉乌 , 玛丽·皮埃尔·杰维斯 :
过程技术领域分类和比较框架。 5
基础II
赫维格·曼纳特 , 简·维勒斯特 , 克里斯·文 :
探索确定性软件工程的概念:服务接口、模式扩展和稳定性。 6 西蒙·纳赛尔·马托斯 , 克洛维斯·托雷斯·费尔南德斯 :
在域框架开发的分析阶段测量重用。 7 尼娜·莫比乌斯 , 多米尼克·汉伯格 , 沃尔夫冈·雷夫 , 格哈德·谢尔霍恩 :
安全可靠的电子商务应用程序开发的建模框架。 8 Osamu Takaki先生 , Seino高弘 , 伊祖米·武提(Izumi Takeuti) , 岩井法喜 , 高桥幸一 :
扩展UML活动图中证据生命周期的验证算法。 9 托尼·库尼亚迪·萨蒂亚南达 , 李丹亨 , Sungwon Kang先生 :
软件产品线中特征模型与软件体系结构一致性的形式化验证。 10
基础III
巴特·J·F·德·斯梅特 , 克里斯托夫·斯图博 , 索菲·范·霍克 , 菲利普·德·图尔克 , 巴特·德霍特 :
Windows Workflow Foundation的动态工作流规范。 11 普拉巴特·兰扬 , 阿伦·库马尔·米斯拉 :
改进基于Agent的软件开发过程。 12 诺丽 , 毛忠金 , 刘超(Chao Liu) :
用于用户输入验证测试的Web应用程序模型恢复。 13 李净月 , 苏晓萌 :
运用实物期权思想进行成本效益安全决策。 14 Hanh Nhi Tran公司 , 伯纳德·库莱特 , Bich Thuy Dong公司 :
建模过程模式及其应用。 15
基础IV
乔瓦尼·巴托洛梅奥 , 卡萨利基奥 , 斯特凡诺·萨尔萨诺 , 尼古拉·布莱法里·梅拉齐 :
下一代移动服务的设计和开发工具。 16 孙一峰 , 利维 :
UML-RT中模式转换的建议。 17 Jaana Nyfjord公司 , 米拉·卡伊科·马特森 :
风险管理和敏捷过程模型的共性。 18 西蒂·罗奇马 , Wan M.N.Wan-Kadir先生 , 阿卜杜勒·H·阿卜杜拉 :
支持软件进化的可追溯性方法评估。 19 阿里·卡曼迪 , 贾法尔·哈比比 :
基于OSAN的一种新的可分析体系结构描述语言。 20
基础V
塞米赫·塞廷 , N.Ilker Altintas公司 , Halit Oguztüzün , 阿里·多格鲁 , 奥兹古尔·图菲科奇 , 塞尔马·苏洛格鲁 :
使用Mashup将传统迁移到面向服务的计算。 21 彼得·休斯 , 雅各布·斯维雷·洛夫斯塔德 :
可量化软件部署的通用模型。 22 Frédéric Pourraz餐厅 , 埃尔维·维朱斯 :
Diapason:设计、执行和发展面向服务体系结构的工程方法。 23 梅赫雷斯·埃萨菲 , 拉米娅·拉比德·吉拉尼 , 亨达·哈贾米·本·盖扎拉 :
S2D-ProM:安全软件开发的面向策略的过程模型。 24 阿蒂夫·马斯科尔 , 乔·费尔南德斯 :
导出CRUD应用程序的软件架构:FPL塔接口案例研究。 25
基础VI
马拉·尼古拉杜 , 南希·阿列克索波卢 , 阿纳戈罗斯·查迪马斯 , 亚历山大·戴斯 , 迪莫斯坦尼斯·阿纳格诺斯托普洛斯 :
使用标准UML建模工具调整EIS UML 2.0概要文件。 26 克莱因·S·F·奥利维拉 , Toacy Cavalcante de Oliveira公司 :
模型构成指南。 27 艾哈迈德·阿尔萨迪 :
对UML通信图进行了重新修订。 28 雅罗斯拉夫·克拉尔 , 米查尔·泽姆利卡 :
最重要的面向服务的反模式。 29
性能I
汉努·梅耶拉 , 莫诺·Rönkkö :
函数类:Java中递归方法调用的成本。 31 郭祥峰 , 华忠 , 魏军(Jun Wei) , 韩东丽 :
基于内容的发布/订阅中过载管理的新方法。 32 阿恩·莫斯 , 斯坦·格杰辛 :
基于基数排序中缓存对算法效率影响的模型。 33 K.S.茉莉花 , R.瓦桑塔 :
应用相识图识别基于重用的软件产品中的软件性能瓶颈组件。 34
性能II
舒雪玲 , 弗兰克·莫勒 :
敏捷环境中Java3D应用程序的自动性能测试工具。 35 安东尼奥·哈维尔·加西亚·桑切斯 , 费利佩·加西亚·桑切斯 , 琼·加西亚·哈罗 :
中间件视频流服务的比较。 37 格雷戈·菲舍尔 , J.卢西亚迪 , 尤尔根·沃尔夫·冯·古登堡 :
抽象语法树及其在模型驱动软件开发中的作用。 38
测试I
迈克尔·盖瑟 , 托比亚斯·希尔登布兰德 , 弗兰兹·罗特劳夫 , 科林·阿特金森 :
分布式软件开发项目中需求工程方法的评估方法。 39 莱迪·杜·布斯克(Lydie du Bousquet) , 米歇尔·德劳奈 :
使用变异分析在同步上下文中评估测试生成策略。 40 拉尔斯·博纳 , 蒂玛·伊利斯·塞弗特 , 芭芭拉·佩奇 :
测试过程-基于决策的方法。 41 Nutchakorn Ngamsaoawaros公司 , Peraphon Sophatsathit公司 :
使用扩展有限状态机的测试域缩减新框架。 42 扎卡里亚·阿尔扎米尔 :
使用动态相关性分析的冗余耦合检测。 43
测试II
爱德华多·马丁斯·格拉 , 克洛维斯·托雷斯·费尔南德斯 :
安全地重构测试代码。 44 弗雷泽 , 弗兰兹·沃塔瓦 :
使用模型校验器的非确定性系统的测试用例生成和覆盖率分析。 45 蒂穆·坎斯特伦 :
面向基于跟踪的程序理解和测试自动化模型综合。 46 Chartchai Doungsa-ard公司 , 凯沙夫·帕·达哈尔 , 阿拉姆盖尔·侯赛因 , 塔拉蒂普·苏瓦纳沙特 :
使用GA从UML状态机图生成测试数据。 47 瑞恩·沃伊格特 , 卡里姆·法扎尔 , 哈桑·雷扎 :
使用测试流程图的基于规范的测试方法。 48
开发I
萨米拉·萨多伊 , 斯里索德赛爵士 :
多语言信息搜索工具。 49 法特梅赫·阿拉维扎德 , Alireza Hashemi内库 , 马尔扬·西尔贾尼 :
ReUML:反应系统建模和验证的UML概要文件。 50 索菲·戈德利斯 , 德克·德里德 , 埃伦·范·佩森(Ellen Van Paesschen) :
DEUCE:分离用户界面中的关注点。 51 阿萨夫·拉曼 , Shmuel S.Tyszberowicz先生 :
EasyCRC工具。 52
发展II
维克拉姆·索拉西亚 , 安努托什·迈特拉 :
态势感知统一过程。 54 大卫罗西 , 伊丽莎·图里尼 :
使用流程建模语言设计和实现流程驱动的应用程序。 55 马库斯·柯希伯格 :
支持同时处理的集成数据库编程和查询语言。 56
安全
克里斯蒂安·埃米格 , 弗兰克·勃兰特 , 塞巴斯蒂安·阿伯克 , 尤尔根·比尔曼 , 海科·克拉尔 :
面向Web服务的体系结构的访问控制元模型。 57 阿克拉姆·伊达尼 , 迪乌·唐纳·奥卡拉斯·奥萨米 , Jean-Louis布朗格 :
UML安全准则。 58 马丁·博尔特 , 本特·卡尔森 , 罗伊·马丁森 :
软件漏洞评估版本提取和验证。 59 雷乔·萨沃拉 :
面向信息和通信技术行业的安全度量分类。 60
高级应用程序
卡拉加萨米 , 塞尔温·朱斯塔斯 , 伊亚克提 :
基于知识的软件过程改进计划:理性分析。 61 Muneyuki Shimokura公司 , 水池中尼石 , 塔达希·奥塔 :
以基于规则的语言描述的家庭网络服务程序。 62 唐娜·L·哈德森 , 莫里斯·科恩 :
生物医学决策软件解决方案。 63 克里斯蒂娜·皮图拉 , Thiruvengadam Radhakrishnan公司 :
设计包容性技术的框架和过程。 64 布鲁诺·利马 , 小何塞·德·索萨。 , 丹尼瓦尔多·洛佩斯 :
使用MDA支持超媒体文档共享。 65 迈克尔·麦克马洪(Michael J.McMahon Jr.)。 , 塞尔吉乌·达斯卡鲁 , 小弗雷德里克·哈里斯。 , 胡安·基罗兹 :
网络连接设备管理的可扩展体系结构。 66
高级机制
Akiyoshi Wakatani先生 :
PC网格系统的PNN算法。 67 法布里奇奥·法布里尼 , 马里奥·福萨尼 , 斯蒂芬妮娅·格内西 , 朱塞佩·拉米 :
控制需求演化:一种基于形式概念分析的方法。 68 汉斯·阿尔布雷赫特·施密德 , 克里斯蒂安·马丁·巴拉诺夫斯基 , 马尔科·菲佛 :
分布式组件系统的可视化合成。 69
敏捷软件/经济
贾里·凡哈宁 , 卡斯珀·拉塞尼乌斯 , 米卡·曼蒂拉 :
采用结对编程时的问题和策略:纵向案例研究。 70 肯尼思·博内斯 , 瑞秋·哈丽森 :
目标草图:迈向敏捷需求工程。 71 欧内斯特·姆坎德拉 , 巴里·德沃拉茨基 :
敏捷方法选择工具箱。 72 辛西娅·莱斯特 :
鼓励本科生软件工程课程中的团队合作。 73 路易吉·拉瓦扎 :
超越总拥有成本:将平衡记分卡应用于开源软件。 74
部署和维护
伊万·加西亚 , 路易斯·苏亚雷斯 :
使用中小型企业的两阶段问卷确定项目管理的实践成就。 75 Ko现代 , 张吉勋(Gihun Chang) , 金康泰 :
数字媒体领域遗产系统的再造方法。 76 大宇金 , 林贤敏 , 李相康 :
KT-OSS维护测试活动案例研究。 77 Miia-Maarit Saarealinen公司 , 尤西·科斯基宁 , 贾莫·J·阿霍宁 , Irja Kankaanpää , 亨娜·西瓦拉 , 海基·林蒂宁 , 帕伊维·朱利塔宁 , Tero Tilus公司 :
工业软件进化中的群体决策过程。 78 罗伊·奥伯豪塞 , 赖纳·施密特 :
通过语义网改进软件供应链的集成。 79
ICSEA/IRP公司
安德烈·奥博勒 , 西蒙·洛克 , 萨默维尔 :
有针对性的改进。 80 格里奥·M·费雷拉 , 马塞洛·赞切塔·多纳西门托 , 卡西乌斯·D·R·阿西斯 , 罗德里戈·佩雷拉·拉莫斯 :
面向对象编程计算机语言教学:基于项目的学习。 81 彼得·库兹特 :
大型国际项目中的网格中间件开发-经验和建议。 82 阿尼尔·尚卡尔 , 胡安·奎罗斯 , 塞尔吉乌·达斯卡鲁 , 苏希尔·路易斯 , 莫妮卡·尼科尔斯库 :
Sycophant:用于研究上下文软件用户界面的API。 83 胡安·基罗兹 , 阿尼尔·尚卡尔 , 塞尔吉乌·达斯卡鲁 , 苏希尔·路易斯 :
进化用户界面设计研究的软件环境。 84