掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE International Requirements Engineering Conference
IEEE International Requirements Engineering Conference
召开年:
2015
召开地:
Ottawa(CA)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Rationalization of goal models in GRL using formal argumentation
机译:
使用形式化论证对GRL中的目标模型进行合理化
作者:
van Zee Marc
;
Bex Floris
;
Ghanavati Sepideh
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
inference mechanisms;
systems analysis;
user interfaces;
GRL;
URN;
formal argumentation;
goal models;
goal-oriented requirements language;
reasoning;
user requirements notation;
Cognition;
Companies;
Knowledge based systems;
Stakeholders;
Standards;
Goal-oriented Requirements Language;
User Requirements Notation;
formal argumentation;
goal modeling;
2.
The myth of bad passive voice and weak words an empirical investigation in the automotive industry
机译:
不良的被动语态和虚弱的言辞的神话在汽车行业中的经验研究
作者:
Krisch Jennifer
;
Houdek Frank
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
automobile industry;
formal specification;
natural language processing;
automotive industry;
bad passive voice;
natural language specifications;
requirements engineering;
unambiguous requirements;
understandable requirements;
weak words;
Context;
Guidelines;
Industries;
Natural languages;
Pragmatics;
Standards;
Writing;
Requirements engineering;
empirical investiigation;
passive voice;
weak words;
3.
The need of complementing plan-driven requirements engineering with emerging communication: Experiences from Volvo Car Group
机译:
用新兴的沟通补充计划驱动的需求工程的需求:沃尔沃汽车集团的经验
作者:
Eliasson Ulf
;
Heldal Rogardt
;
Knauss Eric
;
Pelliccione Patrizio
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
systems analysis;
traffic engineering computing;
OEMs;
V-model process;
Volvo car group;
automotive industry;
automotive original equipment manufacturers;
formal process;
in-house software development;
plan-driven requirements engineering;
software requirements;
supply-chain;
Automotive engineering;
Hardware;
Industries;
Interviews;
Requirements engineering;
Safety;
Software;
automotive requirements engineering;
beyond plan-driven requirements engineering;
emerging communication;
4.
The Personal Information Security Assistant
机译:
个人信息安全助理
作者:
Kegel Roeland H. P.
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
data privacy;
risk analysis;
security of data;
PISA;
end-users;
human element;
information security chain;
personal IT environment;
personal information security assistant;
privacy awareness;
security awareness;
user privacy requirements;
user risk perception;
user security requirements;
Context;
Information security;
Privacy;
Prototypes;
Risk management;
Sensors;
Persuasive Technology;
Privacy;
Risk Appetite;
Risk Perception;
Security;
User Requirements Elicitation;
5.
Handling non-functional requirements in Model-Driven Development: An ongoing industrial survey
机译:
处理模型驱动开发中的非功能需求:正在进行的工业调查
作者:
Ameller David
;
Franch Xavier
;
Gomez Cristina
;
Araujo Joao
;
Berntsson Svensson Richard
;
Biffl Stefan
;
Cabot Jordi
;
Cortellessa Vittorio
;
Daneva Maya
;
Mendez Fernandez Daniel
;
Moreira Ana
;
Muccini Henry
;
Vallecillo Antonio
;
Wimmer Manuel
;
Amaral Vasco
;
Bruneliere Hugo
;
Burgueno Loli
;
Goulao Miguel
;
Schatz Bernhard
;
Teufl Sabine
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
systems analysis;
NFR4MDD project;
industrial survey;
model-driven development;
multinational empirical study;
nonfunctional requirements;
Companies;
Context;
Data analysis;
Interviews;
Protocols;
Sociology;
Statistics;
Empirical Study;
MDD;
Model-Driven Development;
NFR;
Non-Functional Requirements;
Quality Requirements;
Semi-Structured Interviews;
Survey;
6.
Towards a general formal framework of Coherence Management in RE
机译:
建立RE中一致性管理的一般形式框架
作者:
Borgida Alexander
;
Jureta Ivan
;
Zamansky Anna
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
software management;
systems analysis;
RE;
coherence management;
general formal framework;
requirements engineering;
requirements representations;
Cognition;
Coherence;
Context;
Requirements engineering;
Software;
Software engineering;
Stakeholders;
Inconsistency Management;
Requirements Engineering;
7.
Towards engineering transparency as a requirement in socio-technical systems
机译:
将工程透明化作为社会技术系统的要求
作者:
Hosseini Mahmood
;
Shahri Alimohammad
;
Phalp Keith
;
Ali Raian
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
data privacy;
optimisation;
social sciences computing;
systems analysis;
engineering transparency;
information transparency;
joint optimisation;
social requirements;
socio-technical systems;
Analytical models;
Companies;
Context;
IP networks;
Privacy;
Sociotechnical systems;
Stakeholders;
socio-technical systems;
transparency analysis;
transparency modelling;
transparency requirements;
8.
Towards reuse in safety risk analysis based on product line requirements
机译:
根据产品线要求实现安全风险分析中的重用
作者:
Kaindl Hermann
;
Popp Roman
;
Raneburger David
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
risk analysis;
safety-critical software;
software development management;
software reusability;
systems analysis;
automotive industries;
product line requirements;
product-line technology;
railway industries;
repository look-up;
requirements engineering;
risk-analysis artefacts;
safety risk analysis;
safety-critical systems;
safety-related risks;
Context;
Hazards;
Industries;
Rail transportation;
Risk analysis;
Unified modeling language;
9.
Reuse of architecturally derived Standards Requirements
机译:
重用从体系结构衍生的标准要求
作者:
Panis Michael C.
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
software architecture;
software quality;
software reusability;
architecturally derived standard requirements reuse;
engineering company deployment;
product development cost reduction;
product quality improvement;
system architectural features;
Instruments;
Organizations;
Signal generators;
Software;
Standards organizations;
practical;
process;
requirements;
reuse;
standardization;
standards;
traceability;
10.
Using real options to manage Technical Debt in Requirements Engineering
机译:
使用实物期权管理需求工程中的技术债务
作者:
Abad Zahra Shakeri Hossein
;
Ruhe Guenther
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
dynamic programming;
formal specification;
Technical Debt metaphor;
binomial model;
dynamic programming;
quantitative method;
requirements debt valuation;
requirements decision management;
requirements decisions;
requirements engineering;
requirements prioritization;
requirements specification;
software development projects;
software products;
specific future decision;
Context;
Cost accounting;
Delays;
Requirements engineering;
Schedules;
Software;
Uncertainty;
Requirements engineering;
decision-making;
real options;
requirements debt;
technical debt;
valuation;
11.
Supporting quantitative assessment of requirements in Goal Orientation
机译:
支持对目标导向的要求进行定量评估
作者:
Darimont Robert
;
Ponsard Christophe
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
systems analysis;
AND-OR goal-obstacles structures;
RE phase;
external spreadsheet application;
formal semantics;
goal orientation;
model-driven engineering techniques;
objectiver tool;
requirements engineering;
requirements quantitative assessment;
semiformal models;
Analytical models;
Cognition;
Estimation;
Requirements engineering;
Safety;
Statistical analysis;
Unified modeling language;
12.
Understanding changes in use cases: A case study
机译:
了解用例的变化:案例研究
作者:
Basirati Mohammad R.
;
Femmer Henning
;
Eder Sebastian
;
Fritzsche Martin
;
Widera Alexander
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software maintenance;
systems analysis;
industrial software project;
local dispersion analysis;
maintenance risks;
requirements artifacts;
requirements engineering;
temporal dispersion analysis;
Business;
Dispersion;
Maintenance engineering;
Measurement;
Software systems;
Taxonomy;
Artifacts;
Change;
Maintainability;
Requirements Engineering;
Use Cases;
13.
Systematic elicitation of mode models for multifunctional systems
机译:
多功能系统的模式模型的系统启发
作者:
Vogelsang Andreas
;
Femmer Henning
;
Winkler Christian
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software engineering;
systems analysis;
elicitation approaches;
feature analysis process;
feature specification;
manageable mode models;
multifunctional systems;
productive context;
productive system;
requirements engineering approaches;
systematic mode models elicitation;
Analytical models;
Context;
Engines;
Feature extraction;
Interviews;
Unified modeling language;
Vehicles;
Requirements modeling;
automotive software;
feature specifications;
industry;
statecharts;
14.
Using the requirements specification to infer the implicit test status of requirements
机译:
使用需求规范来推断需求的隐式测试状态
作者:
Morciniec Tobias
;
Podelski Andreas
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
automobile industry;
formal specification;
inference mechanisms;
natural language processing;
Daimler AG;
Mercedes-Benz passenger cars;
implicit test status;
inference;
natural language requirements;
requirements specification;
structuring mechanisms;
Cameras;
Context;
Global Positioning System;
Natural languages;
Rain;
Testing;
Vehicles;
Automotive Testing;
Requirement Dependencies;
Requirement Test Status;
15.
An information theoretic approach for extracting and tracing non-functional requirements
机译:
一种用于提取和跟踪非功能需求的信息理论方法
作者:
Mahmoud Anas
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
information theory;
software quality;
cluster hypothesis;
high-level software quality constraints;
information theoretic approach;
nonfunctional requirements extraction;
nonfunctional requirements tracing;
requirements specification;
semantic knowledge;
software NFR;
software systems;
system functional features;
Accuracy;
Chlorine;
Clustering algorithms;
Couplings;
Google;
Semantics;
Software;
16.
Web tool for Goal modelling and statechart derivation
机译:
用于目标建模和状态图推导的Web工具
作者:
Pimentel Joao
;
Vilela Jessyka
;
Castro Jaelson
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
Internet;
formal specification;
GATO tool;
Goal to Architecture tool;
Web tool;
behavioural view;
delegation view;
design view;
goal modelling;
requirements view;
software engineering processes;
statechart derivation;
Adaptation models;
Adaptive systems;
Computer architecture;
Libraries;
Reliability;
Software;
Visualization;
Goal modelling tool;
Requirements-driven software adaptation;
Statechart Derivation;
Web tool;
17.
Inherent characteristics of traceability artifacts less is more
机译:
可追溯工件的内在特征少即是多
作者:
Hayes Jane Huffman
;
Antoniol Giulio
;
Adams Bram
;
Gueheneuc Yann-Gael
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
pattern classification;
program diagnostics;
regression analysis;
ChangeStyle dataset;
hill climbing;
logistic regression classifier;
logistic regression model;
natural language documents;
random restart;
single-step model;
software traceability approaches;
subset selection;
textual artifact;
trace dataset;
trace links;
traceability artifact characteristics;
Indexes;
Logistics;
Manuals;
Object oriented modeling;
Software;
Software measurement;
Training;
Traceability;
artifact characteristics;
logistic regression;
machine learning;
model;
18.
Ready-Set-Transfer! Technology transfer in the requirements engineering domain
机译:
准备好转移!需求工程领域的技术转让
作者:
Cleland-Huang Jane
;
Rahimi Mona
;
Mirakhorli Mehdi
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
computer games;
formal specification;
interactive systems;
technology transfer;
interactive game show;
ready set transfer;
requirements engineering community;
technology transfer;
technology transfer plan integration;
Collaboration;
Face;
Industries;
Requirements engineering;
Software;
Software engineering;
Technology transfer;
19.
You versus users - who owns your roadmap? (keynote)
机译:
您与用户-谁拥有您的路线图? (基调)
作者:
Mirzaee Aydin Y.
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
20.
A magnet-and-spring based visualization technique for enhancing the manipulation of requirements artifacts
机译:
基于磁簧的可视化技术,用于增强对需求工件的操纵
作者:
Ghazi Parisa
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
data visualisation;
formal specification;
artifact management;
focus+context concept;
magnet-and-spring based visualization technique;
magnet-and-spring system;
requirements artifacts;
requirements engineers model;
Context;
Distortion;
Magnetosphere;
Navigation;
Springs;
Unified modeling language;
Visualization;
focus+context;
magnet;
navigation;
physical metaphor;
requirements artifacts;
requirements engineering;
spring;
visualization;
21.
Trace links explained: An automated approach for generating rationales
机译:
跟踪链接说明:生成原理的自动化方法
作者:
Jin Guo
;
Monaikul Natawut
;
Cleland-Huang Jane
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
program diagnostics;
program verification;
safety-critical software;
compliance verification;
domain-specific knowledge bases;
impact analysis;
medical infusion pump domain;
safety critical software systems;
safety inspections;
software engineering;
software traceability;
trace link rationales generation;
transportation system;
Automobiles;
Monitoring;
Ontologies;
Road transportation;
Safety;
Semantics;
Syntactics;
Rationale;
Traceability;
22.
Ambiguity as a resource to disclose tacit knowledge
机译:
含糊不清作为揭示默认知识的资源
作者:
Ferrari Alessio
;
Spoletini Paola
;
Gnesi Stefania
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
knowledge acquisition;
systems analysis;
ambiguity resource;
customer-analyst interviews;
knowledge transfer;
multidimensional cognitive phenomenon;
requirements analyst;
requirements elicitation interviews;
tacit knowledge;
Context;
Interviews;
Knowledge transfer;
Pragmatics;
Recycling;
Speech;
Stakeholders;
23.
Requirements, behaviours, and software engineering (keynote)
机译:
需求,行为和软件工程(主题演讲)
作者:
Jackson Michael
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software engineering;
systems analysis;
requirements engineering;
software engineering;
system behaviour effect;
system requirements;
Complexity theory;
Contracts;
Cruise control;
Roads;
Software;
Software engineering;
Stakeholders;
24.
Exposing the susceptibility of off-nominal behaviors in reactive system requirements
机译:
揭示反应系统要求中标称行为的敏感性
作者:
Aceituna Daniel
;
Hyunsook Do
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
systems analysis;
CCM;
ONB;
causal component model;
off-nominal behaviors;
reactive system requirements;
system operating environment;
Industries;
Microwave ovens;
Stakeholders;
Switches;
Testing;
Thyristors;
Off-nominal behaviors;
concurrency;
reactive systems;
requirements;
25.
Scalable modeling and analysis of requirements preferences: A qualitative approach using CI-Nets
机译:
需求偏好的可扩展建模和分析:使用CI-Nets的定性方法
作者:
Oster Zachary J.
;
Santhanam Ganesh Ram
;
Basu Samik
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
inference mechanisms;
systems analysis;
CI-nets;
GORE;
conditional importance networks;
goal-oriented requirements engineering;
reasoning;
requirements preferences;
scalable modeling;
Algorithm design and analysis;
Analytical models;
Cognition;
Computational modeling;
Requirements engineering;
Security;
Stakeholders;
26.
Technology transfer - Requirements Engineering research to industrial practice an open (ended) debate
机译:
技术转让-需求工程研究到工业实践的公开辩论(已结束)
作者:
Duarte Carlos Henrique C.
;
Gorschek Tony
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
economics;
knowledge based systems;
social sciences;
systems analysis;
technology transfer;
competitive advantage;
economic gains;
institutional motivation;
knowledge transfer;
local ecosystems;
requirements engineering;
social gains;
software domain;
technology transfer;
Biological system modeling;
Collaboration;
Industries;
Knowledge engineering;
Requirements engineering;
Software;
Technology transfer;
Empirical Methods;
Requirements Engineering;
Software Industry;
Technology and Knowledge Transfer;
27.
Can you intentionally design a product that is Cool? (keynote)
机译:
您可以故意设计一款很酷的产品吗? (基调)
作者:
Holtzblatt Karen
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
product design;
user centred design;
Cool Project;
contextual design;
cool concepts;
cool user experience;
design triangle;
joy wheel;
product design;
product teams;
user-centered design process;
Companies;
Heart;
Industries;
Joining processes;
Next generation networking;
Psychology;
Wheels;
28.
What you ask is what you get: Understanding architecturally significant functional requirements
机译:
您要得到的是什么:了解架构上重要的功能需求
作者:
Anish Preethu Rose
;
Daneva Maya
;
Cleland-Huang Jane
;
Wieringa Roel J.
;
Ghaisas Smita
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
decision making;
formal specification;
formal verification;
software architecture;
PQ;
architect domain knowledge;
architectural decision making;
architecturally significant functional requirements;
business analysts;
business domains;
probing questions;
software architects;
software architectural choices;
software requirement specification documents;
Banking;
Batch production systems;
Interviews;
Licenses;
Organizations;
Software;
Architecturally significant requirements;
empirical research method;
exploratory case study;
large-scale project delivery;
qualitative interviews;
quantitative study;
29.
Feature lifecycles as they spread, migrate, remain, and die in App Stores
机译:
功能生命周期在App Store中传播,迁移,保留和消亡的过程
作者:
Sarro Federica
;
Al-Subaihin Afnan A.
;
Harman Mark
;
Yue Jia
;
Martin William
;
Yuanyuan Zhang
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
smart phones;
BlackBerry App Stores;
Samsung App Stores;
application feature lifecycle analysis;
attribute relationships;
correlation analysis;
empirical analysis;
feature behaviours;
intransitive features;
migratory behaviours;
nonfree features;
nonmigratory behaviours;
popularity factor;
price factor;
rating factor;
Data mining;
Databases;
Feature extraction;
HTML;
Market research;
Natural language processing;
Software;
30.
A quality model for the systematic assessment of requirements traceability
机译:
系统评估需求可追溯性的质量模型
作者:
Rempel Patrick
;
Mader Patrick
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software quality;
systems analysis;
maturity models;
quality model;
requirements standards;
requirements traceability;
safety regulations;
software requirements;
systematic assessment;
Data models;
Logic gates;
Planning;
Safety;
Software;
Stakeholders;
Time division multiplexing;
assessment;
inspection;
problem dependencies;
requirements traceability;
traceability problem classes;
31.
Sketching and notation creation with FlexiSketch Team: Evaluating a new means for collaborative requirements elicitation
机译:
FlexiSketch团队进行草图绘制和符号创建:评估协作需求引出的新方法
作者:
Wuest Dustin
;
Seyff Norbert
;
Glinz Martin
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
groupware;
interactive devices;
notebook computers;
software engineering;
systems analysis;
FlexiSketch Team;
ad-hoc notations;
collaborative requirements elicitation;
creative requirements elicitation;
design sessions;
diagram sketches;
diagramming notations reuse;
electronic whiteboard;
free-form diagrams;
language constructs;
notation creation;
requirements engineers;
tablets;
type definitions;
Collaboration;
Conferences;
Context;
Libraries;
Servers;
Stakeholders;
Unified modeling language;
Requirements engineering;
ad-hoc modeling;
collaboration;
meetings;
notation definition;
sketching;
tool;
32.
An enhanced requirements gathering interface for open source software development environments
机译:
开源软件开发环境的增强的需求收集界面
作者:
Kuriakose Jaison
;
Parsons Jeffrey
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
object-oriented methods;
public domain software;
software reusability;
OSS development environments;
open source software development environments;
requirements gathering interface enhancement;
reusable requirement patterns;
Business;
Context;
Crowdsourcing;
Engineering profession;
Memory management;
Open source software;
OSS development;
requirements generation;
requirements patterns;
33.
An environment-driven ontological approach to requirements elicitation for safety-critical systems
机译:
一种环境驱动的本体方法,用于对安全关键型系统进行需求引出
作者:
Jiale Zhou
;
Hanninen Kaj
;
Lundqvist Kristina
;
Yue Lu
;
Provenzano Luciana
;
Forsberg Kristina
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
inference mechanisms;
ontologies (artificial intelligence);
safety;
SCS;
conceptual ontologies;
environment-driven ontological approach;
environmental safety requirements elicitation;
ontological reasoning mechanism;
safety critical system;
system operating environment;
Automotive engineering;
Cognition;
Hazards;
Ontologies;
Rails;
Risk management;
34.
A language for writing system specifications in an aeronautical context
机译:
用于在航空环境中编写系统规范的语言
作者:
Lebeaupin Benoit
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
aerospace computing;
formal specification;
specification languages;
aeronautics;
free text specifications;
requirement engineering;
specification language;
system specifications;
Companies;
Context;
Natural languages;
Requirements engineering;
Velocity control;
Wheels;
Writing;
35.
Assessment of risk perception in security requirements composition
机译:
评估安全需求组成中的风险感知
作者:
Hibshi Hanan
;
Breaux Travis D.
;
Broomell Stephen B.
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
object-oriented programming;
security of data;
analysts risk perceptions;
factorial vignettes;
multilevel modeling;
multiple machines;
risk perception assessment;
security requirements analysis;
software components;
Analytical models;
Atmospheric measurements;
Computational modeling;
Cryptography;
Particle measurements;
Standards;
factor surveys;
requirements elicitation;
security requirements;
user study;
vignettes;
36.
Challenges of Requirements Engineering in AUTOSAR ecosystems
机译:
AUTOSAR生态系统中需求工程的挑战
作者:
Soltani Mozhan
;
Knauss Eric
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
automotive engineering;
formal specification;
object-oriented programming;
AUTOSAR compliant ECU development;
AUTOSAR ecosystems;
automotive sector;
car manufacturers;
central standard;
certified AUTOSAR-Tier-2 supplier;
direct business relationship;
electronic control units;
holistic ecosystem perspective;
interoperability;
nonstandard requirements;
requirements engineering;
software components;
tier-1 suppliers;
Automotive engineering;
Business;
Ecosystems;
Requirements engineering;
Software;
Software engineering;
Standards;
37.
Change impact analysis for Natural Language requirements: An NLP approach
机译:
针对自然语言需求的变更影响分析:一种NLP方法
作者:
Arora Chetan
;
Sabetzadeh Mehrdad
;
Goknil Arda
;
Briand Lionel C.
;
Zimmer Frank
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
natural language processing;
NLP approach;
change impact analysis;
natural language processing;
natural language requirements;
requirements specifications;
Atmospheric measurements;
Databases;
Natural language processing;
Particle measurements;
Satellites;
Semantics;
Syntactics;
Change Impact Analysis;
Natural Language Processing (NLP);
Natural Language Requirements;
38.
Cognitive factors in inconsistency management
机译:
不一致管理中的认知因素
作者:
Hadar Irit
;
Zamansky Anna
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
cognition;
formal specification;
human factors;
cognitive factors;
inconsistency management;
requirements engineering;
Context;
Decision making;
Encoding;
Industries;
Information systems;
Software;
Software engineering;
IS development;
Inconsistency management;
human factors;
method adoption;
39.
Detecting repurposing and over-collection in multi-party privacy requirements specifications
机译:
在多方隐私要求规范中检测重新利用和过度收集
作者:
Breaux Travis D.
;
Smullen Daniel
;
Hibshi Hanan
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
Web services;
data privacy;
description logic;
mobile computing;
security of data;
Amazon Web Services;
DL models;
Facebook login;
Flurry.com;
Waze mobile application;
data use flexibility;
description logic;
exponential asymptotic timeframes;
guidelines;
international standards;
multiparty data flow requirements;
multiparty privacy requirements specifications;
over-collection detection;
repurposing detection;
use limitation principles;
Advertising;
Data privacy;
Facebook;
Limiting;
Privacy;
Terminology;
Data flow analysis;
privacy principles;
requirements validation;
40.
Agile requirements engineering with prototyping: A case study
机译:
带有原型的敏捷需求工程:一个案例研究
作者:
Kapyaho Marja
;
Kauppinen Marjo
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software prototyping;
software quality;
ATDD;
acceptance test driven development;
agile RE;
agile requirements engineering;
agile software development;
quality requirements;
software prototyping;
Agile software development;
Companies;
Documentation;
Interviews;
Prototypes;
Software;
RE process;
agility;
good practices;
prototyping;
requirements engineering;
41.
Exploiting online human knowledge in Requirements Engineering
机译:
在需求工程中开发在线人类知识
作者:
Mahmoud Anas
;
Carver Doris
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
Internet;
Web sites;
groupware;
knowledge based systems;
natural language processing;
systems analysis;
NLP;
Wikipedia;
World Wide Web;
collaborative knowledge bases;
data-driven natural language processing;
online encyclopedia;
online human knowledge;
requirements engineering;
semantic dimensions;
textual corpus;
Electronic publishing;
Encyclopedias;
Internet;
Ontologies;
Semantics;
Software;
42.
Democratic mass participation of users in Requirements Engineering?
机译:
用户是否可以大量参与需求工程?
作者:
Johann Timo
;
Maalej Walid
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
systems analysis;
e-democracy;
e-participation;
market research;
politics;
psychology;
requirements engineering;
user democratic mass participation;
Collaboration;
Liquids;
Media;
Proposals;
Requirements engineering;
Software;
Stakeholders;
43.
Forging high-quality User Stories: Towards a discipline for Agile Requirements
机译:
打造高质量的用户故事:迈向敏捷需求纪律
作者:
Lucassen Garm
;
Dalpiaz Fabiano
;
van der Werf Jan Martijn E. M.
;
Brinkkemper Sjaak
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software prototyping;
software quality;
software tools;
AQUSA software tool;
agile development projects;
agile requirements;
high-quality user stories;
highly qualitative metrics;
quality user story framework;
requirements engineers;
Databases;
Estimation;
Natural language processing;
Semantics;
Software;
Syntactics;
Unified modeling language;
AQUSA;
NLP;
QUS Framework;
User stories;
requirements engineering;
requirements quality;
44.
Goal and Preference Identification through natural language
机译:
通过自然语言识别目标和偏好
作者:
Alabdulkareem Fatima
;
Cercone Nick
;
Liaskos Sotirios
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
natural language processing;
advanced goal reasoning techniques;
automated processing;
automated reasoning tools;
decision making;
formal language;
formal representation;
goal models;
natural language preference expressions;
natural language processing techniques;
natural language statements;
preference identification;
preference specification;
requirements analysis;
statistical semantic similarity techniques;
Cognition;
Context;
Engines;
Natural languages;
Schedules;
Semantics;
Stakeholders;
decision analysis;
goal modeling;
natural language;
preference analysis;
requirements engineering;
45.
Goals at risk? Machine learning at support of early assessment
机译:
目标有风险吗?机器学习支持早期评估
作者:
Avesani Paolo
;
Perini Anna
;
Siena Alberto
;
Susi Angelo
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
decision making;
formal specification;
knowledge acquisition;
learning (artificial intelligence);
automated ranking;
decision process;
decision-maker;
human evaluators;
knowledge extraction;
machine learning;
organisational knowledge;
potential risk assessment;
potential risk identification;
potential risk management;
requirements engineering process;
risk analysis techniques;
risk-related information;
risks assessment techniques;
Approximation methods;
Decision making;
Open source software;
Requirements engineering;
Risk management;
Yttrium;
46.
Experience requirements in video games definition and testability
机译:
电子游戏定义和可测性方面的经验要求
作者:
Callele David
;
Dueck Philip
;
Wnuk Krzysztof
;
Hynninen Peitsa
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
computer games;
formal specification;
program testing;
entertainment applications;
productivity applications;
testability;
testable experience requirements;
video games definition;
Birds;
Entertainment industry;
Games;
Productivity;
Software;
Testing;
Visualization;
Experience requirements;
design goal;
testing;
user experience;
validation;
47.
Holistic security requirements analysis: An attacker's perspective
机译:
整体安全需求分析:攻击者的观点
作者:
Tong Li
;
Paja Elda
;
Mylopoulos John
;
Horkoff Jennifer
;
Beckers Kristian
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
object-oriented programming;
security of data;
CAPEC;
attack analysis approach;
attacker perspective;
comprehensive attack pattern repository;
concrete attack actions;
holistic security requirements analysis;
knowledge gap;
security breaches;
security controls;
software attacks;
system component;
system development community;
systems complexity;
Analytical models;
Energy consumption;
Hardware;
Pattern matching;
Security;
Smart meters;
Software;
48.
A requirements monitoring model for systems of systems
机译:
系统系统的需求监视模型
作者:
Vierhauser Michael
;
Rabiser Rick
;
Grunbacher Paul
;
Aumayr Benedikt
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software architecture;
system monitoring;
systems analysis;
RMM;
SoS architecture;
automation software domain;
heterogeneous systems;
software systems;
systems of systems;
three-dimensional requirements monitoring model;
Computer architecture;
Iron;
Monitoring;
Probes;
Runtime;
Steel;
System of systems;
requirements monitoring;
49.
Incorporating preferences from multiple stakeholders in software requirements selection an interactive search-based approach
机译:
在软件需求选择中整合多个利益相关者的偏好,这是一种基于交互式搜索的方法
作者:
Pitangueira Antonio Mauricio
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
costing;
decision making;
software development management;
systems analysis;
budget;
costs;
decision criteria;
multiple stakeholders preferences;
project constraints;
software development;
software requirements selection process;
technical aspects;
Optimization;
Proposals;
Search problems;
Software;
Software engineering;
Stakeholders;
Systematics;
Search-based;
Software requirements selection;
multiple stakeholders;
50.
From requirements elicitation to variability analysis using repertory grid: A cognitive approach
机译:
从需求启发到使用库的变异性分析:一种认知方法
作者:
Dey Sangeeta
;
Seok-Won Lee
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
cognitive systems;
grid computing;
systems analysis;
cognitive approach;
repertory grid;
requirements elicitation;
requirements engineering;
self-adaptive systems;
smart home system domain;
variability analysis;
Context;
Context modeling;
Economics;
Home appliances;
Space exploration;
Stakeholders;
Synthetic aperture sonar;
repertory grid;
requirements elicitation;
self-adaptive systems;
variability analysis;
51.
QuantUn: Quantification of uncertainty for the reassessment of requirements
机译:
QuantUm:量化不确定性以评估需求
作者:
Bencomo Nelly
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
adaptive systems;
systems analysis;
uncertainty handling;
QuantUn;
SAS;
environmental contexts;
quantification of uncertainty;
reassessment of requirements;
self-adaptive systems;
Adaptation models;
Adaptive systems;
Bayes methods;
Cognition;
Decision making;
Runtime;
Uncertainty;
Bayesian Surprise;
requirements assessment;
requirements reflection;
self-adaptation;
uncertainty;
52.
Handling knowledge uncertainty in risk-based requirements engineering
机译:
在基于风险的需求工程中处理知识不确定性
作者:
Cailliau Antoine
;
van Lamsweerde Axel
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
statistical distributions;
systems analysis;
uncertainty handling;
ambulance dispatching system;
domain-level uncertainty;
environment assumptions;
fine-grained obstacles;
goal satisfaction;
knowledge uncertainty;
probability distributions;
risk-based requirements engineering;
software requirements;
Analytical models;
Calibration;
Probabilistic logic;
Probability distribution;
Risk analysis;
Uncertainty;
goal-oriented requirements engineering;
obstacle analysis;
probabilistic goals;
quantitative reasoning;
requirements completeness;
risk assessment;
uncertainty management;
53.
ReqPat: Efficient documentation of high-quality requirements using controlled natural language
机译:
ReqPat:使用受控自然语言对高质量要求进行有效记录
作者:
Fockel Markus
;
Holtmann Jorg
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
natural language processing;
ReqPat;
automatic requirements validation;
controlled natural language;
high-quality requirement documentation;
requirements specifications;
software-intensive systems;
Analytical models;
Automotive engineering;
Documentation;
Lighting;
Natural languages;
Requirements engineering;
Unified modeling language;
54.
Requirements engineering: The quest for the dependent variable
机译:
需求工程:对因变量的追求
作者:
Holm Hannes
;
Sommestad Teodor
;
Bengtsson Johan
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
experimental requirements engineering research;
objective measurements;
software requirements engineering;
subjective assessments;
Bibliographies;
Data mining;
Interviews;
Requirements engineering;
Sea measurements;
Software;
Systematics;
Requirements engineering;
dependent variables;
experiments;
frameworks;
measurement;
theory;
55.
Requirements problems in the development of a new user interface for healthcare equipment
机译:
开发医疗设备新用户界面时的需求问题
作者:
Holmegaard Maria
;
Jorgensen Jens Baek
;
Loft Michael Sorensen
;
Stissing Martin Stig
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
biomedical equipment;
formal specification;
graphical user interfaces;
health care;
medical computing;
project management;
software development management;
graphical user interface;
healthcare equipment;
requirements engineering;
user interface development;
Graphical user interfaces;
Medical services;
Protocols;
Prototypes;
Sensor systems;
Pragmatic requirements engineering;
collaboration with stakeholders;
design;
requirements engineering for user experience including ethnography;
usability;
56.
How can corpus linguistics help improve requirements writing? Specifications of a space project as a case study
机译:
语料库语言学如何帮助改善需求写作?太空项目的规格作为案例研究
作者:
Warnier Maxime
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
computational linguistics;
formal specification;
large-scale systems;
natural languages;
CNES;
CNL;
French Space Agency;
controlled natural language;
corpus linguistics;
large-scale systems;
requirements writing;
space project;
specifications;
Aerospace electronics;
Companies;
Natural languages;
Pragmatics;
Requirements engineering;
Syntactics;
Writing;
controlled natural language;
corpus linguistics;
requirements writing;
technical writing;
textual genre;
57.
SACRE: A tool for dealing with uncertainty in contextual requirements at runtime
机译:
SACRE:一种在运行时处理上下文需求不确定性的工具
作者:
Zavala Edith
;
Franch Xavier
;
Marco Jordi
;
Knauss Alessia
;
Damian Daniela
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
data flow analysis;
formal specification;
uncertainty handling;
ACon;
Canada;
SACRE;
Spain;
University of Victoria;
contextual requirements;
drowsy drivers;
resource variability;
runtime handling complex issues;
runtime uncertainty;
self-adaptive systems;
smart vehicles;
system faults;
system intrusions;
user needs;
Adaptive systems;
Context;
Data mining;
Java;
Runtime;
Uncertainty;
Vehicles;
58.
Bug report, feature request, or simply praise? On automatically classifying app reviews
机译:
错误报告,功能要求或仅仅是赞美?自动分类应用评论
作者:
Maalej Walid
;
Nabil Hadeer
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
data mining;
natural language processing;
pattern classification;
probability;
software reviews;
string matching;
text analysis;
App stores;
Apple AppStore;
Google Play;
app reviews classification;
bug report;
feature requests;
multiclass classifiers;
multiple binary classifiers;
natural language processing;
review analytics tool design;
review metadata;
sentiment analysis techniques;
several probabilistic techniques;
star rating;
string matching;
text classification;
user experiences;
Accuracy;
Computer crashes;
Google;
Machine learning algorithms;
Metadata;
Natural language processing;
Training;
59.
Selecting creativity techniques for creative requirements: An evaluation of four techniques using creativity workshops
机译:
选择满足创造要求的创造技术:使用创造力研讨会评估四种技术
作者:
Svensson Richard Berntsson
;
Taghavianfar Maryam
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
software product lines;
systems analysis;
brainstorming;
creative requirements;
creativity techniques;
idea box;
requirements engineering;
Companies;
Conferences;
Silicon;
60.
Breeze: A modeling tool for designing, analyzing, and improving software architecture
机译:
Breeze:用于设计,分析和改进软件体系结构的建模工具
作者:
Luxi Chen
;
Linpeng Huang
;
Hao Zhong
;
Chen Li
;
Xiwen Wu
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal verification;
software architecture;
software tools;
systems analysis;
Breeze tool;
nonfunctional requirements analysis;
reconfiguration module;
requirement engineering;
software analysis module;
software architecture;
software design;
software engineering;
software modeling tools;
software systems;
Analytical models;
Computer architecture;
Safety;
Software architecture;
Software systems;
Unified modeling language;
Architecture reconfiguration;
Non-functional requirements (NFRs);
Software architecture;
61.
Security Assurance Requirements Engineering (STARE) for trustworthy service level agreements
机译:
安全保证要求工程(STARE),用于可信赖的服务水平协议
作者:
Nugraha Yudhistira
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
contracts;
security of data;
systems analysis;
trusted computing;
SQUARE;
STARE;
TSLA;
security assurance requirements engineering;
security quality requirements engineering;
security requirements classification;
security requirements elicitation;
state cyber defence;
trustworthy service level agreements;
x-as-a-service;
Conferences;
Context;
Government;
Medical services;
Requirements engineering;
Security;
Software engineering;
Requirements engineering for services;
empirical research;
levels of assurance;
requirements elicitation;
trustworthy service level agreement;
62.
Resolving goal conflicts via argumentation-based analysis of competing hypotheses
机译:
通过基于论点的竞争假设分析解决目标冲突
作者:
Murukannaiah Pradeep K.
;
Kalia Anup K.
;
Telangy Pankaj R.
;
Singh Munindar P.
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
formal specification;
national security;
Arg-ACH;
argumentation-based analysis;
belief-goal inconsistencies;
competing hypotheses;
goal conflict resolving;
national security;
rational argumentation;
requirements engineer;
sociotechnical system;
structured analytic technique;
Breast cancer;
Cognition;
Companies;
Privacy;
Stakeholders;
Terrorism;
ACH;
Analysis of competing hypotheses;
Argument schemes;
Argumentation;
Goal conflicts;
Goal modeling;
63.
StakeCloud Tool: From cloud consumers' search queries to new service requirements
机译:
StakeCloud工具:从云消费者的搜索查询到新服务要求
作者:
Koitz Irina Todoran
;
Glinz Martin
会议名称:
《IEEE International Requirements Engineering Conference》
|
2015年
关键词:
Galois fields;
cloud computing;
formal specification;
graphical user interfaces;
pattern clustering;
query processing;
search engines;
StakeCloud tool;
analysis capabilities;
cloud consumer search queries;
cloud service providers;
consumer clustering capabilities;
fuzzy Galois lattices;
global consumers;
requirements elicitation;
service requirements;
Analytical models;
Cloud computing;
Computational modeling;
Data models;
Decision making;
Lattices;
Unified modeling language;
意见反馈
回到顶部
回到首页