IJSEKE,第18卷
第18卷第1期,2008年2月
荆州李 , Günther Ruhe先生 :
基于粗糙集分析的属性选择类比法软件工作量估算。 1-23 拉金德·纳特 , 阿尼尔·沃拉 :
一种用于组合重用的软件组件表示模型。 25-36 卡洛·加布里埃尔·波尔托·贝里尼 , 里塔·德·卡西亚·德·法里亚·佩雷拉 , 若昂·路易斯·贝克尔 :
软件工程中的度量:从路线图到十字路口。 37-64 李永健 , 瑞雪 :
旋转CIL连接器的设计。 65-91 盈江 , 珊珊侯 , 金辉山 , 张璐 , 谢冰冰(Bing Xie) :
使用基于契约的突变测试黑盒组件的方法。 93-117 安娜·贝伦·巴拉根斯·马丁内斯 , 何塞·胡安·帕佐斯·阿里亚斯 , 安娜·费尔南德斯·维拉斯 , 豪尔赫·加西亚·杜克 , 马丁·洛佩斯·诺雷斯 , 丽贝卡·迪亚斯·雷东多 , 尤兰达·布兰科·费尔南德斯 :
编写多角度软件需求规范。 119-153
第18卷第2期,2008年3月
刘祥德 :
客座编辑介绍。 155-156 布莱恩·布莱克先生 , 丽莎·辛格 :
Web服务工作流系统的软件工程。 157-178 扎卡里亚·马马尔 , Quan Z.Sheng先生 , 贾马尔·本斯利曼 , 哈姆迪·叶海艾 :
Web服务交互:分析、建模和管理。 179-198 乔纳森·李 , 尚品马 , 林英彦 , 李新杰 , 王耀昌 :
动态服务组合:基于发现的方法。 199-222 香硕才 , 李俊生 , 郑和培 :
一种检查Web服务之间行为兼容性的方法。 223-241 纳博尔·门登萨 , 克莱顿·F·席尔瓦 , 伊恩·麦亚 , 玛丽亚·安德烈亚·罗德里格斯 , 马可·图利奥·德奥利维拉·瓦伦特 :
面向SOA应用程序的松耦合方面语言。 243-262
第18卷第3期,2008年5月
洁心莲 , 索尔·沙茨 :
多智能体系统中冲突控制的建模方法。 263-303 玛丽亚·弗朗西丝卡(Maria Francesca Costable) , 丹妮拉·福格利 , 安德烈亚·马坎特 , 皮耶罗·穆西奥 , 普罗旺扎州洛雷达纳·帕拉西里提 , 安东尼奥·皮奇诺 :
设计可定制的视觉交互系统。 305-325 卡提克·R·科塔里 , 大卫·J·鲁索马诺 :
用关系语义增强OWL本体。 327-356 蔡开元 , 曾月珍(Tsong Yueh Chen) , 李勇超 , 袁德玉 , 雷昭(Lei Zhao) :
自适应软件测试中的在线参数估计问题。 357-381 克劳斯·帕尔 , 罗南·巴雷特 :
Web服务流程的本体框架。 383-411 徐殿翔 , 徐伟峰 , W.Eric Wong :
使用UML设计模型测试面向方面的程序。 413-437
第18卷第4期,2008年6月
戈登·H·黄 , Christine W.Chan(克里斯汀·W·陈) , 张晓东 :
特邀编辑介绍。 439-441 胡志英 , Christine W.Chan(克里斯汀·W·陈) , 戈登·H·黄 :
基于知识推理的强化控制系统 现场 生物修复工艺。 443-459 杨志峰 , 曾勇 , 蔡燕鹏 , 钱滩 :
基于综合博弈论的华北地区跨界水资源管理模型——以北京官厅水库流域为例。 461-483 吴朝忠 , 辛平燕 , 郭H.黄 , 李永平 :
用于城市环境管理的智能代理移动排放模型。 485-502 胡顺福 , 周建鹏 :
为现场废水处理设施开发基于GIS的信息管理系统。 503-513 奥尔加·奥尔曼杰娃 , 马纳尔·阿布塔利布 , 阿兰·阿布兰 :
COSMIC中基于组件的系统可靠性模型(案例研究)。 515-539 Vitus S.W.Lam公司 :
关于作为UML活动图形式基础的pi-Calculus语义。 541-567
第18卷第5期,2008年8月
Ngoc Thanh Nguyen(Ngoc丹恩) , 贾努斯·索贝基 :
特邀编辑介绍。 569-571 曹隆兵 :
集成代理、服务和组织计算。 573-596 纳德·科尔西 , 阿卜杜拉齐兹·阿卜杜拉提夫 , 哈立德·盖迪拉 :
数据仓库中基于代理的数据存储和分发。 597-617 伊奥内尔·穆斯卡拉吉 , 何塞·M·维达尔 , 弗拉基米尔·克雷图 , 霍丽亚·埃米尔·波帕 , 曼努埃拉·帕努尤 :
异步搜索算法中代理同步效果的实验分析。 619-636 波拉·金 , Sekchin Chang公司 :
无处不在网络中移动代理的智能定位和最优分集方案。 637-650 马里奥·库塞克 , 克里西米尔·尤拉索维奇 , 戈丹·杰齐克 :
验证移动代理网络模拟器-一种模拟多代理系统的工具。 651-682 穆罕默德·伊扎迪 , 阿里·莫瓦加尔 :
使用合成约简对基于组件的软件进行模型检查。 683-712
第18卷第6期,2008年9月
乔斯琳·西蒙兹 , 塞西莉亚·巴斯塔里卡先生 , 南希·希施费尔德·卡勒 , 塞巴斯蒂安·里瓦斯 :
基于DL的UML模型一致性检查工具。 713-735 宗西江 , 董兰荣 :
验证数据流调度。 737-758 何塞·曼努埃尔·雷东多 , 弗朗西斯科·奥尔丁 , 胡安·曼努埃尔·库瓦·洛维尔 :
优化动态语言的反射基元。 759-783 于昌墨 , 杨新民 :
验证无功系统状态图规范的新方法。 785-802 W.Eric Wong , 于磊 :
并发程序基于可达图的测试序列生成。 803-822 朱塞佩·德尔拉·佩纳 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 , 贝内代托·因特里吉拉 :
一种基于XML的方法,用于在软件开发过程中建模和使用场景。 823-852
第18卷第7期,2008年11月
努拉·布迪亚夫 , 法里德·莫哈蒂 , 穆拉德·巴德里 :
支持DIMA多代理模型的形式化验证:基于Maude模型检查的框架。 853-875 阿德尔·斯梅达 , 穆拉德·查班·乌萨拉 , 塔哈尔·坎马奇 :
我的体系结构:软件体系结构的知识表示元模型。 877-894 阿贾雷·纳科 , 维拉斯·武旺塞 , Chutiporn Anutariya公司 :
一种基于转换的应用程序模型开发方法:类图生成。 895-918 艾伦·沙玛 , 拉杰什·库马尔·巴蒂亚 , 普里塔姆·S·格罗弗 :
软件组件接口复杂性度量的实证评估和验证。 919-931 阿诺·斯特姆 , 梅拉夫·泰布·梅蒙 , 迪娜·戈伦·巴尔 :
MaSE和OPM/MAS设计结果的定量比较。 933-963 邹凤忠 , 约瑟夫·戴维斯 :
使用机器学习技术改进软件可靠性建模。 965-986
第18卷第8期,2008年12月
弗兰克·巴比尔 , Xabier Aretxandeta公司 :
UML 2中基于状态的组合。 987-1011 陈玉亭 , 刘少英 , W.Eric Wong :
一种检测规范和程序结构之间一致性冲突的审查方法。 1013-1042 李国余 , 斯蒂芬·沙赫(Stephen R.Schach) :
将关联挖掘应用于更改传播。 1043-1061 帕文德·辛格·桑杜 , 哈迪普·辛格 :
基于过程的领域特定软件组件的软件可重用性模型。 1063-1081 益兴昌 , 杨庆龙 :
基于习惯域和智能代理的高效知识管理系统。 1083-1114 阿诺·斯特姆 , 多夫·多里 , Onn Shehory公司 :
基于应用程序的领域分析方法及其对象处理方法实现。 1115-1142