掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Objects, Components, Models and Patterns
International Conference on Objects, Components, Models and Patterns
召开年:
2019
召开地:
Innopolis(RU)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG
机译:
软件工程中生物信号实验中的问题:以脑电图为例
作者:
Herman Tarasau
;
Ananga Thapaliya
;
Oydinoy Zufarova
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Empirical methods;
Software experimentation;
2.
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study
机译:
从抽象状态机到嵌入式系统的医疗设备开发:智能药盒案例研究
作者:
Andrea Bombarda
;
Silvia Bonfanti
;
Angelo Gargantini
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
3.
The Impact of Dance Sport on Software Development
机译:
舞蹈运动对软件开发的影响
作者:
Irina Erofeeva
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software development;
Development methodologies;
Dancesport;
Ballroom dancing;
4.
Proof Strategy for Automated Sisal Program Verification
机译:
剑麻程序自动验证的证明策略
作者:
Dmitry Kondratyev
;
Alexei Promsky
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Automated theorem proof;
Deductive verification;
Sisal;
C-light;
C-lightVer;
Definite iteration;
5.
Assessing Job Satisfaction of Software Engineers Using GQM Approach
机译:
使用GQM方法评估软件工程师的工作满意度
作者:
Aleksandr Tarasov
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Job satisfaction;
Correlation coefficient;
GQM approach;
Agile development;
6.
Software Development and Customer Satisfaction: A Systematic Literature Review
机译:
软件开发与客户满意度:系统文献综述
作者:
Rozaliya Amirova
;
Ilya Khomyakov
;
Ruzilya Mirgalimova
;
Alberto Sillitti
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Customer satisfaction;
Agile;
Systematic literature review;
7.
Object-Oriented Requirements: Reusable, Understandable, Verifiable
机译:
面向对象的需求:可重用,可理解,可验证
作者:
Alexandr Naumchev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Object-oriented requirements;
Reusable requirements;
Understandable requirements;
Verifiable requirements;
8.
Measurements for Energy Efficient, Adaptable, Mobile Systems - A Research Agenda
机译:
节能,适应性强的移动系统的测量方法-研究议程
作者:
Vladimir Ivanov
;
Sergey Masyagin
;
Andrey Sadovykh
;
Alberto Sillitti
;
Giancarlo Succi
;
Alexander Tormasov
;
Evgeny Zouev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Energy-saving applications;
Adaptable systems;
Software metrics;
9.
Complex Systems: On Design and Architecture of Adaptable Dashboards
机译:
复杂的系统:适应性仪表板的设计和体系结构
作者:
Dragos Strugar
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Adaptable Systems;
Complex Systems;
Dashboards;
10.
Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective
机译:
基于深度模型的人类活动识别及其领域适应性分析
作者:
Nikita Gurov
;
Adil Khan
;
Rasheed Hussain
;
Asad Khattak
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Human activity recognition;
Domain adaptation;
11.
Spontaneous Emotion Recognition in Response to Videos
机译:
视频自发情感识别
作者:
Alisa Gazizullina
;
Manuel Mazzara
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Emotion detection;
Emotion detection from videos;
DEAP dataset;
Emotion prediction from DEAP dataset;
12.
CNN LSTM Network Architecture for Modeling Software Reliability
机译:
CNN LSTM网络体系结构,用于对软件可靠性进行建模
作者:
Kamill Gusmanov
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Neural Networks;
CNN;
LSTM;
Software reliability modeling;
Software Reliability Growth Models;
Time-series forecasting;
13.
An Intelligent Tutoring System Tool Combining Machine Learning and Gamification in Education
机译:
结合机器学习和游戏化的智能辅导系统工具
作者:
Riccardo Di Pietro
;
Salvatore Distefano
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Intelligent Tutoring Systems;
Gamification;
Cloud computing;
Machine learning;
Virtual Study Buddy;
14.
Early Within-Season Yield Prediction and Disease Detection Using Sentinel Satellite Imageries and Machine Learning Technologies in Biomass Sorghum
机译:
利用前哨卫星图像和机器学习技术对生物量高粱进行早期季节内产量预测和疾病检测
作者:
Ephrem Habyarimana
;
Isabelle Piccard
;
Christian Zinke-Wehlmann
;
Paolo De Franceschi
;
Marcello Catellani
;
Michela DallAgala
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Sorghum biomass;
Sorghum diseases;
Prediction modeling;
Machine learning;
Bayesian learning;
NDVI and fAPAR;
Satellite imagery;
Sentinel-2;
15.
UniquID: A Quest to Reconcile Identity Access Management and the IoT
机译:
UniquID:调和身份访问管理和物联网的探索
作者:
Alberto Giaretta
;
Stefano Pepe
;
Nicola Dragoni
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
IAM;
Identity management systems;
Blockchain;
Internet of Things;
IoT;
Machine-to-machine;
M2M;
16.
Automated Composition, Analysis and Deployment of IoT Applications
机译:
物联网应用程序的自动组成,分析和部署
作者:
Francisco Duran
;
Gwcn Salauen
;
Ajay Krishna
会议名称:
《》
|
2019年
17.
Applying Face Recognition in Video Surveillance Security Systems
机译:
人脸识别在视频监控安全系统中的应用
作者:
Bauyrzhan Omarov
;
Batyrkhan Omarov
;
Shirinkyz Shekerbekova
;
Farida Gusmanova
;
Nurzhamal Oshanova
;
Alua Sarbasova
;
Zhanna Yessengaliyeva
;
Agyn Bedelbayev
;
Akmarzhan Maikhanova
;
Nurzhan Omarov
;
Daniyar Sultan
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Smart city;
Video surveillance;
Face recognition;
Face detection;
18.
Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity Threats
机译:
面对日益增长的网络安全威胁,工业4.0数字平台的网络弹性概念
作者:
Sergei Petrenko
;
Elvira Khismalullina
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Digital transformation;
Digital economy;
Cyber stability;
Manageability capability;
Self-organization;
Proactive cyber security and adaptability;
Models and methods of artificial intelligence;
Cognitive computing;
Big data;
Robotics;
Internet of things IIoT/IoT;
19.
Method of Improving the Cyber Resilience for Industry 4.0. Digital Platforms
机译:
提升工业4.0网络弹性的方法。数字平台
作者:
Sergei Petrenko
;
Khismatullina Elvira
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Digital transformation;
Digital economy;
Cyber resilience;
Manageability capability;
Self-organization;
Proactive cyber security and adaptability;
Models and methods of artificial intelligence;
Cognitive computing;
Big data;
Robotics;
Internet of Tilings IIoT / IoT;
20.
Can We Rely on Smartphone Applications?
机译:
我们可以依靠智能手机应用程序吗?
作者:
Sonia Meskini
;
Ali Bou Nassif
;
Luiz Fernando Capretz
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Smartphone applications;
Software reliability;
NHPP model;
Software Reliability Growth Models - SRGM;
21.
Design and Assurance Methods for Dependable Cyber Physical Systems
机译:
可靠的网络物理系统的设计和保证方法
作者:
Sergey Tverdyshev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cyber-physical-systems;
Mixed-criticality;
Safety;
Security;
Assurance;
Certification;
MILS;
22.
Science of Computing: From Functions and Sequentiality to Processes and Concurrency
机译:
计算科学:从功能和顺序到流程和并发
作者:
Davide Sangiorgi
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
23.
Towards an Anatomy of Software Requirements
机译:
走向软件需求剖析
作者:
Bertrand Meyer
;
Jean-Michel Bruel
;
Sophie Ebersold
;
Florian Galinier
;
Alexandr Naumchev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
24.
Preface
机译:
前言
作者:
Manuel Mazzara
;
Jean-Michel Bruel
;
Bertrand Meyer
;
Alexander Petrenko
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
25.
Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting
机译:
肯特·贝克还是巴勃罗·毕加索?关于软件和绘画中艺术家之间关系的推测
作者:
Sergey Masyagin
;
Milana Nurgalieva
;
Giancarlo Succi
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
26.
Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting
机译:
肯特·贝克还是巴勃罗·毕加索?关于软件和绘画中艺术家之间关系的推测
作者:
Sergey Masyagin
;
Milana Nurgalieva
;
Giancarlo Succi
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software development;
Painting;
Agile methods;
27.
Towards an Anatomy of Software Requirements
机译:
走向软件需求剖析
作者:
Bertrand Meyer
;
Jean-Michel Bruel
;
Sophie Ebersold
;
Florian Galinier
;
Alexandr Naumchev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
28.
Preferred Tools for Agile Development: A Sociocultural Perspective
机译:
敏捷开发的首选工具:社会文化视角
作者:
Paolo Ciancarini
;
Marcello Missiroli
;
Alberto Sillitti
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
29.
Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Code
机译:
解释器:基于编译器的调度程序与编译器的无关转换为线程代码
作者:
Yauhen Klimiankou
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Threaded code;
Switch-based dispatch;
Dispatch loop;
Object file;
30.
Towards Static Verification of Clojure Contract-Based Programs
机译:
对Clojure基于合同的程序进行静态验证
作者:
Gheorghe Pinzaru
;
Victor Rivera
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
31.
Distributed Computing System on a Smart phones-Based Network
机译:
基于智能手机的网络上的分布式计算系统
作者:
Hamza Salem
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Distributed system;
Computation power;
JS-Regression;
32.
Above the Clouds: A Brief Study
机译:
云层之上:简要研究
作者:
Subham Chakraborty
;
Ananga Thapaliya
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cloud computing;
IoT;
33.
Exploring IA-32: Lessons from Analysis and Experience
机译:
探索IA-32:分析和经验教训
作者:
Yauhen Klimiankon
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
IA-32;
ISA;
Code analysis;
Statistical analysis;
34.
Continuous Integration and Continuous Delivery in the Process of Developing Robotic Systems
机译:
机器人系统开发过程中的持续集成和持续交付
作者:
Vadim Rashitov
;
Mikhail Ivanou
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Docker;
Virtualization;
Cloud;
CI/CD;
Web application;
Robot system;
35.
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
机译:
VERCORS:用于数字双胞胎环境中可靠的网络物理系统的智能往返正式验证的硬件和软件复合体(位置论文)
作者:
Alexandr Naumchev
;
Andrey Sadovykh
;
Vladimir Ivanov
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cyber-physical systems (CPS);
Digital twin;
Verification;
Model-based testing;
Natural;
Language processing;
Formal specification;
Traceability;
Multi-modelling;
Co-simulation;
36.
MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment Platform
机译:
MELODIC:选择和集成开源以构建自主的跨云部署平台
作者:
Geir Horn
;
Pawel Skrzypek
;
Martin Prusinski
;
Katarzyna Materka
;
Vassilis Stefanidis
;
Yiannis Verginadis
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Open source;
Integration;
Cloud computing;
37.
Quality-Aware Rapid Software Development Project: The Q-Rapids Project
机译:
质量意识快速软件开发项目:Q-Rapids项目
作者:
Xavier Franch
;
Lidia Lopez
;
Silverio Martinez-Fernandez
;
Marc Oriol
;
Pilar Rodriguez
;
Adam Trendowicz
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software quality;
Data-driven requirements engineering;
Software analytic tools;
Software repositories;
Quality models;
Agile software development;
Rapid software development;
Quality requirements;
Non-functional requirements;
38.
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
机译:
MegaM @ Rt2项目:运行时的大型建模-中间结果和研究挑战
作者:
Andrey Sadovykh
;
Dragos Truscan
;
Wasif Afzal
;
Hugo Bruneliere
;
Adnan Ashraf
;
Abel Gomez
;
Alexandra Espinosa
;
Gunnar Widforss
;
Pierluigi Pierini
;
Elizabeta Fourneret
;
Alessandra Bagnato
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cyber-Physical systems;
Model-Driven Engineering;
Runtime Analysis;
Tools;
Mega-Modelling;
Traceability;
ECSEL;
39.
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
机译:
REVaMP2项目:迈向软件产品线双向工程-方法,中间结果和挑战
作者:
Andrey Sadovykh
;
Tewfik Ziadi
;
Alessandra Bagnato
;
Thorsten Berger
;
Jan-Philipp Steghofer
;
Jacques Robin
;
Raul Mazo
;
Elena Gal lego
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software product lines engineering;
Round-trip engineering;
Model-driven engineering;
Extraction;
Co-evolution;
Verification;
Tools;
ITEA3;
40.
Preface
机译:
前言
作者:
Manuel Mazzara
;
Jean-Michel Bruel
;
Bertrand Meyer
;
Alexander Petrenko
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
41.
Assessing Job Satisfaction of Software Engineers Using GQM Approach
机译:
使用GQM方法评估软件工程师的工作满意度
作者:
Aleksandr Tarasov
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Job satisfaction;
Correlation coefficient;
GQM approach;
Agile development;
42.
MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment Platform
机译:
旋律:开源的选择和集成构建自主跨云部署平台
作者:
Geir Horn
;
Pawel Skrzypek
;
Martin Prusinski
;
Katarzyna Materka
;
Vassilis Stefanidis
;
Yiannis Verginadis
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Open source;
Integration;
Cloud computing;
43.
Method of Improving the Cyber Resilience for Industry 4.0. Digital Platforms
机译:
改善工业4.0网络弹性的方法。数字平台
作者:
Sergei Petrenko
;
Khismatullina Elvira
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Digital transformation;
Digital economy;
Cyber resilience;
Manageability capability;
Self-organization;
Proactive cyber security and adaptability;
Models and methods of artificial intelligence;
Cognitive computing;
Big data;
Robotics;
Internet of Tilings IIoT / IoT;
44.
Towards Static Verification of Clojure Contract-Based Programs
机译:
朝着Clojure合同的计划的静态验证
作者:
Gheorghe Pinzaru
;
Victor Rivera
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
45.
Proof Strategy for Automated Sisal Program Verification
机译:
自动SISAL计划验证的证明策略
作者:
Dmitry Kondratyev
;
Alexei Promsky
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Automated theorem proof;
Deductive verification;
Sisal;
C-light;
C-lightVer;
Definite iteration;
46.
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study
机译:
从抽象状态机开发医疗设备到嵌入式系统:智能药丸盒案例研究
作者:
Andrea Bombarda
;
Silvia Bonfanti
;
Angelo Gargantini
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
47.
Design and Assurance Methods for Dependable Cyber Physical Systems
机译:
可靠网络物理系统的设计和保证方法
作者:
Sergey Tverdyshev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cyber-physical-systems;
Mixed-criticality;
Safety;
Security;
Assurance;
Certification;
MILS;
48.
Exploring IA-32: Lessons from Analysis and Experience
机译:
探索IA-32:分析和经验的课程
作者:
Yauhen Klimiankon
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
IA-32;
ISA;
Code analysis;
Statistical analysis;
49.
UniquID: A Quest to Reconcile Identity Access Management and the IoT
机译:
uniquid:追求协调身份访问管理和物联网
作者:
Alberto Giaretta
;
Stefano Pepe
;
Nicola Dragoni
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
IAM;
Identity management systems;
Blockchain;
Internet of Things;
IoT;
Machine-to-machine;
M2M;
50.
Preferred Tools for Agile Development: A Sociocultural Perspective
机译:
敏捷发展的首选工具:社会文化的角度
作者:
Paolo Ciancarini
;
Marcello Missiroli
;
Alberto Sillitti
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
51.
Science of Computing: From Functions and Sequentiality to Processes and Concurrency
机译:
计算科学:从功能和顺序到过程和并发性
作者:
Davide Sangiorgi
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
52.
Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Code
机译:
解释器:将基于交换机的分发的编译器无关转换为线程代码
作者:
Yauhen Klimiankou
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Threaded code;
Switch-based dispatch;
Dispatch loop;
Object file;
53.
Towards an Anatomy of Software Requirements
机译:
迈向软件要求的解剖
作者:
Bertrand Meyer
;
Jean-Michel Bruel
;
Sophie Ebersold
;
Florian Galinier
;
Alexandr Naumchev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
54.
Distributed Computing System on a Smart phones-Based Network
机译:
基于智能手机的网络分布式计算系统
作者:
Hamza Salem
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Distributed system;
Computation power;
JS-Regression;
55.
Continuous Integration and Continuous Delivery in the Process of Developing Robotic Systems
机译:
开发机器人系统过程中持续的整合和连续交付
作者:
Vadim Rashitov
;
Mikhail Ivanou
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Docker;
Virtualization;
Cloud;
CI/CD;
Web application;
Robot system;
56.
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
机译:
Revamp2项目:往返软件产品线路的往返工程 - Puproach,中间结果和挑战
作者:
Andrey Sadovykh
;
Tewfik Ziadi
;
Alessandra Bagnato
;
Thorsten Berger
;
Jan-Philipp Steghofer
;
Jacques Robin
;
Raul Mazo
;
Elena Gal lego
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software product lines engineering;
Round-trip engineering;
Model-driven engineering;
Extraction;
Co-evolution;
Verification;
Tools;
ITEA3;
57.
Measurements for Energy Efficient, Adaptable, Mobile Systems - A Research Agenda
机译:
节能,适应性,移动系统的测量 - 研究议程
作者:
Vladimir Ivanov
;
Sergey Masyagin
;
Andrey Sadovykh
;
Alberto Sillitti
;
Giancarlo Succi
;
Alexander Tormasov
;
Evgeny Zouev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Energy-saving applications;
Adaptable systems;
Software metrics;
58.
Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG
机译:
软件工程中生物信号实验中的问题:脑电图的情况
作者:
Herman Tarasau
;
Ananga Thapaliya
;
Oydinoy Zufarova
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Empirical methods;
Software experimentation;
59.
Towards an Anatomy of Software Requirements
机译:
迈向软件要求的解剖
作者:
Bertrand Meyer
;
Jean-Michel Bruel
;
Sophie Ebersold
;
Florian Galinier
;
Alexandr Naumchev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
60.
Spontaneous Emotion Recognition in Response to Videos
机译:
自发的情感识别以回应视频
作者:
Alisa Gazizullina
;
Manuel Mazzara
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Emotion detection;
Emotion detection from videos;
DEAP dataset;
Emotion prediction from DEAP dataset;
61.
Applying Face Recognition in Video Surveillance Security Systems
机译:
在视频监控安全系统中应用面部识别
作者:
Bauyrzhan Omarov
;
Batyrkhan Omarov
;
Shirinkyz Shekerbekova
;
Farida Gusmanova
;
Nurzhamal Oshanova
;
Alua Sarbasova
;
Zhanna Yessengaliyeva
;
Agyn Bedelbayev
;
Akmarzhan Maikhanova
;
Nurzhan Omarov
;
Daniyar Sultan
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Smart city;
Video surveillance;
Face recognition;
Face detection;
62.
CNN LSTM Network Architecture for Modeling Software Reliability
机译:
CNN LSTM网络架构,用于建模软件可靠性
作者:
Kamill Gusmanov
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Neural Networks;
CNN;
LSTM;
Software reliability modeling;
Software Reliability Growth Models;
Time-series forecasting;
63.
Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective
机译:
人类活动识别使用深层模型及其分析从域适应视角
作者:
Nikita Gurov
;
Adil Khan
;
Rasheed Hussain
;
Asad Khattak
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Human activity recognition;
Domain adaptation;
64.
Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity Threats
机译:
面对越来越多的网络安全威胁,为工业4.0数字平台的网络恢复概念
作者:
Sergei Petrenko
;
Elvira Khismalullina
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Digital transformation;
Digital economy;
Cyber stability;
Manageability capability;
Self-organization;
Proactive cyber security and adaptability;
Models and methods of artificial intelligence;
Cognitive computing;
Big data;
Robotics;
Internet of things IIoT/IoT;
65.
Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting
机译:
肯特贝克或巴勃罗毕加索?软件与绘画艺术家关系的猜测
作者:
Sergey Masyagin
;
Milana Nurgalieva
;
Giancarlo Succi
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software development;
Painting;
Agile methods;
66.
Automated Composition, Analysis and Deployment of IoT Applications
机译:
自动化组成,分析和部署IOT应用程序
作者:
Francisco Duran
;
Gwcn Salauen
;
Ajay Krishna
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
67.
Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting
机译:
肯特贝克或巴勃罗毕加索?软件与绘画艺术家关系的猜测
作者:
Sergey Masyagin
;
Milana Nurgalieva
;
Giancarlo Succi
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
68.
Object-Oriented Requirements: Reusable, Understandable, Verifiable
机译:
面向对象的要求:可重复使用,可理解,可验证
作者:
Alexandr Naumchev
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Object-oriented requirements;
Reusable requirements;
Understandable requirements;
Verifiable requirements;
69.
Can We Rely on Smartphone Applications?
机译:
我们可以依靠智能手机应用吗?
作者:
Sonia Meskini
;
Ali Bou Nassif
;
Luiz Fernando Capretz
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Smartphone applications;
Software reliability;
NHPP model;
Software Reliability Growth Models - SRGM;
70.
Above the Clouds: A Brief Study
机译:
在云端之上:简要研究
作者:
Subham Chakraborty
;
Ananga Thapaliya
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cloud computing;
IoT;
71.
An Intelligent Tutoring System Tool Combining Machine Learning and Gamification in Education
机译:
一种智能辅导系统工具,将机器学习与教育中的娱乐
作者:
Riccardo Di Pietro
;
Salvatore Distefano
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Intelligent Tutoring Systems;
Gamification;
Cloud computing;
Machine learning;
Virtual Study Buddy;
72.
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges
机译:
MEGAM @ RT2项目:MEGA建模在运行时 - 中间结果和研究挑战
作者:
Andrey Sadovykh
;
Dragos Truscan
;
Wasif Afzal
;
Hugo Bruneliere
;
Adnan Ashraf
;
Abel Gomez
;
Alexandra Espinosa
;
Gunnar Widforss
;
Pierluigi Pierini
;
Elizabeta Fourneret
;
Alessandra Bagnato
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cyber-Physical systems;
Model-Driven Engineering;
Runtime Analysis;
Tools;
Mega-Modelling;
Traceability;
ECSEL;
73.
Early Within-Season Yield Prediction and Disease Detection Using Sentinel Satellite Imageries and Machine Learning Technologies in Biomass Sorghum
机译:
在生物量高粱中使用Sentinel卫星成像和机器学习技术在季节早期产量预测和疾病检测
作者:
Ephrem Habyarimana
;
Isabelle Piccard
;
Christian Zinke-Wehlmann
;
Paolo De Franceschi
;
Marcello Catellani
;
Michela DallAgala
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Sorghum biomass;
Sorghum diseases;
Prediction modeling;
Machine learning;
Bayesian learning;
NDVI and fAPAR;
Satellite imagery;
Sentinel-2;
74.
Quality-Aware Rapid Software Development Project: The Q-Rapids Project
机译:
质量感知的快速软件开发项目:Q-Rapits项目
作者:
Xavier Franch
;
Lidia Lopez
;
Silverio Martinez-Fernandez
;
Marc Oriol
;
Pilar Rodriguez
;
Adam Trendowicz
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software quality;
Data-driven requirements engineering;
Software analytic tools;
Software repositories;
Quality models;
Agile software development;
Rapid software development;
Quality requirements;
Non-functional requirements;
75.
Software Development and Customer Satisfaction: A Systematic Literature Review
机译:
软件开发和客户满意度:系统文献综述
作者:
Rozaliya Amirova
;
Ilya Khomyakov
;
Ruzilya Mirgalimova
;
Alberto Sillitti
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Customer satisfaction;
Agile;
Systematic literature review;
76.
The Impact of Dance Sport on Software Development
机译:
舞蹈运动对软件开发的影响
作者:
Irina Erofeeva
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Software development;
Development methodologies;
Dancesport;
Ballroom dancing;
77.
Complex Systems: On Design and Architecture of Adaptable Dashboards
机译:
复杂系统:适应性仪表板的设计和架构
作者:
Dragos Strugar
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Adaptable Systems;
Complex Systems;
Dashboards;
78.
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
机译:
Vercors:用于数字双胞胎环境中可靠的网络物理系统的智能往返的硬件和软件复合体正式验证(位置纸)
作者:
Alexandr Naumchev
;
Andrey Sadovykh
;
Vladimir Ivanov
会议名称:
《International Conference on Objects, Components, Models and Patterns》
|
2019年
关键词:
Cyber-physical systems (CPS);
Digital twin;
Verification;
Model-based testing;
Natural;
Language processing;
Formal specification;
Traceability;
Multi-modelling;
Co-simulation;
意见反馈
回到顶部
回到首页