APAQS 2001:中国香港
第二届亚太质量软件大会(APAQS 2001),2001年12月10日至11日,中国香港,会议记录。 IEEE计算机学会 2001 ,国际标准图书编号 0-7695-1287-9 横森瑞希 , 大田文美 , 高田吉崎 , Seki宏之 , 井上加寿 :
检测不当信息泄漏程序的分析与实现方法。 5-12 赵建军 , 景德成 , 臼岛和夫 :
计算并发逻辑程序的可执行切片。 13-22 苏京琉 , Kwangkeun Yi公司 :
多线程Java程序的异常分析。 23-32 彼得·科科尔 , 维利·波德戈雷克 , 米兰佐尔曼 , 马特杰·斯普洛加 , 毛里齐奥·皮金 :
软件正确性预测方法分析。 33-39 弗兰克·帕德伯格 :
超几何软件可靠性模型最大似然估计的快速算法。 40-49 N.戴维森 :
应用于基于ioBig-角度套件测试的顺序时间可靠性模型。 50-58 塞尔吉奥·科罗拉多 , 何塞·阿尔贝托·贾恩 :
增量质量网络。 59-64 罗南·菲茨帕特里克 :
软件质量的战略驱动因素:超越外部和内部软件质量。 65-72 十、方 :
使用编码标准提高程序质量。 73-80 黄忠钦 , 黄世坤 , 陈登杰(Deng-Jyi Chen) , 大卫·T·K·陈 :
基于控制模式的面向对象程序行为分析。 81-87 张健(Jian Zhang) :
一种基于路径的无限循环检测方法。 88-96 马塞拉·杰尼罗 , 马里奥·皮亚蒂尼 , 珊瑚卡莱罗 :
基于早期度量的概念数据模型质量保证。 97-103 迈克尔·萨博 :
装备发布过程中软件质量度量的使用-经验报告。 104-112 安妮·富勒 , 彼得·克罗尔 , 奥马尔·加西亚 :
为什么软件工程比以往更危险。 113-119 Osamu Mizuno公司 , Takuya Adachi先生 , Tohru Kikuno公司 , 高木康成 :
基于风险问卷的风险软件项目成本和工期预测。 120-130 塞德里克·贝塞 , 安娜·R·卡瓦利 , Ferhat Khendek公司 :
根据要求对设计规范进行部分验证。 131-140 秦胜超 , 邱宗岩 , 何继峰 :
使用协议转换器构建硬件/软件接口。 141-148 瓦西姆·哈桑 :
DLOTOS:分布式系统中时钟同步的LOTOS扩展。 149-156 蔡开元 :
软件控制论背景下的最佳测试配置文件。 157-166 沃尔夫冈·格里斯坎普 , 马库斯·勒珀 , 沃尔夫拉姆·舒尔特 , 尼古拉·蒂尔曼 :
抽象状态机语言中的可测试用例。 167-172 芒丽 , 阿克塞尔·伦诺奇 , 伊娜·希弗德克 , 多罗塔·维塔泽克 , O.哈拉比 , 阿兰·沃夫 , 艾洪殷 :
CORBA ORB一致性测试经验报告。 173-184 一、汉普顿 , K.Lam公司 :
铁路电力SCADA系统调试“案例示例”。 185-193 奥托·普雷斯 , 阿兰·韦格曼 :
基于系统科学原理的利益相关者发现和分类。 194-198 S.米歇尔·杨 , 莎伦·麦克唐纳 , 海伦·M·爱德华兹 , J.巴里·汤普森 :
情境特定方法开发中的质量和人员。 199-203 英东 , 李明淑 :
一种风险驱动的嵌入式系统设计模型。 204-210 雷蒙德·保罗 :
端到端集成测试。 211-222 艾纳·布罗赫·约翰森 , 奥拉夫猫头鹰 , 埃伦·穆提-卡斯 , 朱里·瓦恩 :
面向对象设置中的增量容错设计。 223-230 弗拉维奥·科拉迪尼 , 玛丽亚·丽塔·迪·贝拉迪尼 , 沃尔特·福格勒 :
工作中的PAFAS:比较三种缓冲实现的最坏情况效率。 231-240 刘少英 , 金松洞 :
SOFL中的类和模块。 241-248 蒂姆·米勒 , 保罗·斯特罗珀 :
结合抽象数据类型的动画和测试。 249-258 平山正之 , 山本忠雄 , 冈山东郎 , Osamu Mizuno公司 , 托鲁·基库诺 :
一种基于功能模块优先级的选择性软件测试方法。 259-267 R.温 :
URL驱动的自动测试。 268-274 伊尔卡·特沃宁 , 朱哈·伊萨卡 , 拉塞·哈朱马 :
用于检验过程改进的定制能力模型。 275-282 拉塞·哈朱马 , 亨利克·赫德伯格 , 伊尔卡·特沃宁 :
虚拟软件检查之路。 283-287 李超(音) , 韩丽(Han Li) , 李明淑 :
基于ISO9000和CMM的中国小型组织软件工厂模型。 288-294 王庆(音) , 赖旭芳 :
增量开发模型的需求管理。 295-301 Faouzi Boufarès公司 , 瑙菲尔·克拉伊姆 :
分析ER模式的新工具。 302-310 艾哈迈德·塞法 , 尼哈尔·凯塞奇 , 穆罕默德·多尼耶 :
QUIM:量化软件质量模型中可用性度量的框架。 311-318 胡健 , 赵佳敏 , 川崎岛 , 竹村康弘 , 松本健一 :
中文和日语在B2C网页设计中的对比,以获得令人印象深刻的可用性。 319-330 洪国 :
远程工作环境中应用的软件过程改进的特殊要求。 331-340 李惠英 , 和永贞 , 长新中 , 李钟武 , Kyung Whan Lee(李京宽) , 黑客郑正 :
基于ISO/IEC 15504的软件过程评估中的评分者协议分析。 341-348 蒂莫·瓦尔科伊 , 马里恩·勒巴萨 , 汉努·贾科拉 :
基于过程能力水平的过程改进结果优先级。 349-356 绪方和弘 , Kokichi Futatsugi公司 :
Ricart&Agrawala分布式互斥算法的形式化建模与验证。 357-366 卡斯滕·辛兹 , 沃尔夫冈·库奇林 , 托马斯·隆普 :
面向OS/390 Automation Manager的IBM SA基于规则的专家系统的验证。 367-374 纳内特·鲍尔 , 拉尔夫·休克 :
嵌入式控制软件的自动验证。 375-386 X.王 , Shing-Chi Cheung先生 , J.魏 :
电子商务协议中文档交换过程的建模。 387-396 赵洪生 , 杨千 :
超越电子商务软件质量:Web服务有效性。 397-405 沃尔克·格鲁恩 , 洛塔尔·舍佩 , 马提亚斯图书 :
电子商务门户网站的特定软件开发过程。 406-416 Shih-Chien Chou先生 , 黄春伟 :
强调关系的软件产品模型。 417-426 伊维卡·克伦科维奇 , 安妮塔·佩尔森·达尔克维斯特 , 丹尼尔·斯文森 :
复杂系统开发需求——PDM和SCM集成。 427-435 V.范伯格 :
软件版本管理中二进制文件比较工具的使用。 436-444
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)