掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Software Technologies
International Conference on Software Technologies
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On Improving 3D U-net Architecture
机译:
改进3D U-Net架构
作者:
Roman Janovsky
;
David Sedlacek
;
Jiri Zara
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Point cloud;
Segmentation;
Neural network;
U-net;
Voxel grid;
2.
Knowledge Hubs in Competence Analytics: With a Case Study in Recruitment and Selection
机译:
竞争力分析中的知识中心:招聘和选择的案例研究
作者:
Emiel Caron
;
Sasa Batistic
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Human resource analytics;
Human resource DSS;
Strategic competence analytics;
Knowledge hubs;
Data integration;
Network analysis;
3.
Teaching Design-by-Contract for the Modeling and Implementation of Software Systems
机译:
用于建模和实施软件系统的签订教学
作者:
Mert Ozkaya
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Java modeling language;
Defensive programming;
Design-by-Contract;
Education;
4.
The Saga Pattern in a Reactive Microservices Environment
机译:
在反应性微源环境中的佐贺图案
作者:
Martin Stefanko
;
Ondrej Chaloupka
;
Bruno Rossi
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Saga pattern;
Compensating transactions;
Reactive;
Microservices;
Distributed systems;
5.
Automatic Algorithmic Complexity Determination Using Dynamic Program Analysis
机译:
使用动态程序分析自动算法复杂性确定
作者:
Istvan Gergely Czibula
;
Zsuzsanna Onet-Marian
;
Robert-Francisc Vida
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Algorithmic complexity;
Dynamic program analysis;
6.
Code Reuse between Java and Android Applications
机译:
Java和Android应用程序之间的代码重用
作者:
Yoonsik Cheon
;
Carlos V. Chavez
;
Ubaldo Castro
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Code reuse;
Multiplatform application;
Platform difference;
Android;
Java;
7.
Gamification and Evaluation of the Knowledge Management Application in a Software Quality Lab: An Experimental Study
机译:
软件质量实验室中知识管理应用的游戏和评估:实验研究
作者:
Antonilson da Silva Alcantara
;
Sandro Ronaldo Bezerra Oliveira
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Gamification;
Learning;
Teaching;
Education;
Knowledge management;
8.
Effort Prediction in Agile Software Development with Bayesian Networks
机译:
贝叶斯网络敏捷软件开发中的精力预测
作者:
Laura-Diana Radu
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Agile methodologies;
Effort estimation;
Teamwork quality;
User stories characteristics;
9.
Towards a Lawful Authorized Access: A Preliminary GDPR-based Authorized Access
机译:
走向合法的授权访问:基于初步的GDPR授权访问
作者:
Cesare Bartolini
;
Said Daoudagh
;
Gabriele Lenzini
;
Eda Marchetti
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Access control policy;
GDPR;
10.
Problem of Incompleteness in Textual Requirements Specification
机译:
文本要求规范中不完整的问题
作者:
David Senkyr
;
Petr Kroha
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Requirements specification;
Text processing;
Grammatical inspection;
Incompleteness;
Domain model;
11.
Cloud Decision Support System for Risk Management in Railway Transportation
机译:
铁路运输风险管理云决策支持系统
作者:
Wojciech Gorka
;
Jacek Baginski
;
Michal Socha
;
Tomasz Steclik
;
Dawid Lesniak
;
Marek Wojtas
;
Barbara Flisiuk
;
Marcin Michalak
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Decision support system;
Safety management system;
Risk management;
Software support;
Cloud server;
12.
Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems
机译:
安全关键系统动态目标安全管理的概念建模
作者:
Sana Debbech
;
Philippe Bon
;
Simon Collart-Dutilleul
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Ontology;
GORE;
Or-BAC;
Safety measures development;
UFO;
Railway safety;
13.
Test Suite Minimization of Evolving Software Systems: A Case Study
机译:
现代化软件系统的测试套件最小化:案例研究
作者:
Amit Goyal
;
R. K. Shyamasundar
;
Raoul Jetley
;
Devina Mohan
;
Srini Ramaswamy
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Minimization;
Test suite optimization;
Regression testing;
EDDL;
Greedy;
GE;
GRE;
14.
Evaluating Software Metrics for Sorting Software Modules in Order of Defect Count
机译:
评估软件指标以按顺序排序软件模块
作者:
Xiaoxing Yang
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Software defect prediction;
Sorting modules in order of defect count;
Software metrics;
Correlation analysis;
Metric analysis;
15.
Test Input Partitioning for Automated Testing of Satellite On-board Image Processing Algorithms
机译:
用于自动化卫星在板上图像处理算法的自动化测试输入分区
作者:
Ulrike Witteck
;
Denis Griessbach
;
Paula Herber
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Image processing;
Software testing;
Input partitioning;
Satellite systems;
16.
New Methodology for Backward Analysis of Reconfigurable Event Control Systems using R-TNCESs
机译:
使用R-Tncess对可重构事件控制系统的后退分析的新方法
作者:
Yousra Hafidi
;
Laid Kahloul
;
Mohamed Khalgui
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Reconfigurable systems;
Modeling and verification;
Petri net;
Backward reachability;
Model-base diagnosis;
17.
QCOF: New RPL Extension for QoS and Congestion-Aware in Low Power and Lossy Network
机译:
QCOF:在低功耗和有损网络中QoS和拥塞的新RPL扩展
作者:
Yousra Ben Aissa
;
Hanen Grichi
;
Mohamed Khalgui
;
Anis Koubaa
;
Abdelmalik Bachir
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
RPL objective function;
DODAG construction;
Low power and lossy network (LLN);
Congestion-aware;
New DODAG request messages (NDR and NDR-Ack);
18.
An Experimental Evaluation of a Teaching Approach for Statistical Process Control for Software Engineers: An Experimental Study
机译:
软件工程师统计过程控制教学方法的实验评价:实验研究
作者:
Julio Cezar Costa Furtado
;
Sandro Ronaldo Bezerra Oliveira
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Software engineering education;
Teaching methodology;
Computer course;
Statistical process control;
19.
AES: Automated Evaluation Systems for Computer Programming Course
机译:
AES:计算机编程课程的自动评估系统
作者:
Shivam
;
Nilanjana Goswami
;
Veeky Baths
;
Soumyadip Bandyopadhyay
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
CPN model;
Program equivalence;
Automatic evaluation systems;
Program analysis;
20.
On Improving Parallel Rebuilding of R-TNCESs
机译:
改善R-Tncess的平行重建
作者:
Mohamed Ramdani
;
Laid Kahloul
;
Mohamed Khalgui
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Reconfigurable discrete-Event system;
Reconfigurable timed net condition-Event system;
Computation tree logic;
Paralle model rebuilding;
21.
Design of Scalable and Resilient Applications using Microservice Architecture in PaaS Cloud
机译:
使用PaaS云使用微服务架构的可扩展和弹性应用的设计
作者:
David Gesvindr
;
Jaroslav Davidek
;
Barbora Buhnova
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Cloud computing;
Microservices;
Architecture design;
22.
Optimization of Software Estimation Models
机译:
软件估计模型的优化
作者:
Chris Kopetschny
;
Morgan Ericsson
;
Welf Lowe
;
Anna Wingkvist
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Estimation models;
Optimization;
Software engineering;
23.
Ethics by Agreement in Multi-agent Software Systems
机译:
多代理软件系统协议的道德
作者:
Vivek Nallur
;
Rem Collier
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Ethics;
Autonomous systems;
Bottom-up;
Negotiation;
24.
A Bird's Eye View on Social Network Sites and Requirements Engineering
机译:
鸟瞰社交网站和需求工程
作者:
Nazakat Ali
;
Jang-Eui Hong
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Social network sites;
Requirements engineering;
Overview;
User requirements;
25.
Application of Open Coding using the Grounded Theory Method to Identify the Profile of Information and Communication Technology Companies in the State of Para from Brazil
机译:
使用基础理论方法的开放编码在巴西达巴拉州信息与通信技术公司的简介
作者:
Elziane Monteiro Soares
;
Sandro Ronaldo Bezerra Oliveira
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Experimental software engineering;
Grounded theory;
Open coding;
Customer and market;
MOSE;
26.
Deriving Programs by Reliability Enhancement
机译:
通过可靠性增强衍生计划
作者:
Marwa Benabdelali
;
Lamia Labed Jilani
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Specification;
Formal approach;
Program derivation process;
Refinement;
Relative correctness;
Reliable software;
27.
npm Packages as Ingredients: A Recipe-based Approach
机译:
NPM包作为成分:基于食谱的方法
作者:
Kyriakos C. Chatzidimitriou
;
Michail D. Papamichail
;
Themistoklis Diamantopoulos
;
Napoleon-Christos Oikonomou
;
Andreas L. Symeonidis
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Dependency networks;
Software reuse;
JavaScript;
Npm;
Node;
28.
Proactive Model for Handling Conflicts in Sensor Data Fusion Applied to Robotic Systems
机译:
处理传感器数据融合冲突的主动模型应用于机器人系统
作者:
Gilles Neyens
;
Denis Zampunieris
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Decision support system;
System software;
Proactive systems;
Robotics;
29.
The Use of Game Elements and Scenarios for Teaching and Learning the Function Point Analysis Technique: A Experimental Study
机译:
使用游戏元素和场景进行教学和学习功能点分析技术:实验研究
作者:
Estevao Damasceno Santos
;
Sandro Ronaldo Bezerra Oliveira
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Function points analysis;
Gamification;
Teaching;
Learning;
30.
A Software Cost Estimation Taxonomy for Global Software Development Projects
机译:
全球软件开发项目的软件成本估算分类
作者:
Manal El Bajta
;
Ali Idri
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Software cost estimation;
Global software development;
Taxonomy;
31.
A MapReduce based Approach for Circle Detection
机译:
基于MapReduce的圆检测方法
作者:
Mateus Menezes Azevedo Coelho
;
Dylan Nakandakari Sugimoto
;
Gabriel Adriano de Melo
;
Vitor Venceslau Curtis
;
Juliana de Melo Bezerra
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
MapReduce;
Parallel processing;
Distributed processing;
Circle detection;
Hough transform;
32.
A Formal Requirements Modeling Approach: Application to Rail Communication
机译:
正式要求建模方法:轨道通信的应用
作者:
Steve J. Tueno Fotso
;
Regine Laleau
;
Hector Ruiz Barradas
;
Marc Frappier
;
Amel Mammar
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Saturn rail communication protocol;
Requirements engineering;
Formal models;
Domain modeling;
Railway;
SysML/KAOS;
B system;
Event-B;
33.
Towards Lakosian Multilingual Software Design Principles
机译:
走向Lakosian多语言软件设计原则
作者:
Damian M. Lyons
;
Saba B. Zahra
;
Thomas M. Marshall
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Software engineering;
Programming languages;
Multilingual software;
Software metrics;
Lakosian metrics;
Software and systems quality;
34.
Towards Integrated Failure Recovery for Web Service Composition
机译:
对Web服务组合的集成故障恢复
作者:
Paul Diac
;
Emanuel Onica
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Web service composition;
Fault tolerant systems;
Failover mechanism;
Reconstruction algorithms;
35.
Quality Aspects of Serverless Architecture: An Exploratory Study on Maintainability
机译:
无服务器架构的质量方面:可维护性的探索性研究
作者:
Louis Racicot
;
Nicolas Cloutier
;
Julien Abt
;
Fabio Petrillo
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Function as a service;
Serverless;
Software architecture;
Maintainability;
Cloud computing;
36.
An Analysis System for Mobile Applications MVC Software Architectures
机译:
MVC软件架构的移动应用分析系统
作者:
Dragos Dobrean
;
Laura Diosan
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Mobile applications software architecture;
Automatic static analysis;
Model view controller;
37.
Systematic Comparison of Six Open-source Java Call Graph Construction Tools
机译:
六个开源Java呼叫图构造工具的系统比较
作者:
Judit Jasz
;
Istvan Siket
;
Edit Pengo
;
Zoltan Sagodi
;
Rudolf Ferenc
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Java;
Call graph;
Static analysis;
Tool comparison;
38.
A Framework for Evaluating Business Process Performance
机译:
评估业务流程性能的框架
作者:
Wiem Khlif
;
Mariem Kchaou
;
Faiez Gargouri
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
BPMN model;
Performance;
Framework;
Classification;
Business context;
Social context;
Perspectives;
Temporal measures;
Cost measures;
39.
Genetic Algorithm to Detect Different Sizes' Communities from Protein-Protein Interaction Networks
机译:
从蛋白质 - 蛋白质相互作用网络中检测不同尺寸的遗传算法
作者:
Marwa Ben MBarek
;
Amel Borgi
;
Sana Ben Hmida
;
Marta Rukoz
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Community detection;
Genetic algorithm;
Semantic similarity;
Protein-Protein or gene-Gene interaction networks;
Gene ontology;
40.
Performance Analysis of Mobile Cross-platform Development Approaches based on Typical UI Interactions
机译:
基于典型UI交互的移动跨平台开发方法性能分析
作者:
Stefan Huber
;
Lukas Demetz
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Android;
Ionic/Cordova;
Mobile cross-platform development;
Performance analysis;
React native;
41.
Business Processes and Chains of Kazakhstan How do Organisations Start Blockchain Projects and Evolve Throughout
机译:
哈萨克斯坦的业务流程和链子组织如何启动区块链项目并整个发展
作者:
Bolatzhan Kumalakov
;
Yassynzhan Shakan
;
Moldir Nakibayeva
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Blockchain;
Business process management;
Decision making;
Transformation;
42.
Designing Software Architecture to Support Continuous Delivery and DevOps: A Systematic Literature Review
机译:
设计软件架构,支持连续交付和DEVOPS:系统文献综述
作者:
Robin Bolscher
;
Maya Daneva
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Software architecture;
Continuous delivery;
Continuous integration;
DevOps;
Deployability;
Systematic literature review;
Micro-services;
43.
Cooperative Energy Management Software for Networked Microgrids
机译:
用于网络微电网的合作能源管理软件
作者:
Ilyes Naidji
;
Olfa Mosbahi
;
Mohamed Khalgui
;
Abdelmalik Bachir
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Energy management software;
Microgrid;
Coalition formation;
Stability;
Energy transfer;
44.
Exploring DDoS Mechanisms
机译:
探索DDOS机制
作者:
Bruno de Souza Neves
;
Filipe Mourao Leite
;
Lucas da Silva Jorge
;
Rahyan Azin Gondin Paiva
;
Juliana de Melo Bezerra
;
Vitor Venceslau Curtis
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
DDoS;
Botnet;
Election;
Network topology;
45.
Quantitative Metrics for Mutation Testing
机译:
突变检测的定量度量
作者:
Amani Ayad
;
Imen Marsit
;
JiMeng Loh
;
Mohamed Nazih Omri
;
Ali Mili
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Mutation testing;
Software metrics;
Equivalent mutants;
Redundant mutants;
Mutation score;
46.
Fuzz Testing with Dynamic Taint Analysis based Tools for Faster Code Coverage
机译:
基于动态Taint分析的基于工具的基于工具的模糊测试
作者:
Ciprian Paduraru
;
Marius-Constantin Melemciuc
;
Bogdan Ghimis
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Fuzzing;
Tainted analysis;
Automatic;
Generative model;
Test data;
47.
Formalizing a Policy-based Compliance Control Solution with Event-B
机译:
使用Event-B正式化基于策略的合规控制解决方案
作者:
Laura Gonzalez
;
Raul Ruggia
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Policy-based management;
Compliance management;
Event-B;
Rodin platform;
48.
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots
机译:
通过门检测,打开和导航:人类服务机器人的统一框架
作者:
Francesco Savarese
;
Antonio Tejero-de-Pablos
;
Stefano Quer
;
Tatsuya Harada
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Service robotics;
Door opening;
State machines;
Object detection;
Autonomous system;
49.
A Validation Study of a Requirements Engineering Artefact Model for Big Data Software Development Projects
机译:
大数据软件开发项目需求工艺型号的验证研究
作者:
Darlan Arruda
;
Nazim H. Madhavji
;
Ibtehal Noorwali
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Big data applications;
Requirements engineering;
Artefact model;
Validation;
50.
Java Web Services: A Performance Analysis
机译:
Java Web服务:性能分析
作者:
Pedro Costa e Silva
;
Jorge Bernardino
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Web services;
Soap;
Rest;
Performance;
SOA;
51.
Towards an Accurate Prediction of the Question Quality on Stack Overflow using a Deep-Learning-Based NLP Approach
机译:
朝着使用基于深度学习的NLP方法对堆栈溢出问题质量的准确预测
作者:
Laszlo Toth
;
Balazs Nagy
;
David Jantho
;
Laszlo Vidacs
;
Tibor Gyimothy
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Question answering;
Qamp;
A;
Stack overflow;
Quality;
Natural language processing;
NLP;
Deep learning;
Doc2Vec;
52.
Simulating the Impact of Annotation Guidelines and Annotated Data on Extracting App Features from App Reviews
机译:
模拟注释指南和注释数据的影响来自应用程序评审的应用程序功能
作者:
Faiz Ali Shah
;
Kairit Sirts
;
Dietmar Pfahl
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
App feature extraction;
Supervised machine learning;
Annotation guidelines;
Requirements engineering;
53.
An Augmented Reality Mirror Exergame using 2D Pose Estimation
机译:
使用2D姿势估计增强现实镜像Exergame
作者:
Fernando Losilla
;
Francisca Rosique
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Exergame;
Augmented reality;
Body pose estimation;
OpenPose;
54.
Investigating Fault Localization Techniques from Other Disciplines for Software Engineering
机译:
研究软件工程的其他学科故障定位技术
作者:
Arpad Beszedes
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Faults;
Defects;
Fault localization;
Software fault localization;
Literature review;
Interdisciplinary aspects;
55.
Verifying Complex Software Control Systems from Test Objectives: Application to the ETCS System
机译:
从测试目标验证复杂软件控制系统:应用于ETCS系统
作者:
Rabea Ameur-Boulifa
;
Ana Cavalli
;
Stephane Maag
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Formal verification;
Safety;
Model checking;
Software control systems;
56.
Towards Extracting the Role and Behavior of Contributors in Open-source Projects
机译:
在开源项目中提取贡献者的作用和行为
作者:
Michail D. Papamichail
;
Themistoklis Diamantopoulos
;
Vasileios Matsoukas
;
Christos Athanasiadis
;
Andreas L. Symeonidis
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
DevOps;
Developer role identification;
Developer behavior extraction;
GitHub contributions;
Agile;
57.
Approach for Variability Management of Legal Rights in Human Resources Software Product Lines
机译:
人力资源软件产品线法律权利可变性管理方法
作者:
M. Derras
;
L. Deruelle
;
J. -M. Douin
;
N. Levy
;
F. Losavio
;
R. Oumarou Mahamane
;
V. Reiner
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Software product lines (SPL);
Variability management;
Human resources;
Legal rights;
58.
A Microservice Architecture for Multimobility in a Smart City
机译:
智能城市在多重性的微闲建筑
作者:
Cristian Lai
;
Francesco Boi
;
Alberto Buschettu
;
Renato Caboni
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Internet of things;
Smart city;
Transportation;
Multimobility;
59.
Evaluating Gant Project, Orange Scrum, and ProjeQtOr Open Source Project Management Tools using QSOS
机译:
使用QSOS评估龙门项目,橙色Scrum和Projeqtor开源项目管理工具
作者:
Catarina Romao Proenca
;
Jorge Bernardino
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Open source software;
Project management tools;
Qualification and selection of open source software;
Assessment methodologies;
Gantt project;
Orange scrum;
ProjeQtOr;
60.
Software Modularity Coupling Resolution by the Laplacian of a Bipartite Dependency Graph
机译:
二分依赖图的拉普拉斯的软件模块化耦合分辨率
作者:
Iaakov Exman
;
Netanel Ohayon
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Modularity;
Dependency graph;
Bipartite dependency graph;
Laplacian matrix;
Eigenvectors;
Coupling types;
Coupling resolution;
Bipartition idea;
61.
Ripple Effect Analysis of Data Flow Requirements
机译:
数据流量要求的纹波效应分析
作者:
Bui Do Tien Hung
;
Takayuki Omori
;
Atsushi Ohnishi
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Data flow requirements;
Ripple effect analysis in requirement modification;
Data flow diagram;
62.
Applications of Automated Model's Extraction in Enterprise Systems
机译:
自动模型在企业系统中提取的应用
作者:
Cristina Marinescu
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Enterprise systems;
Meta-models;
Models;
Static analysis;
63.
An Algorithm for Message Type Discovery in Unstructured Log Data
机译:
非结构化日志数据中的消息类型发现算法
作者:
Daniel Tovarnak
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Log abstraction;
Message type discovery;
Log management;
Logging;
Unstructured data;
64.
A Methodology for Enterprise Resource Planning Automation Testing Application to the Open Source ERP-ODOO
机译:
开源ERP-ODOO的企业资源规划自动化测试应用程序的方法
作者:
Thierno Birahime Sambe
;
Stephane Maag
;
Ana Cavalli
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
ERP;
Business processes;
Automated testing;
Test generation;
Test execution;
Business driven testing;
65.
Exploration and Mining of Source Code Level Traceability Links on Stack Overflow
机译:
源代码级可追溯性链路探的探索与挖掘堆栈溢出
作者:
Andras Kicsi
;
Mark Rakoczi
;
Laszlo Vidacs
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Traceability;
Testing;
Test-to-Code;
66.
Event-B Decomposition Analysis for Systems Behavior Modeling
机译:
系统行为建模的事件-B分解分析
作者:
Kenza Kraibi
;
Rahma Ben Ayed
;
Joris Rehm
;
Simon Collart-Dutilleul
;
Philippe Bon
;
Dorian Petit
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Formal methods;
Event-B;
Refinement;
Decomposition;
Systems behavior;
Railway systems;
67.
The APOGEE Software Platform for Construction of Rich Maze Video Games for Education
机译:
富裕迷宫视频游戏建设的Apogee软件平台
作者:
Boyan Bontchev
;
Dessislava Vassileva
;
Yavor Dankov
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Video games;
Maze;
Generation;
Platform;
Game-based learning;
APOGEE;
68.
From Confidential kNN Queries to Confidential Content-based Publish/Subscribe
机译:
从机密knn查询到机密内容的发布/订阅
作者:
Emanuel Onica
;
Hugues Mercier
;
Etienne Riviere
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Publish/Subscribe;
Data confidentiality;
Security;
KNN queries;
Information dissemination;
69.
Towards using Data to Inform Decisions in Agile Software Development: Views of Available Data
机译:
在使用数据以告知敏捷软件开发中的决策:可用数据的视图
作者:
Christoph Matthies
;
Guenter Hesse
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Software engineering;
Agile software development;
Data-driven decision making;
Decision support systems;
70.
A Blockchain Approach to Support Digital Contracts
机译:
支持数字合同的区块链条
作者:
Victor H. Breder
;
Laurival S. C. Neto
;
Thiago F. Medeiros
;
Ivan M. Padalko
;
Guilherme S. Oliveira
;
Vitor Venceslau Curtis
;
Juliana de Melo Bezerra
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Blockchain;
Digital contract;
Digital signature;
71.
RE4DIST: Model-based Elicitation of Functional Requirements for Distributed Systems
机译:
RE4DIST:基于模型的分布式系统功能要求的诱导
作者:
Roman Wirtz
;
Maritta Heisel
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Requirements engineering;
Distributed systems;
Model-based;
Functinonal requirements;
Requirements elicitation;
72.
Efficiently Finding Optimal Solutions to Easy Problems in Design Space Exploration: A* Tie-breaking
机译:
有效地找到最佳解决方案,以便在设计空间探索方面的易问题:A *绑定
作者:
Thomas Rathfux
;
Hermann Kaindl
;
Ralph Hoch
;
Franz Lukasch
会议名称:
《International Conference on Software Technologies》
|
2019年
关键词:
Design space exploration;
Best-first search;
A* tie-breaker;
73.
A Harmonization between CERTICS and CMMI-DEV Assets - A Joint Implementation of Product and Process Models in the Business Management Competence Area
机译:
证书与CMMI-DEV资产统一 - 企业管理能力区产品和流程模型的联合实施
作者:
Sandro Ronaldo Bezerra Oliveira
;
Fabricio Wickey da Silva Garcia
;
Clenio Figueiredo Salviano
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Software Engineering;
Software Quality;
Business Management;
CERTICS;
CMMI-DEV;
Harmonization;
74.
An End-to-end Formal Verifier for Parallel Programs
机译:
用于并行程序的端到端正式验证者
作者:
Soumyadip Bandyopadhyay
;
Santonu Sarkar
;
Kunal Banerjee
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Equivalence Checking;
Petri Net based Representation for Embedded Systems (PRES+) Model;
Finite State Machine with Datapath (FSMD) Model;
High-level Language;
75.
Analyzing and Validating Virtual Network Requests
机译:
分析和验证虚拟网络请求
作者:
Jorge Lopez
;
Natalia Kushik
;
Nina Yevtushenko
;
Djamal Zeghlache
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Network Virtualization Platforms;
Validation;
User Request Analysis;
Scalable Representations;
76.
SAND-A Dashboard for Analyzing Employees' Social Actions over Google Hangouts
机译:
Sand-A仪表板分析员工在谷歌环聊上的社会行动
作者:
Edvan Soares
;
Marcos Eduardo
;
Vanilson Buregio
;
Emir Ugljanin
;
Zakaria Maamar
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Dashboard;
Google Hangouts;
Social Action and Violation;
77.
The Ability of Cloud Computing Performance Benchmarks to Measure Dependability
机译:
云计算性能基准测量可靠性的能力
作者:
Eduardo Carvalho
;
Raul Barbosa
;
Jorge Bernardino
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Cloud Benchmarking;
Dependability;
Fault Tolerance;
Cloud Computing;
78.
Multi-disciplinary Optimization with Standard Co-simulation Interfaces
机译:
具有标准共模接口的多学科优化
作者:
Marco Inzillo
;
Carlos Kavka
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Functional Mock-up Interface;
Numerical Simulations;
Multi-objective Optimization;
Multi-disciplinary Optimization;
Co-simulation;
79.
Designing Situation Awareness - Addressing the Needs of Medical Emergency Response
机译:
设计局面意识 - 解决医疗应急响应的需求
作者:
Julia Kantorovitch
;
Ilkka Niskanen
;
Jarmo Kalaoja
;
Toni Staykova
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Situation Awareness;
Design Principles;
Decision Support;
Medical Emergency Response;
80.
Big Data Analytics: A Preliminary Study of Open Source Platforms
机译:
大数据分析:开源平台的初步研究
作者:
Jorge Nereu
;
Ana Almeida
;
Jorge Bernardino
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Big Data Analytics;
BI;
Open Source Big Data Platforms;
81.
Estimating the Survival Rate of Mutants
机译:
估算突变体的存活率
作者:
Imen Marsit
;
Mohamed Nazih Omri
;
Ali Mili
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Mutation Testing;
Mutant Survival Rate;
Semantic Metrics;
82.
Towards a Mechanism for Controlling Meta-model Extensibility
机译:
朝着控制元模型可扩展性的机制
作者:
Santiago P. Jacome-Guerrero
;
Juan de Lara
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Model-Driven Engineering;
Meta-modelling;
Meta-model Extension;
83.
An Energy Aware Scheduling for Reconfigurable Heterogeneous Systems
机译:
可重新配置异构系统的能量意识调度
作者:
Ines Ghribi
;
Riadh Ben Abdallah
;
Mohamed Khalgui
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Embedded Systems;
Scheduling;
Probability;
DVFS;
84.
Model for Quality of Life Evaluation of Countries European Union with using Rule-based Systems
机译:
欧洲国家欧洲联盟生活质量评价模型
作者:
Martin Sanda
;
Jiri Krupka
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
AHP;
EU;
Fuzzy Sets;
Fuzzy Inference System;
Quality of Life Evaluation;
Rule-based Systems;
TOPSIS;
85.
Towards a Middleware and Policy-based Approach to Compliance Management for Collaborative Organizations Interactions
机译:
朝着中间件和基于政策的合规性管理互动的合规性管理
作者:
Laura Gonzalez
;
Raul Ruggia
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Compliance Management;
Inter-organizational Integration Platform;
Policy-based Management;
Middleware;
86.
Lightweight Multilingual Software Analysis
机译:
轻量级多语言软件分析
作者:
Damian M. Lyons
;
Anne Marie Bogar
;
David Baird
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Software Engineering;
Programming Languages;
Software Systems and Testing;
Software and Systems Quality;
87.
Metamodeling Approach for Hazard Management Systems
机译:
危险管理系统的元模型方法
作者:
Anca Daniela Ionita
;
Mariana Mocanu
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Metamodeling;
Modeling Environments;
Hazard Management;
88.
Model-based Tool Support for the Development of Visual Editors: A Systematic Mapping Study
机译:
基于模型的工具支持,用于了解视觉编辑器:系统映射研究
作者:
David Granada
;
Juan M. Vara
;
Francisco Perez Blanco
;
Esperanza Marcos
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Model Driven Engineering;
DSL;
IDE;
Systematic Mapping Study;
89.
Automatic Derivation and Validation of a Cloud Dataset for Insider Threat Detection
机译:
Insider威胁检测的云数据集自动推导和验证
作者:
Pamela Carvallo
;
Ana R. Cavalli
;
Natalia Kushik
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Dataset;
Cloud Computing;
Intrusion Threat;
User Behavior;
Synthetic Data Generation;
Dataset Validation;
90.
Investigating Differences and Commonalities of Software Metric Tools
机译:
调查软件度量工具的差异和共性
作者:
Lerina Aversano
;
Carmine Grasso
;
Pasquale Grasso
;
Maria Tortorella
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Software Metrics;
Measurement;
Reliability;
Validation;
91.
A Selection of Development Processes, Tools, and Methods for Organizations that Share a Software Framework between Internal Projects
机译:
在内部项目之间共享软件框架的组织的选择,工具和方法选择
作者:
Ciprian I. Paduraru
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Framework;
Shared;
Software Development;
Collaboration;
Object Oriented Programming;
92.
The Two-Hemisphere Modelling Approach to the Composition of Cyber-Physical Systems
机译:
双半球建模方法对网络物理系统的组成
作者:
Oksana Nikiforova
;
Nisrine El Marzouki
;
Konstantins Gusarovs
;
Hans Vangheluwe
;
Tomas Bures
;
Rima Al-Ali
;
Mauro Iacono
;
Priscill Orue Esquivel
;
Florin Leon
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Two-Hemisphere Model-Driven Approach;
Cyber-Physical Systems;
System Composition;
93.
Automated Unit Testing in Model-based Embedded Software Development
机译:
基于模型的嵌入式软件开发中的自动单元测试
作者:
Christoph Luckeneder
;
Hermann Kaindl
;
Martin Korinek
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Automated Testing;
Unit Tests;
Model-based Development;
Embedded Software;
Safety-critical Systems;
Automotive;
94.
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
机译:
基于UML序列图的时间约束分布式系统集成测试一致性检查
作者:
Bruno Lima
;
Joao Pascoal Faria
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Model-based Integration Testing;
Conformance Checking;
Distributed Systems;
Time Constraints;
UML;
95.
Aligning Requirements-driven Software Processes with IT Governance
机译:
用IT治理对准要求驱动的软件流程
作者:
Vu H. A. Nguyen
;
Manuel Kolp
;
Yves Wautelet
;
Samedi Heng
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
IT Governance;
Software Process;
Requirements Engineering;
96.
An Evaluation of Cloud-based Platforms for Web-Application Development
机译:
基于云的Web应用程序开发平台评估
作者:
Jens Albrecht
;
Kai Wadlinger
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Cloud Computing;
Platform-as-a-Service;
PaaS;
App Engine;
Bluemix;
Azure;
Heroku;
97.
A Motivating Social Robot to Help Achieve Cognitive Consonance During STEM Learning
机译:
一个激励社会机器人,以帮助在词干学习期间实现认知和谐
作者:
Khaoula Youssef
;
Walid Boukadida
;
Michio Okada
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Anxiety;
Learned Helplessness;
Motivation;
Social Agency;
Cognitive Consonance;
98.
EcoLogic: IoT Platform for Control of Carbon Emissions
机译:
生态学:IOT平台控制碳排放量
作者:
Tsvetan Tsokov
;
Dessislava Petrova-Antonova
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Clustering;
Internet of Things;
Reduction of Carbon Emissions;
Sensor Data Processing;
99.
New Verification Approach for Reconfigurable Distributed Systems
机译:
可重新配置分布式系统的新验证方法
作者:
Oussama Khlifi
;
Olfa Mosbahi
;
Mohamed Khalgui
;
Georg Frey
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Formal Verification;
Model Checking;
Adaptive Distributed Systems;
100.
Towards the Layered Evaluation of Interactive Adaptive Systems using ELECTRE TRI Method
机译:
使用电器方法对交互式自适应系统的分层评估
作者:
Amira Dhouib
;
Abdelwaheb Trabelsi
;
Christophe Kolski
;
Mahmoud Neji
会议名称:
《International Conference on Software Technologies》
|
2017年
关键词:
Decision Process;
Evaluation;
Interactive Adaptive System;
Multi-criteria Decision Analysis;
ELECTRE TRI;
意见反馈
回到顶部
回到首页