Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

Description

​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. 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