第14届SEKE 2002:意大利伊斯基亚
第14届软件工程和知识工程国际会议论文集,SEKE 2002,伊斯基亚,意大利,2002年7月15-19日。 ACM公司 2002 ,国际标准图书编号 1-58113-556-4
主题演讲
莱昂内尔·布赖恩 :
在许多方面,软件工程可以从知识工程中受益。 3-6 维托尔德·佩德里茨 :
计算智能是一种新兴的软件工程范式。 7-14 吴新东 :
大型数据库中的知识发现。 15 保罗·丹齐格 :
大容量网站的体系结构和设计:(IBM体育和赛事网站的简史)。 17-24
软件工程的人工智能方法
卡洛斯·费尔南德斯·康德 , 佩德罗·冈萨雷斯-卡莱罗 :
FrameDoc中面向对象框架的领域分析。 27-33 法比奥·兹洛特 , 卡提亚·马尔萨尔·德·奥利维拉 , 安娜·里贾娜·罗查 :
建模任务知识以支持软件开发。 35-42 莱昂内尔·布赖恩 , 杰峰 , Yvan Labiche公司 :
使用遗传算法和耦合措施设计最优集成测试顺序。 43-50 安娜·佩里尼 , 安吉洛·苏西 , 福斯托·金奇利亚 :
多智能体系统中的协调规范:使用Tropos方法从需求到体系结构。 51-54
知识工程工具和技术
亨利克·埃里克森 , 埃里克·伯格伦德 , 彼得·内瓦莱恩 :
对Java文档查看器使用知识工程支持。 57-64 穆尼拉·哈扎拉 , 米歇尔·勒克莱尔 , 弗兰基·特里谢 :
CommOnCV:对简历中的能力进行建模。 65-71 穆拉德·乌萨拉 :
面向组件的KBS。 73-76 安东尼奥·切拉 , 马西莫·科斯蒂诺 , 罗伯托·皮罗内 , 安德烈亚·鲁西 :
为机器人环境建模本体。 77-80
知识表示与检索
迭戈·卡尔瓦内斯 , 蒂齐亚娜·卡塔西 , 毛里齐奥·伦泽里尼 , 朱塞佩·桑图奇 :
劳林的多语种同义词库。 83-90 Yunmook Nah公司 , 菲利普·C·Y·休 :
神经科学数据库的图像内容建模。 91-98 提供Drori :
文档排序算法:思想和模拟结果。 99-102 阿尔梅林多·格拉齐亚诺 , 斯蒂法诺·鲁索 , 文森佐·维奇奥 , 保罗·福斯特 :
QoS感知信息管理系统的元数据模型。 103-106
软计算
文森佐·洛亚 , 萨布丽娜·塞纳托雷 , 玛丽亚·塞萨 :
LearnMiner:用于发现网络教学资源的演绎、宽容的代理。 109-115 路易吉·迪·拉西奥 :
Hilbertian系统,分析模糊表和有理pavelka逻辑中的切割规则消除。 117-124
需求工程
本特·安达 , 达格·伊克·舍伯格 :
面向用例模型的检查技术。 127-134 乔治·斯帕努达基斯 :
合理的适应性需求跟踪结构。 135-142 埃吉迪奥·阿斯泰西亚诺 , 吉安娜·雷吉奥 :
需求规范中的知识结构和表示。 143-150 卡门·梅丹奇克 , 玛丽亚诺·蒙托尼 , 格雷森·桑托斯 :
学习组织知识:需求工程的进化建议。 151-157 Günther Ruhe先生 , 阿明·埃伯林 , 迪特马尔·普法尔 :
定量WinWin:一种新的需求协商决策支持方法。 159-166 安娜·M·D·莫雷拉 , Joáo AraüJo , 伊莎贝尔·索菲亚·布里托 :
需求工程的横切质量属性。 167-174 劳伦斯·钟 , 肯德拉·M·L·库珀 :
基于知识的COTS软件需求工程方法。 175-182 曼努埃尔·科尔普 , 保罗·乔治尼 , 约翰·米洛波洛斯 :
通过社会结构发展信息系统。 183-190
形式化方法
徐殿翔 , 理查德·沃尔兹 , 托马斯·伊奥尔格(Thomas R.Ioerger) , 甄子丹(John Yen) :
使用谓词/转换网络对多代理行为进行建模和验证。 193-200 Gennaro Costagliola公司 , 文森佐·杜夫米亚 , 菲洛梅娜·费鲁奇 , 卡米娜·格拉维诺 :
使用扩展位置语法开发可视化建模语言。 201-208 巴雷特·布莱恩特 , 卡罗尔·C·伯特 , 米哈伊尔·奥古斯顿 , 拉杰夫·拉杰 , 安德鲁·奥尔森 :
使用两级语法的生成性组件组装的形式化规范。 209-212 加布里埃拉·阿兰达 , 毛利小五郎 :
用于验证复合设计模式的形式化模型。 213-214
软件领域建模和元建模
Jean-Louis Sourrouille公司 , 盖伊·卡普拉特 :
UML建模中的约束检查。 217-224 K.苏珊娜·巴伯 , 吉姆·霍尔特 , 杰夫贝克 :
领域参考体系结构的性能评估。 225-232 王欣(Xin Wang) , Christine W.Chan(克里斯汀·W·陈) , 霍华德·汉密尔顿 :
使用本体论-领域-系统方法设计基于知识的系统。 233-236 Angeles Manjarrés Riesco公司 , 格森·苏尼 , 达米安·波利特 , 西蒙·皮金 , Jean-Marc Jézéquel女士 :
UML元模型构建的所有分析模式。 237-238
软件体系结构
布拉德利·施梅尔 , 大卫·加兰 :
利用建筑设计知识支持自我配对系统。 241-248 恩里科·约翰逊 , 马丁·霍斯特 :
通过测量违反设计规则的情况来跟踪软件产品线中的降级情况。 249-254 彼得罗·阿巴特 , 马可·贝尔纳多 :
一种可扩展的软件架构(architecture)设计方法,可动态创建/销毁组件。 255-262 福泽木美由纪夫 , Motoshi Saeki先生 :
用彩色petrit网评估软件架构。 263-270 徐东河 , 丁俊华 , Yi Deng(易登) :
SAM中的模型检查软件架构规范。 271-278 文森佐·安布里奥拉 , Alina Kmiecik公司 :
架构转换。 275-278
面向对象技术
法齐·阿尔巴卢希 :
在多视图环境中提高自动化并保持一致性的数据库表示。 281-288 金·门斯(Kim Mens) , 汤姆·曼斯 , 米歇尔·沃梅林格 :
通过有意的源代码视图维护软件。 289-296
基于组件的软件工程
内纳德·梅德维多维奇 :
中间件在基于体系结构的软件开发中的作用。 299-306 斯特凡妮娅·班迪尼 , 弗拉维奥·德保利 , 萨拉·曼佐尼 , 保罗·梅雷盖蒂 :
基于COTS的商业服务软件开发支持系统。 307-314 吉安卢卡·莫罗 , 安东尼奥·纳塔利 :
关于多组件系统中的事件协调。 315-322 凯西·贝斯特 , 玛格丽特·安妮·D·斯托里 , 杰夫·米绍德 :
为软件工程和知识工程中的可视化设计一个基于组件的框架。 323-322 Gennaro Costagliola公司 , 丽塔·弗朗西斯 , 米歇尔·里西 , 朱塞佩·斯坎尼略 , 安德烈亚·德卢西亚 :
基于组件的视觉环境开发过程。 327-334 马可·托奇亚诺 , 莱蒂齐亚·贾切里 , 卡尔·弗雷德里克·瑟伦森 , 阿尔芬·王 :
COTS产品特性。 335-338
软件重用
Soe Myat Swe公司 , 张宏宇 , 斯坦·贾扎贝克 :
XVCL:教程。 341-349 里卡多·德·阿尔梅达·法尔博 , 吉安卡洛·吉扎迪 , 卡蒂娅·克里斯蒂娜·杜阿尔特 :
领域工程的本体论方法。 351-358
验证和验证
乔瓦尼·德纳罗 , 桑德罗·莫拉斯卡 , 毛罗·佩泽尔 :
推导软件容错模型。 361-368 南希·李 , Tai Hyo Kim先生 , 宋德查 :
构建用于测试消息序列图中所写任务交互的全局有限状态机。 369-376 罗伯托·巴布蒂 , 卢卡·特塞 , 辛齐娅·伯纳德斯基 , 尼科莱塔·德·弗朗西斯科 :
通过合适的类型域修复Java字节码验证器。 377-382 安东内拉·桑通 , 吉利奥拉·瓦格利尼 :
Java字节码的本地模型检查。 383-389
测量和经验软件工程
克莱斯·沃林 , 安妮莉斯·阿姆施勒·安德鲁斯 :
分析主要和低阶项目成功的驱动因素。 393-400 安德烈·法里纳 , 保罗·费尔南德斯 , 弗拉维奥·莫雷拉·奥利维拉 :
用随机自动机网络表示软件使用模型。 401-407 安德烈亚·德卢西亚 , 尤金尼奥·蓬佩拉 , 西尔维奥·斯特凡努奇 :
纠正性软件维护工作量估算。 409-416 桑德罗·莫拉斯卡 :
在分类树中使用连续属性的建议。 417-424 马格纳·约根森 , 杰蒂尔·莫勒肯 :
软件开发工作预测间隔的组合:为什么、何时和如何?。 425-428
逆向工程
布莱恩·米切尔 , 曼氏螺 , 马丁·特拉弗索 :
基于搜索的逆向工程。 431-438 莱拉·帕加内利 , 法比奥·帕特恩 :
自动重建web应用程序的底层交互设计。 439-445 穆罕默德·埃尔·拉姆利 , 埃利尼·斯特罗利亚 , 保罗·G·索伦森 :
从系统-用户交互跟踪中恢复软件需求。 447-454
软件过程建模
约塞普·里博·巴鲁斯特 , 泽维尔·弗兰奇 :
软件过程建模中一种基于优先级的主动控制方法。 457-468 Ulrike Becker-Kornstedt公司 , 罗曼·雷内特 :
通过系统的经验获取来支持流程模型维护的概念。 465-468 阿尔芬·王 :
以过程为中心的协作软件工程环境。 469-472 威廉·特普芬哈特 , 丹妮拉·罗斯卡 , 丹尼尔·伍利 :
以产品为中心的分层软件开发框架。 473-475 里卡多·德·阿尔梅达·法尔博 , 吉安卡洛·吉扎迪 , 安娜·Cándida Cruz Natali , 格列德森·贝托洛 , 法比亚诺·F·鲁伊 , 保拉·戈梅斯·棉恩 :
面向语义软件工程环境。 477-478
流程和工作流管理
勒里娜·阿弗萨诺 , 杰拉尔多·坎福拉 :
在业务流程模型中引入电子服务。 481-488 安德里亚·F·阿巴特 , 安东尼奥·埃斯波西托 , 尼古拉·格里科 , 吉安卡洛·诺塔 :
通过WPQL进行工作流性能评估。 489-495 胡安·卡洛斯·奥古斯托 , 鲁道夫·戈麦斯 :
范式模型的时序逻辑视图。 497-503
计算机支持的协同工作
大卫·巴尔扎罗蒂 , 卡洛·盖齐 , 马蒂亚·蒙加 :
在对等设置中支持虚拟工作组的配置管理。 507-511 Kirda发动机 , 帕斯卡·芬卡姆 , 杰拉尔德·雷夫 , 哈拉尔德·加尔 :
移动团队的服务架构。 513-518 弗朗科·巴格诺利 , 法比奥·弗朗西 , 安德烈亚·斯特比尼 :
WebTeach:一个集成的基于web的远程教学合作环境。 519-520 Schahram Dustdar公司 , 哈拉尔德·加尔 :
分布式和移动协作系统中的架构关注点。 521-522
教育和培训
蒂莫西·阿恩特 , Shi-Kuo Chang公司 , 安吉拉·古尔西奥 , 保罗·马雷斯卡 :
一种基于XML的远程学习多媒体软件工程方法。 525-532 伊内斯·格吕茨纳 , 尼尼埃克·昂卡萨普特拉 , 迪特马尔·普法尔 :
一种系统化的方法,用于为组合学习和知识管理环境制作小型课件模块。 533-539 热那维法·托托拉 , 莫妮卡·塞比洛 , 朱利安娜·维蒂埃洛 , 彼得罗·达安布罗西奥 :
多级学习管理系统。 541-547 塞尔吉奥·奥乔亚 , 埃米利奥·奥梅尼奥 , 何塞·A·皮诺 :
重用课件组件。 549-556 胡乐凡 , 安德烈亚·特伦蒂尼 :
常见问题分享:一个常见问题投票系统,作为教学活动中的协作和评估工具。 557-560
人机交互
杰拉尔多·坎福拉 , 路易吉·塞鲁洛 :
定义XML到FO转换的可视化方法。 563-570 巴巴克·卡扎伊 , 艾玛·特里菲特 :
应用认知维度评估和改进Z形式主义的可用性。 571-577 保罗·布奥诺 , 玛丽亚·弗朗西丝卡(Maria Francesca Costable) , 杰拉尔德·杰什克 , 马提亚斯·赫姆杰 :
在基于web的交易会系统中通过可视化分析数据。 579-582 卢西亚诺·巴雷西 , 乔瓦尼·德纳罗 , 卢卡·梅内蒂 , 保罗·保里尼 :
断言以更好地指定amazon bug。 585-592 奥古斯托·塞勒坦诺 , 奥姆布雷塔·加吉 :
用于自动生成多媒体演示文稿的模式建模。 593-600 Gennaro Costagliola公司 , 塞尔吉奥·迪·马蒂诺 , 菲洛梅娜·费鲁奇 , 法比奥·皮塔雷洛 :
一种在网络上创作3D文化遗产展览的方法。 601-608 尤金尼奥·迪·西亚西奥 , 弗朗西斯科·多尼尼 , 玛丽娜·蒙吉埃罗 , 贾科莫·皮西泰利 :
AnWeb:自动支持web应用程序验证的系统。 609-616
基于Web的工具、系统和环境
乔昂·M·B·卡瓦尔坎蒂 , Wamberto Weber Vasconcelos公司 :
一种基于逻辑的网站自动合成和维护方法。 619-626 马里奥·卡纳塔罗 , 阿尔弗雷多·库佐克雷 , 安德烈亚·普格利泽 :
XAHM:基于XML的自适应超媒体模型。 627-634 雅罗斯拉夫·格里奇 , 扬·克莱因因斯特 , Y.Despotopoulos公司 , 约翰·索尔达托斯 , 乔治·帕蒂基斯 , A.阿纳格诺斯托 , 拉扎罗斯·波利梅纳科斯 :
轻量级部署web服务的方法。 635-640 卡洛·布兰多 , 斯特维奥·西马托 :
SAWM:一种用于安全和经过身份验证的web计量的工具。 641-648 Rainer Anzböck公司 , Schahram Dustdar公司 , 哈拉尔德·加尔 :
web服务的软件配置、分发和部署。 649-656
系统应用和经验
罗伯托·卡诺尼科 , 毛里齐奥·达里安佐 , B.法迪尼 , 西蒙·彼得罗·罗马诺 , 乔治·文特雷 :
在遗留分布式应用程序中引入服务质量意识。 659-664 萨尔瓦托尔·达安东尼奥 , B.法迪尼 , 西蒙·彼得罗·罗马诺 , 乔治·文特雷 :
为电子市场设计服务谈判实体。 665-672 保罗·唐泽利 , 罗伯托·塞托拉 :
处理在需求工程过程中获得的知识:案例研究。 673-679 朱塞佩·波兰人 , 马西米利亚诺·特洛伊亚诺 , 热那维法·托托拉 :
支持战术决策的基于数据挖掘的系统。 681-684 丹妮拉·米库奇 :
在具有异构设备和基于知识的管理器的工业环境监测系统中开发万花筒结构。 685-688
工业应用
杰拉尔多·坎福拉 , 路易吉·特罗亚诺 :
软件工程方法和工具评估中处理不确定性的重要性。 691-698 安东尼奥·弗雷萨 , G.努塞拉 , E.佩西奥拉 , 朱塞佩·桑图奇 :
软件架构评估:案例研究。 699-706 Aura Conci公司 , 克劳迪娅·贝尔米罗·普伦萨 :
用于织物实时检测和工业决策的系统。 707-714 伊万·布鲁诺 , 安德烈亚·乔蒂 , 马西莫·蒙西格诺里 , 保罗·内西 :
基于计算机视觉的铆接板质量控制的分布式工业应用程序。 715-718
网络工程研讨会
阿图拉·基尼格 :
Web工程:管理Web系统开发的复杂性。 721-729 Yogesh Deshpande酸奶 , Anupama Chandrarathna公司 , 阿图拉·基尼格 :
网站审计:重新设计的第一步。 731-737 迭戈·博努拉 , 罗萨里奥·卡蒙 , 伊曼纽拉·梅雷利 :
web应用程序的模式。 739-746 司圆直 :
Web信息系统:管理模型和Web应用程序的变化前景。 747-753 加里·格里菲斯 , 巴里·希布伦 , 迈克·A·洛克耶 , Briony J.Oates公司 :
一种简单的网络工程方法和工具。 755-762
软件工程决策支持研讨会: 组件
斯图亚特·查特斯 , 克莱尔·奈特 , 奈杰尔·托马斯 , 马尔科姆·蒙罗 :
知情决策可视化; 从代码到组件。 765-772 Sathit Nakkrasae公司 , 佩拉芬·索法塔希特(Peraphon Sophatsathit) :
软件组件规范和分类的正式方法。 773-780 阿道夫·洛扎诺·特洛 , 亚松森·戈梅斯·佩雷斯 :
BAREMO:如何使用层次分析法选择合适的软件组件。 781-788 卡琳娜·弗罗塔·阿尔维斯 , 安东尼·芬克尔斯坦 :
COTS决策中的挑战:目标驱动的需求工程观点。 789-794
软件工程决策支持研讨会: 过程
卡拉·亚历山德拉·利马·里斯 , 罗德里戈退出里斯 , 赫里贝特·施勒贝 , 达尔特罗·何塞·努斯 :
一种基于策略的资源实例化机制,用于自动化软件过程管理。 795-802 大卫·拉夫夫 , 沃伦·哈里森 , 约瑟夫·范德维尔 :
软件过程决策支持:使用混合度量、建模和实用框架进行过程权衡。 803-809
软件工程决策支持研讨会: 方法学
毛里齐奥·莫里西奥 , Ioannis Stamelos公司 , 亚历克西斯·祖基斯 :
一种根据预定义概要评估软件工件的新方法。 811-818 米凯尔·斯瓦恩贝格 , 克莱斯·沃林 , 拉尔斯·伦德伯格 , 迈克尔·马特森 :
一种理解软件架构(architecture)结构中质量属性的方法。 819-826 Ioana Rus公司 , 斯特凡·比弗 , 迈克尔·哈林 :
系统地结合过程模拟和经验数据,以支持软件开发中的决策分析。 827-833 丹尼尔·卡尔斯特罗姆 , 每个Runeson :
极限编程介绍和实践选择的决策支持。 835-841
![](https://dblp.org/img/cog.dark.24x24.png)