IEE会议记录-软件,第147卷
第147卷第1期,2000年2月
J.-S.李 , S.-D.Cha公司 :
混合实时安全系统需求规范和验证的定性形式化方法。 1月11日 戈登·布莱尔 , 安德斯·安徒生 , 林恩·布莱尔 , 库尔森 , 大卫·桑切斯 :
在反射中间件平台中支持动态QoS管理功能。 13-21
第147卷,第2期,2000年4月
汉斯·格哈德·格罗 , 布莱恩·琼斯 , 戴维·艾尔斯 :
用于实时系统最坏情况计时的进化测试的结构性能度量。 25-30 M.F.博特 :
软件作为公司资产。 31-36 马丁·弗勒里 , 安迪·唐顿 , 阿德里安·克拉克 :
用于基于对象计算的分析预测模板工具包(APTT)。 37-47 爱德华·D·威林克 , 维亚切斯拉夫·穆奇尼克 :
面向对象的预处理器适合C++。 49-58
第147卷,第3期,2000年6月
维托里奥·科尔泰莱萨 , 朱塞佩·伊泽奥拉 , 拉斐拉·米兰多拉 :
面向对象系统性能模型的早期生成。 61-72 乔纳森·奥斯特罗夫 , 理查德·佩奇 :
软件设计的逻辑。 73-80 亚历山大·罗曼诺夫斯基 :
面向对象N版本编程中的错误版本恢复。 81-90 塔哈·奥斯曼 , 安德烈·巴吉埃拉 :
FADI:开放分布式计算的容错环境。 91-99
第147卷,第4期,2000年8月
本·克莱格 , 伊恩亚历山大 , 斯图亚特·温格罗夫 , 约翰·博德曼 , A.董事 :
集成扩展企业的工具支持。 101-108 马库斯·丰图拉 , 克里斯蒂亚诺·布拉加 , 莱昂纳多·门东萨·德莫拉 , 卡洛斯·卢塞纳 :
使用领域特定语言实例化面向对象框架。 109-116 迈克尔·希钦斯 , 维杰·瓦拉达拉扬 :
基于角色的访问控制策略的设计和规范。 117-129 C.-M.黄 , C.王 , C.-H.林 :
使用形式化方法在分布式环境中进行交互式多媒体同步。 131-143
第147卷,第5期,2000年10月
若泽·米拉 , 何塞·R·阿尔瓦雷斯 , 拉斐尔·马丁内斯·托马斯 :
Diagen中的知识编辑和重用:一种关系方法。 151-162 马尔·马科斯 , 安吉尔·德尔·波比尔 , 萨宾·莫伊桑 :
基于模型的知识系统验证:案例研究。 163-167 P.A.冈萨雷斯 :
将知识建模和基于案例的推理应用于软件重用。 169-177 莫妮克·托纳特 , 萨宾·莫伊桑 :
程序监督可以为程序重用做什么? 179-185 史蒂夫·钱恩 , 福雷斯特·费舍尔 , 塔拉·埃斯特林 :
通过使用人工智能规划技术实现软件模块的自动重新配置。 186-192 胡安·卡洛斯·埃雷罗 , 何塞·米拉 :
SCHEMA中的因果关系级别:知识编辑界面。 193-200
第147卷,第6期,2000年12月
克里斯蒂尔·乔德特 , 罗伯特·马克·格林伍德 , 弗拉维奥·奥昆多 , 布莱恩·沃博斯 :
架构驱动的软件工程:指定、生成和演化基于组件的软件系统。 203-214 大卫·S·罗森布鲁姆 , 雷玛·纳塔拉扬 :
支持组件互操作性标准中的架构关注点。 215-223 亚历山大·埃吉德 , 内纳德·梅德维多维奇 , 克里斯蒂娜·加塞克 :
基于组件的软件不匹配检测和解决方法。 225-236 斯坦·贾扎贝克 , 鲁道夫·塞维奥拉 :
易于定制和进化的工程组件。 237-248 M.M.雷曼 , 胡安·拉米尔 :
基于组件的软件工程时代的软件进化。 249-255年