menu 简单麦麦
account_circle

软件技术:方法和工具:第51届国际会议,工具2019,俄罗斯,因诺波利斯,2019年10月15-17日,会议记录-Software Technology: Methods and Tools: 51s

帮助2571人找到了他们想要的文件
上传于 2020-03-02 38次下载 4315次围观
文件编号:6486
文件详情
标题(title):Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
软件技术:方法和工具:第51届国际会议,工具2019,俄罗斯,因诺波利斯,2019年10月15-17日,会议记录
作者(author):Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko
出版社(publisher):Springer International Publishing
大小(size):25 MB (26628799 bytes)
格式(extension):pdf
注意:如果文件下载完成后为无法打开的格式,请修改后缀名为格式对应后缀


​This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.


Table of contents :
Front Matter ....Pages i-xviii
Front Matter ....Pages 1-1
Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting (Sergey Masyagin, Milana Nurgalieva, Giancarlo Succi)....Pages 3-9
Towards an Anatomy of Software Requirements (Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev)....Pages 10-40
Front Matter ....Pages 41-41
Preferred Tools for Agile Development: A Sociocultural Perspective (Paolo Ciancarini, Marcello Missiroli, Alberto Sillitti)....Pages 43-58
Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Code (Yauhen Klimiankou)....Pages 59-72
Towards Static Verification of Clojure Contract-Based Programs (Gheorghe Pinzaru, Victor Rivera)....Pages 73-80
Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG (Herman Tarasau, Ananga Thapaliya, Oydinoy Zufarova)....Pages 81-88
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study (Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini)....Pages 89-103
The Impact of Dance Sport on Software Development (Irina Erofeeva)....Pages 104-112
Proof Strategy for Automated Sisal Program Verification (Dmitry Kondratyev, Alexei Promsky)....Pages 113-120
Assessing Job Satisfaction of Software Engineers Using GQM Approach (Aleksandr Tarasov)....Pages 121-135
Software Development and Customer Satisfaction: A Systematic Literature Review (Rozaliya Amirova, Ilya Khomyakov, Ruzilya Mirgalimova, Alberto Sillitti)....Pages 136-149
Object-Oriented Requirements: Reusable, Understandable, Verifiable (Alexandr Naumchev)....Pages 150-162
Measurements for Energy Efficient, Adaptable, Mobile Systems - A Research Agenda (Vladimir Ivanov, Sergey Masyagin, Andrey Sadovykh, Alberto Sillitti, Giancarlo Succi, Alexander Tormasov et al.)....Pages 163-175
Complex Systems: On Design and Architecture of Adaptable Dashboards (Dragos Strugar)....Pages 176-186
Front Matter ....Pages 187-187
Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective (Nikita Gurov, Adil Khan, Rasheed Hussain, Asad Khattak)....Pages 189-202
Spontaneous Emotion Recognition in Response to Videos (Alisa Gazizullina, Manuel Mazzara)....Pages 203-209
CNN LSTM Network Architecture for Modeling Software Reliability (Kamill Gusmanov)....Pages 210-217
An Intelligent Tutoring System Tool Combining Machine Learning and Gamification in Education (Riccardo Di Pietro, Salvatore Distefano)....Pages 218-226
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 Dall’Agata)....Pages 227-234
Front Matter ....Pages 235-235
UniquID: A Quest to Reconcile Identity Access Management and the IoT (Alberto Giaretta, Stefano Pepe, Nicola Dragoni)....Pages 237-251
Automated Composition, Analysis and Deployment of IoT Applications (Francisco Durán, Gwen Salaün, Ajay Krishna)....Pages 252-268
Front Matter ....Pages 269-269
Applying Face Recognition in Video Surveillance Security Systems (Bauyrzhan Omarov, Batyrkhan Omarov, Shirinkyz Shekerbekova, Farida Gusmanova, Nurzhamal Oshanova, Alua Sarbasova et al.)....Pages 271-280
Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity Threats (Sergei Petrenko, Elvira Khismatullina)....Pages 281-294
Method of Improving the Cyber Resilience for Industry 4.0. Digital Platforms (Sergei Petrenko, Khismatullina Elvira)....Pages 295-302
Front Matter ....Pages 303-303
Can We Rely on Smartphone Applications? (Sonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz)....Pages 305-312
Distributed Computing System on a Smartphones-Based Network (Hamza Salem)....Pages 313-325
Above the Clouds: A Brief Study (Subham Chakraborty, Ananga Thapaliya)....Pages 326-333
Exploring IA-32: Lessons from Analysis and Experience (Yauhen Klimiankou)....Pages 334-341
Continuous Integration and Continuous Delivery in the Process of Developing Robotic Systems (Vadim Rashitov, Mikhail Ivanou)....Pages 342-348
Front Matter ....Pages 349-349
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) (Alexandr Naumchev, Andrey Sadovykh, Vladimir Ivanov)....Pages 351-363
MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment Platform (Geir Horn, Paweł Skrzypek, Marcin Prusiński, Katarzyna Materka, Vassilis Stefanidis, Yiannis Verginadis)....Pages 364-377
Quality-Aware Rapid Software Development Project: The Q-Rapids Project (Xavier Franch, Lidia Lopez, Silverio Martínez-Fernández, Marc Oriol, Pilar Rodríguez, Adam Trendowicz)....Pages 378-392
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges (Andrey Sadovykh, Dragos Truscan, Wasif Afzal, Hugo Bruneliere, Adnan Ashraf, Abel Gómez et al.)....Pages 393-405
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges (Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin et al.)....Pages 406-417
Back Matter ....Pages 419-420
-到底部了哦-
微信扫码支付
软件技术:方法和工具:第51届国际会议,工具2019,俄罗斯,因诺波利斯,2019年10月15-17日,会议记录-Software Technology: Methods and Tools: 51s
支付金额: 共计:¥0.0

添加收藏

创建新合集