掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Asia-Pacific Conference on Quality Software
Asia-Pacific Conference on Quality Software
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Analysis of interrater agreement in ISO/IEC 15504-based software process assessment
机译:
基于ISO / IEC 15504的软件过程评估中的Irner室内协调分析
作者:
Hye-Young Lee
;
Ho-Won Jung
;
Chang-Shin Chung
;
Jong Moo Lee
;
Kyung Whan Lee
;
Hack Jong Jeong
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
2.
Towards a verification of the rule-based expert system of the IBM SA for OS/390 automation manager
机译:
验证OS / 390 Automation Manager的IBM SA的规则的专家系统
作者:
Carsten Sinz
;
Wolfgang Kuchlin
;
Thomas Lumpp
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
3.
Analysis and implementation method of program to detect inappropriate information leak
机译:
检测不适当信息泄漏的程序分析与实现方法
作者:
Reishi Yokomori
;
Fumiaki Ohata
;
Yoshiaki Takata
;
Hiroyuki Seki
;
Katsuro Inoue
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
4.
Quality and people in the development of situationally specific methods
机译:
质量和人们在发展情况下具体方法
作者:
Young S.M.
;
McDonald S.
;
Edwards H.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
5.
Requirements management for the incremental development model
机译:
增量开发模型的需求管理
作者:
Qing Wang
;
Xufang Lai
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
6.
On prediction of cost and duration for risky software projects based on risk questionnaire
机译:
基于风险问卷的风险软件项目成本和持续时间预测
作者:
Osamu Mizuno
;
Takuya Adachi
;
Tohru Kikuno
;
Yasunari Takagi
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Software risk management;
Questionnaire;
Cost and duration;
Regression analysis;
7.
QUIM: a framework for quantifying usability metrics in software quality models
机译:
Quim:在软件质量模型中量化可用性指标的框架
作者:
A. Seffah
;
N. Kececi
;
M. Donyaee
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Usability;
Quality in use;
Usability metrics;
ISO-9126;
Software quality model;
Interactive systems;
8.
Stakeholder discovery and classification based on systems science principles
机译:
基于系统科学原则的利益相关者发现与分类
作者:
Otto Preiss
;
Alain Wegmann
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
9.
A selective software testing method based on priorities assigned to functional modules
机译:
基于分配给功能模块的优先级的选择性软件测试方法
作者:
Masayuki Hirayama
;
Tetsuya Yamamoto
;
Osamu Mizuno
;
Tohru Kikuno
;
Jiro Okayasu
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Software testing;
Testing priority;
Design of testing specification;
10.
Partial validation of a design specification with respect to requirements
机译:
关于要求的设计规范的部分验证
作者:
Cedric Besse
;
Ana Cavalli
;
Ferhat Khendek
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Specification;
Validation;
Requirement;
MSC;
SDL;
MSC views;
MSC traces;
11.
A path-based approach to the detection of infinite looping
机译:
无限循环检测的基于路径的方法
作者:
Jian Zhang
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
12.
A fast algorithm to compute maximum likelihood estimates for the hypergeometric software reliability model
机译:
一种快速算法来计算超细软件可靠性模型的最大似然估计
作者:
Frank Padberg
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
13.
PAFAS at work: comparing the worst-case efficiency of three buffer implementations
机译:
PAFAS在工作:比较三种缓冲实施的最坏情况效率
作者:
F. Corradini
;
M. R. Di Berardini
;
W. Vogler
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
14.
Optimal test profile in the context of software cybernetics
机译:
软件网络网络背景下的最佳测试配置文件
作者:
Kai-Yuan Cai
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
15.
Object-oriented program behavior analysis based on control patterns
机译:
基于控制模式的面向对象的程序行为分析
作者:
Chung-Chien Hwang
;
Shih-Kun Huang
;
Deng-Jyi Chen
;
David T. K. Chen
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Java VM;
Code patterns;
Benchmark design;
Program optimization;
Data mining;
Workflow analysis;
16.
Towards automatic verification of embedded control software
机译:
朝向嵌入式控制软件的自动验证
作者:
Nanette Bauer
;
Ralf Huuck
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
17.
Constructing hardware/software interface using protocol converters
机译:
使用协议转换器构建硬件/软件界面
作者:
Shengchao Qin
;
Zongyan Qiu
;
Jifeng He
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Hardware/software partition;
Protocol converter;
Program algebra;
18.
Using a coding standard to improve program quality
机译:
使用编码标准来提高程序质量
作者:
Xuefen Fang
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
19.
A software product model emphasizing relationships
机译:
一种强调关系的软件产品模型
作者:
Shih-Chien Chou
;
Chun-Wei Huang
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
20.
Formally modeling and verifying RicartAgrawala distributed mutual exclusion algorithm
机译:
正式建模与验证Ricart和Agrawala分布式互斥算法
作者:
Ogata K.
;
Futatsugi K.
;
Institute of Electric and Electronic Engineer
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
21.
Complex systems development requirements - PDM and SCM integration
机译:
复杂系统开发要求 - PDM和SCM集成
作者:
Ivica Crnkovic
;
Annita Persson Dahlkvist
;
Daniel Svensson
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Software configuration management;
Product data management;
Development process;
22.
Use of binary file comparison tools in software release management
机译:
在软件发布管理中使用二进制文件比较工具
作者:
Victor Fanberg
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
23.
A new tool to analyze ER-schemas
机译:
一个分析ER-Schemas的新工具
作者:
Faouzi Boufares
;
Naoufel Kraiew
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Conceptual modeling;
Information system;
Entity-relationship model;
Meta-modeling;
ER meta-model;
CASE tools;
Constraints;
Cardinality constraints;
Valid ER-schemas;
24.
Quality people in the development of situationally specific methods
机译:
质量和人们在发展情况下的具体方法
作者:
S. Michelle Young
;
Sharon McDonald
;
Helen M. Edwards
;
J. Barrie Thompson
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Collaborative development;
Systems development;
Method engineering;
Stakeholders;
Group dynamics;
Personality testing;
25.
Computing executable slices for concurrent logic programs
机译:
计算用于并发逻辑程序的可执行切片
作者:
Jianjun Zhao
;
Jingde Cheng
;
Kazuo Ushijima
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
26.
DLOTOS: a LOTOS extension for clock synchronization in distributed systems
机译:
Dlotos:分布式系统中时钟同步的Lotos扩展
作者:
Wael A. Hassan
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
27.
Incremental fault-tolerant design in an object-oriented setting
机译:
面向对象设置中的增量容错设计
作者:
Einar Broch Johnsen
;
Olaf Owe
;
Ellen Munthe-Kaas
;
Juri Vain
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Fault-tolerance;
Formal methods;
Refinement;
Trace semantics;
Incremental design;
Object orientation;
28.
Railway power SCADA system commissioning 'case example'
机译:
铁路电力SCADA系统调试“案例示例”
作者:
Ir. Ian M. Hampton
;
Ir. Kevin Lam
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
29.
A specific software development process for an electronic commerce portal
机译:
电子商务门户的特定软件开发过程
作者:
Volker Gruhn
;
Lothar Schope
;
Matthias Book
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
30.
End-to-end integration testing
机译:
端到端集成测试
作者:
Raymond Paul
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
31.
Experience report on conformance tests for CORBA ORBs
机译:
关于CORBA ORBS一致性测试的经验报告
作者:
M. Li
;
A. Rennoch
;
I. Schieferdecker
;
D. Witaszek
;
O. Halabi
;
A. Vouffo
;
A. Yin
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
CORBA;
Conformance testing;
Testability;
Static and dynamic analysis;
Testing tools;
32.
Author Index
机译:
作者索引
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
33.
Class and module in SOFL
机译:
SOFL中的类和模块
作者:
Shaoying Liu
;
Jin Song Dong
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
34.
On the modelling of document exchange processes in E-commerce protocols
机译:
关于电子商务协议文档交换过程的建模
作者:
Xu Wang
;
Shing-Chi Cheung
;
Jun Wei
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
35.
Comparison of Chinese and Japanese in designing B2C web pages toward impressional usability
机译:
汉语和日语在设计B2C网页达到令人印象深受的比较
作者:
Jian Hu
;
Jiamin Zhao
;
Kazuyuki Shima
;
Yasuhiro Takemura
;
Ken-ichi Matsumoto
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
36.
Assurance of conceptual data model quality based on early measures
机译:
基于早期措施的概念数据模型质量保证
作者:
Marcela Genero
;
Mairo Piattini
;
Coral Calero
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Information system quality;
Conceptual data model;
Entity relationship diagram;
Structural complexity;
Metrics;
Empirical validation;
37.
Beyond e-commerce software quality: web services effectiveness
机译:
超越电子商务软件质量:Web服务有效性
作者:
Hung-Sheng Chiu
;
Chyan Yang
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Component-based systems;
Architecture-centric;
Web services;
E-commerce;
38.
Priorities of process improvement outcomes based on process capability levels
机译:
基于过程能力水平的过程改进结果的优先事项
作者:
Timo Varkoi
;
Marion Lepasaar
;
Hannu Jaakkola
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
39.
Why software engineering is riskier than ever
机译:
为什么软件工程比以往任何时候都更有风险
作者:
Anne Fuller
;
Peter Croll
;
Omar Garcia
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
40.
A risk-driven design model for embedded system
机译:
嵌入式系统的风险驱动设计模型
作者:
Ying Dong
;
Mingshu Li
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
41.
Proceedings Second Asia-Pacific Conference on Quality Software
机译:
法律程序第二届亚太地区质量软件会议
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
42.
URL-driven automated testing
机译:
推动URL驱动的自动化测试
作者:
Robert B. Wen
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
43.
The use of software quality metrics in the materiel release process-- experience report
机译:
在物资发布过程中使用软件质量指标 - 体验报告
作者:
Michael Saboe
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
44.
Testable use cases in the abstract state machine language
机译:
抽象状态机语言的可测试用例
作者:
Wolfgang Grieskamp
;
Markus Lepper
;
Wolfram Schulte
;
Nikolai Tillmann
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
45.
A software factory model based on ISO9000 and CMM for Chinese small organizations
机译:
基于ISO9000和CMM的中国小型组织的软件工厂模型
作者:
Chao Li
;
Huaizhang Li
;
Mingshu Li
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
46.
A path to virtual software inspection
机译:
虚拟软件检查的路径
作者:
Lasse Harjumaa
;
Henrik Hedberg
;
Ilkka Tervonen
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
47.
A tailored capability model for inspection process improvement
机译:
用于检测过程改进的量身定制的能力模型
作者:
Ilkka Tervonen
;
Juha Iisakka
;
Lasse Harjumaa
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
48.
Special requirements for software process improvement applied in teleworking environments
机译:
在远程工作环境中应用软件流程改进的特殊要求
作者:
Hong Guo
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
49.
An ordinal-time reliability model applied to 'big-bang' suite-based testing
机译:
应用于“大爆炸”套件测试的顺序可靠性模型
作者:
Neil J. Davidson
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
50.
Combining the animation and testing of abstract data types
机译:
结合动画和抽象数据类型的测试
作者:
Tim Miller
;
Paul Strooper
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
51.
Exception analysis for multithreaded Java programs
机译:
多线程Java程序的异常分析
作者:
Sukyoung Ryu
;
Kwangkeun Yi
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
52.
Strategic drivers of software quality: beyond external and internal software quality
机译:
软件质量的战略驱动因素:超越外部和内部软件质量
作者:
Ronan Fitzpatrick
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Quality characteristics;
External quality factors;
Internal quality factors;
Procurer;
Producer;
Strategic quality drivers;
Software quality;
Strategic Driver model (SQ-SDM);
53.
An analysis of software correctness prediction methods
机译:
软件正确预测方法分析
作者:
P. Kokol
;
V. Podgorelec
;
M. Zorman
;
M. Sprogar
;
M. Pighin
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
54.
Incremental quality network
机译:
增量质量网络
作者:
Sergio Coronado
;
Jose Alberto Jaen
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
55.
Formally modeling and verifying Ricard Agrawala distributed mutual exclusion algorithm
机译:
正式建模和验证Ricard和Agrawala分布式互斥算法
作者:
Kazuhiro Ogata
;
Kokichi Futatsugi
会议名称:
《Asia-Pacific Conference on Quality Software》
|
2001年
关键词:
Algebraic specification;
CafeOBJ;
Distributed algorithms;
Modeling;
Specification;
UNITY;
Verification;
意见反馈
回到顶部
回到首页