掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Evaluation of Novel Software Approaches to Software Engineering
International Conference on Evaluation of Novel Software Approaches to Software Engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Tool Support to Automate Transformations between CIM and PIM Levels
机译:
工具支持以自动化CIM和PIM级别之间的转换
作者:
Imane Essebaa
;
Salima Chantit
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
CIM;
PIM;
Model Transformations;
SBVR;
UML Diagrams;
Eclipse Plug-in;
2.
Biologically Inspired Security as a Service for Service-Oriented Middleware
机译:
生物学启发安全作为面向服务的中间件的服务
作者:
Tashreen Shaikh Jamaluddin
;
Hoda Hassan
;
Haitham S. Hamza
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
Security as a Service (SECaaS);
Denial-of-Service (DoS);
Service-Oriented Architecture (SOA);
Service-Oriented Middleware (SOM);
3.
Security Support in Continuous Deployment Pipeline
机译:
连续部署管道安全支持
作者:
Faheem Ullah
;
Adam Johannes Raft
;
Mojtaba Shahin
;
Mansooreh Zahedi
;
Muhammad Ali Babar
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
Continuous Deployment Pipeline;
Continuous Deployment;
Security;
Continuous Integration;
4.
Investigating the Prioritization of Unit Testing Effort using Software Metrics
机译:
使用软件度量调查单位测试工作的优先级
作者:
Fadel Toure
;
Mourad Badri
;
Luc Lamontagne
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
Tests Prioritization;
Unit Tests;
Source Code Metrics;
Logistic Regression;
Machine Learning;
5.
Joint Usage of Frames and the Topological Functioning Model for Domain Knowledge Presentation and Analysis
机译:
框架的联合用法和域知识介绍和分析的拓扑功能模型
作者:
Vladislavs Nazaruks
;
Janis Osis
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
System Modelling;
Frames;
Knowledge Base;
Topological Functioning Model;
6.
GenDomus: Interactive and Collaboration Mechanisms for Diagnosing Genetic Diseases
机译:
德梅斯:诊断遗传疾病的互动和协作机制
作者:
Carlos Iniguez-Jarrin
;
Alberto Garcia S.
;
Jose F. Reyes R.
;
Oscar Pastor Lopez
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
GenDomus;
Collaborative Web Application;
FIWARE;
Genomic Information;
7.
Lessons Learned on using Execution Model Implementation in Sparx Enterprise Architect for Verification of the Topological Functioning Model
机译:
在Sparx Enterprise Architect中使用执行模型实现的经验教训,用于验证拓扑功能模型
作者:
Viktoria Ovchinnikova
;
Erika Nazaruka
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
Execution Model;
UML;
Modeling Tools;
Topological Functioning Model;
8.
A Change Impact Analysis Model for Aspect Oriented Programs
机译:
方面方面的改变影响分析模型
作者:
Fabrice Dehoule
;
Linda Badri
;
Mourad Badri
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2017年
关键词:
Software Evolution;
Aspect-Oriented Programming;
Change;
Ripple Effect;
Impact Analysis;
Predictive Analysis;
Model;
Impact Rules;
Empirical Analysis;
9.
Assessing the Impact of Measurement Tools on Software Mantainability Evaluation
机译:
评估测量工具对软件可拆卸性评估的影响
作者:
Lerina Aversano
;
Maria Tortorella
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Software metrics;
Software quality;
Measurement;
Evaluation;
10.
A Security Framework in Model-driven Software Production Environments
机译:
模型驱动软件生产环境中的安全框架
作者:
Lenin Javier Serrano Gil
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Model driven security;
Security requirements;
Software production process;
Information systems;
11.
Deep Learning Process Prediction with Discrete and Continuous Data Features
机译:
深入学习过程预测离散和连续数据特征
作者:
Stefan Schonig
;
Richard Jasinski
;
Lars Ackermann
;
Stefan Jablonski
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Process prediction system;
Neural network;
Deep learning;
Multi perspective;
Process event log;
12.
Anomalies Correlation for Risk-Aware Access Control Enhancement
机译:
风险感知访问控制增强的异常相关性
作者:
Pierrette Annie Evina
;
Faten Labbene Ayachi
;
Faouzi Jaidi
;
Adel Bouhoula
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Anomalies;
Correlation;
Access control policy;
Database;
Risk management;
13.
A Formal Approach for Risk Evaluation and Risk Analysis in Access Control Policy Management
机译:
访问控制政策管理中风险评估和风险分析的正式方法
作者:
Pierrette Annie Evina
;
Faten Labbene Ayachi
;
Faouzi Jaidi
;
Adel Bouhoula
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
14.
Towards Model based Testing for Software Defined Networks
机译:
朝着基于模型的软件定义网络测试
作者:
Asma Berriri
;
Jorge Lopez
;
Natalia Kushik
;
Nina Yevtushenko
;
Djamal Zeghlache
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Software defined networks;
Formal methods;
Testing;
Equivalent classes;
Graph enumeration;
15.
Translation of Heterogeneous Requirements Meta-Models Through a Pivot Meta-Model
机译:
通过枢轴元模型翻译异质要求元模型
作者:
Imed Eddine Saidi
;
Mahmoud El Hamlaoui
;
Taoufiq Dkaki
;
Nacer Eddine Zarour
;
Pierre-Jean Charrel
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Requirements engineering;
Pivot model;
Translation;
Interoperability;
16.
VarSearch: Annotating Variations using an e-Genomics Framework
机译:
varsearch:使用电子基因组学框架注释变型
作者:
Jose Fabian Reyes Roman
;
David Roldan Martinez
;
Alberto Garcia Simon
;
Urko Rueda
;
Oscar Pastor
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
E-Genomics;
EGF;
GeIS;
Variation;
Conceptual modeling;
CMHG;
Precision medicine;
17.
A Methodology to Teaching Statistical Process Control in Computer Courses
机译:
计算机课程中统计过程控制的方法
作者:
Julio Cezar Costa Furtado
;
Sandro Ronaldo Bezerra Oliveira
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Statistical process control;
Software engineering education;
Teaching methodology;
Computer course;
18.
Software Architecture Evaluation: A Systematic Mapping Study
机译:
软件架构评估:系统映射研究
作者:
Sofia Ouhbi
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Systematic mapping study;
Software architecture;
Evaluation;
Assessment;
19.
Gamification and Evaluation of the Use the Agile Tests in Software Quality Subjects: The Application of Case Studies
机译:
使用软件质量科目中的敏捷试验的游戏和评估:案例研究的应用
作者:
Isaac Souza Elgrably
;
Sandro Ronaldo Bezerra Oliveira
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Gamification;
Learning;
Teaching;
Education;
TDD;
Agile tests;
20.
FocusST Solution for Analysis of Cryptographic Properties
机译:
用于分析加密属性的焦点解决方案
作者:
Maria Spichkova
;
Radhika Bhat
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Software engineering;
Formal methods;
Specification;
Verification;
Tool-support;
21.
Function References as First Class Citizens in UML Class Modeling
机译:
函数引用作为UML类建模中的第一类公民
作者:
Steffen Heinzl
;
Vitaliy Schreibmann
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Functional modeling;
UML;
MOF;
Modeling;
22.
Design and Implementation of a Geis for the Genomic Diagnosis using the SILE Methodology. Case Study: Congenital Cataract
机译:
使用SILE方法的基因组诊断的设计与实现Geis。案例研究:先天性白内障
作者:
Manuel Navarrete-Hidalgo
;
Jose Fabian Reyes Roman
;
Oscar Pastor Lopez
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Conceptual modeling;
Preventive diagnosis;
GeIS;
Precision medicine;
ETL;
CMHG;
23.
Toward a Better Understanding of How to Develop Software Under Stress - Drafting the Lines for Future Research
机译:
为了更好地了解如何在压力下开发软件 - 起草未来研究的线条
作者:
Joseph Alexander Brown
;
Vladimir Ivanov
;
Alan Rogers
;
Giancarlo Succi
;
Alexander Tormasov
;
Jooyong Yi
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Software development under adverse circumstances;
Empirical software engineering;
Software quality;
24.
K-Taint: An Executable Rewriting Logic Semantics for Taint Analysis in the K Framework
机译:
K-Taint:K框架中的可执行重写逻辑语义,用于触摸污染分析
作者:
Md. Imran Alam
;
Raju Halder
;
Harshita Goswami
;
Jorge Sousa Pinto
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Taint analysis;
K framework;
Information flow;
Security;
25.
A Bug Assignment Approach Combining Expertise and Recency of Both Bug Fixing and Source Commits
机译:
BUG分配方法结合了错误修复和源代码的专业知识和新的
作者:
Afrina Khatun
;
Kazi Sakib
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Bug assignment;
Bug report;
Commit log;
Tf-idf weighting;
26.
Goal-Satisfaction Verification to Combination of Use Case Components
机译:
使用案例组件组合的目标满意验证
作者:
Saeko Matsuura
;
Shinpei Ogata
;
Yoshitaka Aoki
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Requirements analysis;
Use case;
Non-functional requirements;
Model checking;
27.
Quality Requirements Analysis with Machine Learning
机译:
机器学习质量要求分析
作者:
Tetsuo Tamai
;
Taichi Anzai
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Quality requirements;
Machine learning;
Requirements classification;
Natural language processing;
28.
Tool Support to Automate Transformations from SBVR to UML Use Case Diagram
机译:
工具支持自动从SBVR自动转换为UML使用案例图
作者:
Imane Essebaa
;
Salima Chantit
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Model driven architecture;
Model transformation;
Semantic business vocabulary and business rules;
UML use case diagram;
29.
Software Evolution for Digital Transformation
机译:
数字转型软件演变
作者:
Alfred Zimmermann
;
Rainer Schmidt
;
Justus Bogner
;
Dierk Jugel
;
Michael Mohring
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Digital transformation;
Digital enterprise architecture;
Software evolution;
30.
A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans
机译:
一种自动建议在软件测量计划中的指标的新颖方法
作者:
Sarah A. Dahab
;
Juan Jose Hernandez Porras
;
Stephane Maag
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Software metrics;
Formal measurement;
Software measurement;
Measurement plan;
Formal software measurement;
SVM;
Big data;
31.
Requirements Engineering Tools for Global Software Engineering: A Feature Analysis Study
机译:
要求全球软件工程的工程工具:一个特征分析研究
作者:
Somnoup Yos
;
Caslon Chua
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Requirements engineering;
Global software engineering;
32.
Guard Evaluation and Synchronization Issues in Causal Semantics for UML2.X Sequence Diagrams
机译:
uml2.x序列图的因果语义中的保护和同步问题
作者:
Fatma Dhaou
;
Ines Mouakher
;
J. Christian Attiogbe
;
Khaled Bsaies
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
UML2.X sequence diagrams;
Semantics;
Combined fragments;
Guard evaluation;
33.
Software Architectural Model Discovery from Execution Data
机译:
软件架构模型从执行数据发现
作者:
Cong Liu
;
Boudewijn van Dongen
;
Nour Assy
;
Wil M. P. van der Aalst
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
34.
Automated Refactoring of Software using Version History and a Code Element Recentness Measure
机译:
使用版本历史和代码元素的软件自动重构近来测量
作者:
Michael Mohan
;
Des Greer
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Search based software engineering;
Maintenance;
Refactoring;
Software history;
Multi-Objective optimization;
Genetic algorithms;
35.
An Approach of Text to Model Transformation of Software Models
机译:
软件模型模型转换的文本方法
作者:
OlenaV. Chebanyuk
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Model-driven development;
Text to model transformation;
XMI;
UML diagram;
36.
Model-Aware Software Engineering: A Knowledge-based Approach to Model-Driven Software Engineering
机译:
模型感知软件工程:基于知识的模型驱动软件工程方法
作者:
Robert Andrei Buchmann
;
Mihai Cinpoeru
;
Alisa Harkai
;
Dimitris Karagiannis
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Agile modelling method engineering;
Resource description framework;
Model-Driven software engineering;
Knowledge representation;
37.
An Approach to Prioritize Classes in a Multi-objective Software Maintenance Framework
机译:
一种在多目标软件维护框架中优先级级别的方法
作者:
Michael Mohan
;
Des Greer
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Search based software engineering;
Maintenance;
Automated refactoring;
Refactoring tools;
Software quality;
Multi-objective optimization;
Genetic algorithms;
38.
Comprehensive View on Architectural Requirements for Maintenance Information Systems
机译:
关于维护信息系统建筑要求的综合图
作者:
Andreas Reidt
;
Stefan Schuhback
;
Helmut Krcmar
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Maintenance information system;
Digitization;
Industry 4.0;
Industrial internet;
Software architecture;
Mobile support system;
Predictive maintenance;
Condition monitoring;
Requirement engineering;
Technical customer service;
39.
Handling Tenant-Specific Non-Functional Requirements through a Generic SLA
机译:
通过通用SLA处理特定于租户的非功能性要求
作者:
Khadija Aouzal
;
Hatim Hafiddi
;
Mohamed Dahchour
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
SaaS;
Non-Functional variability;
SPLE;
MDE;
QoS characteristics;
SLA;
40.
A Structured Approach to Support Collaborative Design, Specification and Documentation of Communication Protocols
机译:
支持通信协议的协作设计,规范和文档的结构化方法
作者:
Fabian Ohler
;
Markus C. Beutel
;
Sevket Gokay
;
Christian Samsel
;
Karl-Heinz Krempels
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Collaboration;
Documentation;
Protocols;
Requirements engineering;
Specification;
Tool support;
41.
Designing BP-IS Aligned Models: An MDA-based Transformation Methodology
机译:
设计BP - 是对齐的模型:基于MDA的转换方法
作者:
Wiem Khlif
;
Nourchene Elleuch
;
Enaam Alotabi
;
Hanene Ben-Abdallah
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
BPMN model;
MDA;
Class diagram;
CIM-to-PIM transformation;
Business context;
42.
Verification of Causality in the Frame System based on the Topological Functioning Modelling
机译:
基于拓扑功能建模的帧系统因果关系验证
作者:
Vladislavs Nazaruks
;
Janis Osis
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Verification;
Knowledge frames;
Knowledge base;
Topological functioning model;
Causal dependencies;
43.
Towards Classification of Lightweight Formal Methods
机译:
朝着轻量级形式方法分类
作者:
Anna Zamansky
;
Maria Spichkova
;
Guillermo Rodriguez-Navas
;
Peter Herrmann
;
Jan Olaf Blech
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Software engineering;
Lightweight formal methods;
Verification;
Validation;
Software quality;
44.
Retrieving the Topology from the Knowledge Frame System for Composition of the Topological Functioning Model
机译:
从知识框架系统中检索拓扑功能模型组成的拓扑
作者:
Vladislavs Nazaruks
;
Janis Osis
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
System modelling;
Frames;
Knowledge base;
Topological functioning model;
Causal dependencies;
Causal implication;
45.
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia
机译:
沙特阿拉伯背景下对需求工程过程的文化影响
作者:
Tawfeeq Alsanoosy
;
Maria Spichkova
;
James Harland
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Requirement engineering;
Software engineering;
Software development process;
Cultural aspects;
46.
A Hybrid Approach To Detect Code Smells using Deep Learning
机译:
一种混合方法,可以使用深度学习检测代码闻
作者:
Mouna Hadj-Kacem
;
Nadia Bouassida
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Hybrid approach;
Deep learning;
Auto-encoder;
Artificial neural networks;
Code smell detection;
47.
A Practical Extension of Frameworks for Auditing with Process Mining
机译:
用流程挖掘审计框架的实际延伸
作者:
Ella Roubtsova
;
Niels Wiersma
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Audit;
Audit statements;
Compliance patterns;
Frameworks for audit with process mining;
48.
Tool-assisted Game Scenario Representation Through Flow Charts
机译:
通过流程图的工具辅助游戏情景表示
作者:
Maria-Eleni Paschali
;
Nikolaos Bafatakis
;
Apostolos Ampatzoglou
;
Alexander Chatzigeorgiou
;
Ioannis Stamelos
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Game development;
Game scenarios;
Flow charts;
Case study;
49.
A New Approach for Optimal Implementation of Multi-core Reconfigurable Real-time Systems
机译:
多核可重构实时系统最优实现的一种新方法
作者:
Wafa Lakhdhar
;
Rania Mzid
;
Mohamed Khalgui
;
Georg Frey
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Real-time and reconfiguration;
Multi-core;
POSIX;
Task and function;
MILP and optimization;
50.
An Action Research Study towards the Use of Cloud Computing Scenarios in Undergraduate Computer Science Courses
机译:
本科计算机科学课程中云计算场景使用的动作研究研究
作者:
Heleno Cardoso da Silva Filho
;
Glauco de Figueiredo Carneiro
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Cloud computing;
Active learning;
Action research;
51.
Adopting Collaborative Games into Agile Requirements Engineering
机译:
采用协同游戏进入敏捷要求工程
作者:
Adam Przybylek
;
Mateusz Zakrzewski
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Collaborative games;
Innovative games;
Serious games;
Scrum;
Creativity;
Requirements engineering;
52.
The Topological Functioning Model as a Reference Model for Software Functional and Non-functional Requirements
机译:
拓扑功能模型作为软件功能和非功能性要求的参考模型
作者:
Erika Nazaruka
;
Janis Osis
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Topological functioning model;
Functional requirements;
Non-functional requirements;
Requirements modelling;
53.
Verification of Feature Coordination using the Fluent Calculus
机译:
使用流畅的微积分验证特征协调
作者:
Ralph Hoch
;
Hermann Kaindl
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Verification;
Fluent calculus;
Situation calculus;
Model checking;
54.
Exploring Crowdsourced Reverse Engineering
机译:
探索众群逆向工程
作者:
Sebastian Heil
;
Felix Forster
;
Martin Gaedke
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Reverse engineering;
Crowdsourcing;
Microtasking;
Concept assignment;
Classification;
Web migration;
Software migration;
55.
A Framework to Support Behavioral Design Pattern Detection from Software Execution Data
机译:
从软件执行数据支持行为设计模式检测的框架
作者:
Cong Liu
;
Boudewijn van Dongen
;
Nour Assy
;
Wil M. P. van der Aalst
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Pattern instance detection;
Behavioral design pattern;
Software execution data;
General framework;
56.
Mapping of Periodic Tasks in Reconfigurable Heterogeneous Multi-core Platforms
机译:
可重构异构多核平台中定期任务的映射
作者:
Aymen Gammoudi
;
Daniel Chillet
;
Mohamed Khalgui
;
Adel Benzina
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Heterogeneous multi-core platform;
Reconfiguration;
Task mapping and scheduling;
57.
Determination of Natural Language Processing Tasks and Tools for Topological Functioning Modelling
机译:
确定自然语言处理任务和拓扑功能建模工具
作者:
Erika Nazaruka
;
Janis Osis
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Natural language processing tools;
Topological functioning model;
Computation independent model;
Domain modelling;
58.
Optimized Realization of Software Components with Flexible OpenCL Functionality
机译:
灵活的OpenCL功能优化了软件组件的实现
作者:
Gabriel Campeanu
;
Jan Carlson
;
Severine Sentilles
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Software component;
Flexible component;
GPU;
Embedded system;
CBD;
Component-based development;
Component model;
OpenCL;
59.
A MDE Approach for Heterogeneous Models Consistency
机译:
异构模型一致性的MDE方法
作者:
Mahmoud El Hamlaoui
;
Saloua Bennani
;
Mahmoud Nassar
;
Sophie Ebersold
;
Bernard Coulette
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Process;
Metamodel;
Heterogeneous models;
Matching;
Consistency;
Correspondences;
Impacts;
60.
Iterative Process for Generating ER Diagram from Unrestricted Requirements
机译:
从不受限制的要求生成ER图的迭代过程
作者:
Muhammad Javed
;
Yuqing Lin
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Entity relationship diagram;
General requirements;
User stories;
Use case specification;
Natural language processing;
Type dependencies;
61.
Using COSMIC FSM Method to Analyze the Impact of Functional Changes in Business Process Models
机译:
使用宇宙FSM方法来分析业务流程模型功能变化的影响
作者:
Wiem Khlif
;
Asma Sellami
;
Mariem Haoues
;
Hanene Ben-Abdallah
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
COSMIC functional size measurement;
Business process;
Functional change;
Impact analysis;
Requirement change;
62.
Problem-based Elicitation of Security Requirements: The ProCOR Method
机译:
基于问题的安全要求引发:procor方法
作者:
Roman Wirtz
;
Maritta Heisel
;
Rene Meis
;
Aida Omerovic
;
Ketil Stolen
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Risk management;
Security;
Requirements engineering;
Problem-based;
Model-based;
63.
Cost-Benefit Analysis at Runtime for Self-adaptive Systems Applied to an Internet of Things Application
机译:
用于自适应系统的运行时间对应用程序互联网的成本效益分析
作者:
M. Jeroen Van Der Donckt
;
Danny Weyns
;
M. Usman Iftikhar
;
Ritesh Kumar Singh
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Self-adaptation;
MAPE;
Models at runtime;
Statistical model checking;
Cost-Benefit analysis method;
CBAM;
Internet-of-Things;
IoT;
64.
Refactoring Object-Oriented Applications for a Deployment in the Cloud: Workflow Generation based on Static Analysis of Source Code
机译:
重构面向对象的应用程序,用于云中的部署:基于源代码静态分析的工作流生成
作者:
Anfel Selmadji
;
Abdelhak-Djamel Seriai
;
Hinde Lilia Bouziane
;
Christophe Dony
;
Chouki Tibermacine
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Object-Oriented;
Refactoring;
Workflow;
Data flow;
Control flow;
Cloud;
65.
Incremental Bidirectional Transformations: Applying QVT Relations to the Families to Persons Benchmark
机译:
增量双向变换:将QVT与家人的关系应用于人员基准
作者:
Bernhard Westfechtel
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2018年
关键词:
Model transformation;
Bidirectional transformation;
Benchmark;
QVT relations;
66.
AWSM - Agile Web Migration for SMEs
机译:
AWSM - 敏捷网络迁移中小企业
作者:
Sebastian Heil
;
Martin Gaedke
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Software Migration;
Web Engineering;
Agile Development;
67.
Evaluating the Evaluators - An Analysis of Cognitive Effectiveness Improvement Efforts for Visual Notations
机译:
评估人员评估 - 对视觉符号的认知效果改进努力分析
作者:
Dirk van der Linden
;
Irit Hadar
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Requirements Engineering;
User-Centered Software Engineering;
Visual Notations;
Modeling Languages;
68.
Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff
机译:
从谷壳中重新分离小麦不一致的推理
作者:
Anna Zamansky
;
Irit Hadar
;
Daniel M. Berry
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Human Aspects of Software Development;
Inconsistency Management;
Requirements Engineering;
Requirements Validation Formula;
69.
On Source Code Optimization for Interpreted Languages using State Models
机译:
使用状态模型的解释语言源代码优化
作者:
Jorge Lopez
;
Natalia Kushik
;
Nina Yevtushenko
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Source Code Optimization;
Quality of Software;
State Models;
70.
CURA: Complex-system Unified Reference Architecture - Position Paper: A Practitioner View
机译:
卷曲:复杂系统统一参考架构 - 位置纸:从业者视图
作者:
Ethan Hadar
;
Irit Hadar
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Solution Architecture;
Reference Architecture;
TOGAF;
Enterprise IT;
71.
A Human-centred Framework for Combinatorial Test Design
机译:
用于组合测试设计的以人为本的框架
作者:
Maria Spichkova
;
Anna Zamansky
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Software Quality;
Testing;
Formal Methods;
Combinatorial Test Design;
72.
Automatic Refactoring of Component-based Software by Detecting and Eliminating Bad Smells - A Search-based Approach
机译:
通过检测和消除难闻的气味自动重构组件的软件 - 一种基于搜索的方法
作者:
Salim Kebir
;
Isabelle Borne
;
Djamel Meslati
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Automatic Refactoring;
Search-based Software Engineering;
Component-based Software Engineering;
Genetic Algorithm;
Bad Smells;
73.
Towards an Engineering Process for Developing Accessible Software in Small Software Enterprises
机译:
迈为在小型软件企业中开发可访问软件的工程过程
作者:
Sandra Sanchez-Gordon
;
Mary-Luz Sanchez-Gordon
;
Sergio Lujan-Mora
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Software Engineering;
Very Small Entity;
VSE;
Small and Medium-sized Enterprises;
SME;
Accessible Software;
Web Accessibility Evaluation;
WAVE;
WCAG 2.0;
ISO/IEC 29110;
74.
End to End Specification based Test Generation of Web Applications
机译:
基于终端规范的Web应用程序的测试生成
作者:
Khusbu Bubna
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Web Applications;
Statechart;
Model Checking;
Selenium;
75.
Formal Methods in Collaborative Projects
机译:
协同项目中的正式方法
作者:
Anna Zamansky
;
Guillermo Rodriguez-Navas
;
Mark Adams
;
Maria Spichkova
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Formal Methods;
Collaboration;
Industrial Applications;
76.
A Research Agenda on Visualizations in Information Systems Engineering
机译:
信息系统工程中可视化研究议程
作者:
Jens Gulden
;
Dirk van der Linden
;
Banu Aysolmaz
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Research Agenda;
Visualization;
Information Systems;
Requirements;
Human-Computer-Interaction;
Cognitive Effectiveness;
77.
Developing Green and Sustainable Software using Agile Methods in Global Software Development: Risk Factors for Vendors
机译:
在全球软件开发中使用敏捷方法开发绿色和可持续软件:供应商的风险因素
作者:
Nasir Rashid
;
Siffat Ullah Khan
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Systematic Literature Review;
Green and Sustainable Software;
Agile Software Development;
Risk Factor;
Green Agile;
GSD Vendors;
78.
Extending UML/MARTE-SAM for Integrating Adaptation Mechanisms in Scheduling View
机译:
扩展UML / MARTE-SAM以在调度视图中集成适应机制
作者:
Mohamed Naija
;
Samir Ben Ahmed
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Adaptability;
Scheduling Analysis;
Real-time amp;
Embedded Systems;
MDE;
MARTE;
79.
Teaching of Formal Methods for Software Engineering
机译:
软件工程形式方法教学
作者:
Maria Spichkova
;
Anna Zamansky
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Formal Modelling;
Collaboration;
Teaching;
80.
Semi-automatic Generation of OrBAC Security Rules for Cooperative Organizations using Model-Driven Engineering
机译:
使用模型驱动工程的合作组织半自动生成orbac安全规则
作者:
Irvin Dongo
;
Vanea Chiprianov
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Interoperability;
Access Control;
OrBAC;
MDE;
Ontology Matching;
81.
Collaborative Model-based Development of a Remote Train Monitoring System
机译:
基于协作模型的遥控火车监控系统的开发
作者:
Peter Herrmann
;
Alexander Svae
;
Henrik Heggelund Svendsen
;
Jan Olaf Blech
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Cyber-physical systems;
Software Engineering;
Collaborative Development;
82.
Self-Protection Mechanisms for Web Applications - A Case Study
机译:
网络应用的自我保护机制 - 以案例研究
作者:
Claudia Raibulet
;
Alberto Leporati
;
Andrea Metelli
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Self-protection;
Security;
Adaptive Systems;
Home Banking Case Study;
83.
Validation of Loop Parallelization and Loop Vectorization Transformations
机译:
循环并行化和循环矢量化变换的验证
作者:
Sudakshina Dutta
;
Dipankar Sarkar
;
Arvind Rawat
;
Kulwant Singh
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Loop Parallelization;
Loop Vectorization;
Dependence Graph;
Conflict Access;
Validation;
84.
Constraints-based URDAD Model Verification
机译:
基于约束的URDAD模型验证
作者:
Fritz Solms
;
Priscilla Naa Dedei Hammond
;
Linda Marshall
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Model-driven Engineering;
Model Validation;
URDAD;
Metamodel;
Object Constraint Language;
Domain-Specific Language;
85.
Managing Usability and Reliability Aspects in Cloud Computing
机译:
管理云计算中的可用性和可靠性方面
作者:
Maria Spichkova
;
Heinz W. Schmidt
;
Ian E. Thomas
;
Iman I. Yusuf
;
Steve Androulakis
;
Grischa R. Meyer
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Usability;
Reliability;
Cloud Computing;
Modelling;
Visualisation;
86.
Evaluating A Novel Agile Requirements Engineering Method: A Case Study
机译:
评估新型敏捷要求工程方法:案例研究
作者:
Tanel Tenso
;
Alex Norta
;
Irina Vorontsova
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Visualization;
Agile;
Requirements Engineering;
Modelling;
Goals;
87.
Systematic Mapping Study of Ensemble Effort Estimation
机译:
合奏估算的系统映射研究
作者:
Ali Idri
;
Mohamed Hosni
;
Alain Abran
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Systematic Mapping Study;
Ensemble Effort Estimation;
Software Development Effort Estimation;
88.
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems
机译:
一种用于可重构控制系统的建模和代码生成的新型R-UML-B方法
作者:
Raja Oueslati
;
Olfa Mosbahi
;
Mohamed Khalgui
;
Samir Ben Ahmed
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Reconfigurable Control System;
B Method;
Modeling;
UML;
Code Generation;
89.
Extended Change Identification System
机译:
扩展变更识别系统
作者:
Parimala N.
;
Vinay Gautam
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Multi-version Metadata;
Metadata;
Ontology;
Data Warehouse;
90.
Evolution Taxonomy for Software Architecture Evolution
机译:
软件架构演变的进化分类
作者:
Noureddine Gasmallah
;
Abdelkrim Amirat
;
Mourad Oussalah
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Software Architecture;
Software Evolution;
Evolution Taxonomy;
Quality Criteria;
91.
An Empirical Study of Two Software Product Line Tools
机译:
两种软件产品线工具的实证研究
作者:
Kattiana Constantino
;
Juliana Alves Pereira
;
Juliana Padilha
;
Priscilla Vasconcelos
;
Eduardo Figueiredo
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Software Product Lines;
Variability Management;
Feature Model;
FeatureIDE;
Pure:variants;
92.
Source and Test Code Size Prediction - A Comparison between Use Case Metrics and Objective Class Points
机译:
源和测试代码大小预测 - 使用情况指标与目标类别之间的比较
作者:
Mourad Badri
;
Linda Badri
;
William Flageol
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Use Cases;
Use Case Metrics;
Class Diagrams;
Objective Class Points;
Source Code Size;
Test Code Size;
Prediction Models;
Linear Regression;
93.
Towards Semantical DSMLs for Complex or Cyber-physical Systems
机译:
对复杂或网络物理系统的语义DSML
作者:
Blazo Nastov
;
Vincent Chapurlat
;
Christophe Dony
;
Francois Pfister
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
MDE;
Modeling;
Models;
DSML;
Behavior;
Dynamic Semantics;
Formal Verification;
Simulation;
94.
RA2DL-Pool: New Useful Solution to Handle Security of Reconfigurable Embedded Systems
机译:
RA2DL池:处理可重新配置嵌入式系统安全性的新有用解决方案
作者:
Farid Adaili
;
Olfa Mosbahi
;
Mohamed Khalgui
;
Samia Bouzefrane
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Embedded System;
Component-based Approach;
Reconfiguration;
Security;
RA2DL;
Implementation;
Evaluation;
95.
The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit
机译:
拓扑功能模型的验证可能性使用Comeo Simulation Toolkit
作者:
Viktoria Ovchinnikova
;
Erika Nazaruka
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Topological Functioning Model;
Execution Model;
Foundational UML;
UML Activity Diagram;
96.
Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs
机译:
通过时间触发的总结 - 利用INCUS和LLFSMS的灵活性来实现实时通信
作者:
David Chen
;
Rene Hexel
;
Fawad Riasat Raja
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Time-triggered Communication;
Safety-critical Systems;
Software Modelling;
Subsumption Architecture;
Logic-Labelled Finite State Machines;
97.
A Methodology for Model-based Development and Safety Analysis of Transport Systems
机译:
一种基于模型的开发和运输系统安全分析方法
作者:
Simon Hordvik
;
Kristoffer Oseth
;
Jan Olaf Blech
;
Peter Herrmann
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Software Engineering;
Spatial Modeling;
Cyber-physical Systems;
98.
Breaking the Boundaries of Meta Models and Preventing Information Loss in Model-Driven Software Product Lines
机译:
打破Meta模型的边界,防止模型驱动软件产品线中的信息丢失
作者:
Thomas Buchmann
;
Felix Schwagerl
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Software Product Lines;
Model-Driven Development;
Unconstrained Variability;
Information Loss;
Negative Variability;
Application Engineering;
99.
Are Suggestions of Coupled File Changes Interesting?
机译:
是耦合文件的建议变化有趣吗?
作者:
Jasmin Ramadani
;
Stefan Wagner
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Data Mining;
Repository Mining;
Coupled Changes;
Interestingness;
100.
Zoetic Data and their Generators
机译:
Zoetic数据及其发电机
作者:
Paul Bailes
;
Colin Kemp
会议名称:
《International Conference on Evaluation of Novel Software Approaches to Software Engineering》
|
2016年
关键词:
Catamorphism;
Church Numeral;
Foldr;
Functional Programming;
Fusion Theorem;
Haskell;
意见反馈
回到顶部
回到首页