掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Quality Software, 2009. QSIC '09
Quality Software, 2009. QSIC '09
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
数码
软件
新电脑
集成技术
电脑乐园·学生电脑
自动识别技术与应用
大众硬件
上海信息化
软件导刊
计算机工程与设计
更多>>
相关外文期刊
International journal of computational intelligence in bioinformatics and systems biology
Foundations and trends in machine learning
Information Systems Research
International journal of artificial intelligence and soft computing
RCM&E
Linux Journal
International journal of geotechnical earthquake engineering
Multimedia und Recht
International Journal of Robotics & Automation
Studies in Informatics and Control
更多>>
相关中文会议
第27次全国计算机安全学术交流会
第七届全国仿真器学术会议
第九届全国复杂网络会议
全国控制网络会议
第十届全国遥感遥测遥控学术研讨会
第五届智能CAD与数字娱乐学术会议
首届泛珠三角先进制造技术论坛暨第八届粤港机电工程技术与应用研讨会
2007全国理论计算机科学学术年会
第五届中国人工智能联合学术会议
第15届全国软件与应用学术会议(NASAC2016)
更多>>
相关外文会议
Romansy 19 : Robot design, dynamics and control
7th World Multiconference on Systemics, Cybernetics and Informatics(SCI 2003) vol.4: Image, Acoustic, Speech and Signal Processing
International Conference on Data Mining VI; 2005; Skiathos(GR)
2016 International Conference on Microelectronics, Computing and Communications
Computational intelligence in security for information systems
Neural Networks, 1994. IEEE World Congress on Computational Intelligence
Designing Secure Systems
Information theoretic security
Joint International Conferences on Formal Modelling and Analysis of Timed Systems(FORMATS 2004) and Formal Techniques in Real-Time and Fault-Tolerant Systems(FTRTFT 2004); 20040922-24; Grenoble(FR)
2018 76th Device Research Conference
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Towards Scalable Compositional Test Generation
机译:
迈向可扩展的组合测试生成
作者:
Sun Tao
;
Wang Zheng
;
Pu Geguang
;
Yu Xiao
;
Qiu Zongyan
;
Gu Bin
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Automatic Test Generation;
Compositional Testing;
Partial Execution;
Program Slicing;
2.
Generating Effective Test Sequences for BPEL Testing
机译:
为BPEL测试生成有效的测试序列
作者:
Hou Shan-Shan
;
Zhang Lu
;
Lan Qian
;
Mei Hong
;
Sun Jia-Su
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
BPEL Testing;
Message Sequence Graph;
Test-Sequence generation;
3.
Message from the Program Chair
机译:
计划主席的话
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
4.
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications
机译:
从行为规范到重写理论规范的转换器的模块化实现
作者:
Zhang Min
;
Ogata Kazuhiro
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
5.
An Indepth Study of Mirror Adaptive Random Testing
机译:
镜像自适应随机测试的深入研究
作者:
Kuo Fei-Ching
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Software testing;
adaptive random testing;
failure detection effectiveness;
mirroring;
random testing;
6.
SmartClean: An Incremental Data Cleaning Tool
机译:
SmartClean:增量数据清理工具
作者:
Oliveira Paulo
;
Rodrigues Fátima
;
Henriques Pedro
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Architecture;
Correction;
Data Cleaning;
Data Quality Problems;
Detection;
Tool;
7.
A Verification-Centric Software Development Process for Java
机译:
Java的以验证为中心的软件开发过程
作者:
Zimmerman Daniel M.
;
Kiniry Joseph R.
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Business Object Notation;
Design by Contract;
Java;
Java Modeling Language;
formal methods;
software engineering process;
software verification;
8.
SQuaRE-Aligned Data Quality Model for Web Portals
机译:
符合SQuaRE的Web门户数据质量模型
作者:
Moraga Carmen
;
Moraga Mª Ángeles
;
Calero Coral
;
Caro Angélica
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
data quality;
quality model;
web portals;
9.
Resource-Aware Test Suite Optimization
机译:
资源感知测试套件优化
作者:
Zhang Xiaofang
;
Shan Huamao
;
Qian Ju
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
0-1 knapsack;
regression testing;
resource-aware;
test suite optimization;
10.
Keynote 1
机译:
主题演讲1
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
11.
Software Quality Model for Consumer Electronics Product
机译:
消费电子产品的软件质量模型
作者:
Kim Chanwook
;
Lee Keun
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Consumer Electronics;
Reusability;
Software Quality Model;
12.
An Approach to Measure Value-Based Productivity in Software Projects
机译:
一种衡量软件项目中基于价值的生产率的方法
作者:
Júnior Gibeon Soares de Aquino
;
Meira Silvio Romero de Lemos
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Measurement;
Process;
Productivity;
13.
Author Index
机译:
作者索引
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
14.
Interactive Specification and Verification of Behavioural Adaptation Contracts
机译:
行为适应合同的交互式规范和验证
作者:
Cámara Javier
;
Salaün Gwen
;
Canal Carlos
;
Ouederni Meriem
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
adaptation;
behavioural interface;
components and services;
graphical notation;
validation and verification;
15.
A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload
机译:
用工作量预测计算资源枯竭的神经网络方法
作者:
Xue Ke-Xian
;
Su Liang
;
Jia Yun-Fei
;
Cai Kai-Yuan
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
computing-resource exhaustion;
neural network;
software aging;
workload parameters;
16.
Evaluating the Ability of Novice Analysts to Understand Requirements Models
机译:
评估新手分析师理解需求模型的能力
作者:
Abrahão Silvia
;
Insfran Emilio
;
Carsí José A.
;
Genero Marcela
;
Piattini Mario
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Empirical Software Engineering;
Method Evaluation;
Requirements Engineering;
17.
Towards Optimising Non-functional Requirements
机译:
致力于优化非功能性需求
作者:
Burgess Christopher
;
Krishna Aneesh
;
Jiang Li
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
NFR framework;
Requirements engineering;
non-functional requirements;
softgoal interdependency ruleset graphs;
18.
Improving Software Testing Cost-Effectiveness through Dynamic Partitioning
机译:
通过动态分区提高软件测试的成本效益
作者:
Zhou Zhi Quan
;
Sinaga Arnaldo
;
Zhao Lei
;
Susilo Willy
;
Cai Kai-Yuan
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
dynamic partitioning;
partition testing;
random testing;
software testing;
19.
Quality Assessment of Mission Critical Middleware System Using MEMS
机译:
使用MEMS的关键任务中间件系统的质量评估
作者:
Liu Yan
;
Foster Kate
;
Nguyen Thong
;
Keung Jacky W.
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
architecture evaluation;
quality;
testing;
20.
Are Fault Failure Rates Good Estimators of Adequate Test Set Size?
机译:
故障失败率是适当测试集大小的良好估计吗?
作者:
Debroy Vidroha
;
Wong W. Eric
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
fault detection;
fault failure rate;
software testing;
test set size;
21.
Increasing Diversity in Coverage Test Suites Using Model Checking
机译:
使用模型检查提高覆盖率测试套件的多样性
作者:
Fraser Gordon
;
Wotawa Franz
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
model checking;
specification based testing;
test case generation;
test coverage;
test diversity;
test redundancy;
22.
Practice Patterns to Improve the Quality of Design Model in Embedded Software Development
机译:
嵌入式软件开发中提高设计模型质量的实践模式
作者:
Kim Doo-Hwan
;
Kim Jong-Phil
;
Hong Jang-Eui
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Embedded software;
Software quality;
and Practice pattern;
23.
A Model-Based Testing for AADL Model of Embedded Software
机译:
嵌入式软件AADL模型的基于模型的测试
作者:
Dong Yun-wei
;
Wang Geng
;
Zhao Hong-bing
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Architecture Analyze and Design Language (AADL);
Error Model;
Markov Chain;
Model-based Testing;
24.
A Survey of Model-Driven Testing Techniques
机译:
模型驱动测试技术概述
作者:
Mussa Mohamed
;
Ouchani Samir
;
Sammane Waseem Al
;
Hamou-Lhadj Abdelwahab
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Software testing;
model-driven software engineering;
software quality assurance;
test case generation;
25.
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
机译:
从UML状态图到LOTOS:保留模型的语义
作者:
Chimisliu Valentin
;
Schwarzl Christian
;
Peischl Bernhard
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
LOTOS;
UML Statechart;
test case generation;
26.
On the Coverage of Program Code by Specification-Based Tests
机译:
基于规范的测试对程序代码的覆盖
作者:
Yu Y. T.
;
Chan Eric Y. K.
;
Poon P.-L.
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
category-partition method;
classification-tree method;
code coverage;
path coverage;
specification-based testing;
27.
Synchronization of Multi-window Requests for Server-Side Regression Test of Web Applications
机译:
Web应用程序服务器端回归测试的多窗口请求同步
作者:
Shimomura Takao
;
Ikeda Kenji
;
Takahashi Muneo
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Regression Test;
Server-side;
Synchronization;
Web Applications;
28.
Performance Evaluation Framework for Software Quality Engineering
机译:
软件质量工程绩效评估框架
作者:
Lee Joon-Sang
;
Jeong Oksoon
;
Ryu Jewhi
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
ROI;
performance evaluation;
software quality engineering;
29.
A Constraint-Oriented Approach to Software Architecture Design
机译:
面向约束的软件体系结构设计方法
作者:
Berg Mark van den
;
Tang Antony
;
Farenhorst Rik
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Constraints;
Design;
Software Architecture;
30.
RiTMO: A Method for Runtime Testability Measurement and Optimisation
机译:
RiTMO:一种用于运行时可测试性测量和优化的方法
作者:
Gonzalez-Sanchez Alberto
;
Piel Eric
;
Gross Hans-Gerhard
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
cig;
optimization;
runtime testability;
runtime testing;
31.
Security Metrics for Object-Oriented Class Designs
机译:
面向对象的类设计的安全度量
作者:
Alshammari Bandar
;
Fidge Colin
;
Corney Diane
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Design Principles;
Metrics;
Quality;
Refactoring;
Security;
32.
Modelling and Verification of Port Based Component Composition
机译:
基于端口的组件组成的建模和验证
作者:
Ding Zuohua
;
Jiang Mingyue
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Component composition;
Modeling;
Verification;
33.
An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing
机译:
随机化准随机序列的创新方法及其在软件测试中的应用
作者:
Liu Huai
;
Chen Tsong Yueh
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Adaptive Random Testing;
Non-Uniform Distribution;
Quasi-Random Testing;
Random Testing;
Software Testing;
34.
Web Traversal with a History Stack
机译:
具有历史记录堆栈的Web遍历
作者:
Navabpour Samaneh
;
Duan Lihua
;
Chen Jessica
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Rural Postman Problem;
test sequence;
web applications;
35.
Timed Modeling and Verification of BPEL Processes Using Time Petri Nets
机译:
使用时间Petri网的BPEL流程的定时建模和验证
作者:
Song Wei
;
Ma Xiaoxing
;
Ye Chunyang
;
Dou Wanchun
;
Lü Jian
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
BPEL Processes;
Modeling and Verification;
Time Petri Nets;
Timed Properties;
36.
Title Page i
机译:
标题页
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
37.
Constructing Feature Models Using Goal-Oriented Analysis
机译:
使用面向目标的分析构建特征模型
作者:
Uno Kohei
;
Hayashi Shinpei
;
Saeki Motoshi
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Feature Diagram;
Goal-oriented Requirements Analysis;
38.
Non-homogeneous Inverse Gaussian Software Reliability Models
机译:
非均匀逆高斯软件可靠性模型
作者:
Jin Lin-Zhu
;
Dohi Tadashi
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
fault-data analysis;
goodness-of-fit performance;
non-homogeneous inverse Gaussian process;
point processes;
prediction;
software reliability;
39.
A Test Process Improvement Model for Embedded Software Developments
机译:
嵌入式软件开发的测试过程改进模型
作者:
Jung Eun
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
40.
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
机译:
提高基于代理的系统的质量:将需求模型集成到Gaia中
作者:
Rodriguez Lorena
;
Hume Alethia
;
Cernuzzi Luca
;
Insfrán Emilio
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Agent-oriented Methodologies;
Gaia;
Requirements Engineering;
41.
Application of Metamorphic Testing to Supervised Classifiers
机译:
变形测试在监督分类器中的应用
作者:
Xie Xiaoyuan
;
Ho Joshua
;
Murphy Christian
;
Kaiser Gail
;
Xu Baowen
;
Chen Tsong Yueh
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Machine Learning;
Metamorphic Testing;
Oracle Problem;
Software Testing;
42.
Reuse Strategies in Distributed Complex Event Detection
机译:
分布式复杂事件检测中的重用策略
作者:
Long Zhenyue
;
Jin Beihong
;
Qi Fengliang
;
Cao Donglei
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
CEP;
Complex Event Detection;
Pub/Sub;
Reuse;
43.
A Robot Fault-Tolerance Approach Based on Fault Type
机译:
基于故障类型的机器人容错方法
作者:
Shim Bingu
;
Baek Beomho
;
Kim Suntae
;
Park Sooyong
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Dependability;
Fault-tolerance;
Robot;
44.
A Bayesian Approach for the Detection of Code and Design Smells
机译:
检测代码和设计气味的贝叶斯方法
作者:
Khomh Foutse
;
Vaucher Stéphane
;
Guéhéneuc Yann-Gaël
;
Sahraoui Houari
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
bayesian belief networks;
code smells;
design smells;
software quality;
45.
Improvement of Quality of Software Requirements with Requirements Ontology
机译:
借助需求本体提高软件需求质量
作者:
Dzung Dang Viet
;
Ohnishi Atsushi
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Quality of Requirements Specification;
Requirements Ontology;
Requirements elicitation;
46.
Model-Driven Software Measurement Framework: A Case Study
机译:
模型驱动的软件度量框架:案例研究
作者:
Mora Beatriz
;
Garcia Felix
;
Ruiz Francisco
;
Piattini Mario
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Model-driven Engineering;
Software Measurement;
47.
Improving Coverage Based Test Purposes
机译:
改善基于覆盖率的测试目的
作者:
Weiglhofer Martin
;
Wotawa Franz
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
LOTOS;
conformance testing;
coverage based testing;
model-based testing;
test purposes;
tgv;
48.
Building Automotive Software Component within the AutoSAR Environment - A Case Study
机译:
在AutoSAR环境中构建汽车软件组件-案例研究
作者:
Vo Gia Nghia
;
Lai Richard
;
Garg Mohit
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
49.
Localizing Software Faults Simultaneously
机译:
同时定位软件故障
作者:
Abreu Rui
;
Zoeteweij Peter
;
Gemund Arjan J. C. van
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Software fault diagnosis;
program spectra;
statistical and reasoning approaches;
50.
Building Prioritized Pairwise Interaction Test Suites with Ant Colony Optimization
机译:
利用蚁群优化构建优先的成对互动测试套件
作者:
Chen Xiang
;
Gu Qing
;
Zhang Xin
;
Chen Daoxu
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Software testing;
ant colony optimization;
prioritized interaction testing;
51.
Change Impact Analysis of a Software Process Using Process Slicing
机译:
使用流程切片的软件流程变化影响分析
作者:
Park Seunghun
;
Kim Hyeonjeong
;
Bae Doo-Hwan
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
impact analysis;
process change;
process slicing;
software process;
52.
An Adapter Framework for Keyword-Driven Testing
机译:
用于关键字驱动测试的适配器框架
作者:
Takala Tommi
;
Maunumaa Mika
;
Katara Mika
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Tool adaptation;
plug-in;
test tool;
53.
Towards Adaptive Test Code Generation for Service Oriented Systems
机译:
面向面向服务的系统的自适应测试代码生成
作者:
Felderer Michael
;
Zech Philipp
;
Fiedler Frank
;
Chimiak-Opoka Joanna
;
Breu Ruth
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Model-Driven Testing;
Quality of Services;
Requirements Specification;
Service Oriented Architecture;
System Testing;
54.
GARDIAN: A Tool for Validating Rule-Based Modeling Methods
机译:
监护人:一种用于验证基于规则的建模方法的工具
作者:
Kim Suntae
;
Kim Jintae
;
Park Sooyong
;
Kim Dae-Kyoo
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
COMET;
Model;
Rule;
UML;
55.
Developing Data Quality Aware Applications
机译:
开发数据质量感知应用程序
作者:
Pérez Ricardo
;
Guerra-García César
;
Piattini Mario
;
Moraga Ma Ángeles
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Data Quality;
Software Development Methodologies;
Software Quality Assurance;
56.
Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem
机译:
设计和体系结构恢复技术的源代码质量:实用程序是问题
作者:
Pirzadeh Heidar
;
Alawneh Luay
;
Hamou-Lhadj Abdelwahab
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Design and architecture recovery;
quality of the source code in software maintenance;
utility components;
57.
Keynote 2
机译:
主题演讲2
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
58.
Reviewers
机译:
审稿人
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
59.
Message from the General Chair
机译:
主席致辞
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
60.
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models
机译:
通过使用概率用户模型来支持用于被动测试的定时属性的提取
作者:
Andrés César
;
Merayo Mercedes G.
;
Núñez Manuel
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Formal methods;
Passive testing;
Probabilistic formal models;
61.
ADAM: Web Anomaly Detection Assistant Based on Feature Matrix
机译:
ADAM:基于特征矩阵的Web异常检测助手
作者:
Cha Sungdeok
;
Lee Junsup
;
Kim Sangrok
;
Cho Sanghyun
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
anomaly detection;
network security;
web data mining;
web security;
62.
Automatic Generation of Normal Forms for Testing Object-Oriented Software
机译:
自动生成标准形式以测试面向对象的软件
作者:
Chen Huo Yan
;
Tse T. H.
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
algebraic specification;
equivalent fundamental pair;
normal form;
object-oriented program;
software testing;
63.
Title Page iii
机译:
标题页iii
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
64.
Copyright Page
机译:
版权页
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
65.
Publisher's Information
机译:
发行人信息
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
66.
An Intuitive Approach for Specifying Interface Constraint
机译:
指定接口约束的直观方法
作者:
Wang Qianxiang
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Interface;
constraint;
graph;
temporal;
67.
An Embedded Software Component Maturity Model
机译:
嵌入式软件组件成熟度模型
作者:
Carvalho Fernando
;
Meira Silvio R. L.
;
Xavier Elyda
;
Eulino João
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Embedded Design;
Embedded System;
Maturity Model;
Quality Model;
Quality Verification;
68.
Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing
机译:
用于服务测试的黑盒测试用例优先级的基于标签的技术
作者:
Mei Lijun
;
Chan W. K.
;
Tse T. H.
;
Merkel Robert G.
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
WS-BPEL;
black-box regression testing;
encapsulation testing;
service testing;
test case prioritization;
69.
Towards Selecting Test Data Using Topological Structure of Boolean Expressions
机译:
使用布尔表达式的拓扑结构来选择测试数据
作者:
Yu Lian
;
Tsai Wei-Tek
;
Zhao Wei
;
Zhu Jun
;
Wang Qianxing
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
Bealoon expression;
T-model;
fault-based testing;
70.
A Hybrid Approach to Detecting Security Defects in Programs
机译:
一种检测程序中安全缺陷的混合方法
作者:
Yu Lian
;
Zhou Jun
;
Yi Yue
;
Fan Jianchu
;
Wang Qianxiang
会议名称:
《Quality Software, 2009. QSIC '09》
|
2009年
关键词:
feature extraction;
fuzzy inference;
model checking;
ontology model;
security defects;
static analysis;
意见反馈
回到顶部
回到首页