TOOLS

Publications

2019

Hamza Salem
Distributed Computing System on a Smartphones-Based Network. TOOLS (2019)
Alexandr Naumchev
Object-Oriented Requirements: Reusable, Understandable, Verifiable. TOOLS (2019)
Vadim Rashitov, Mikhail Ivanou
Continuous Integration and Continuous Delivery in the Process of Developing Robotic Systems. TOOLS (2019)
Geir Horn, Pawel Skrzypek, Marcin Prusinski, Katarzyna Materka, Vassilis Stefanidis, Yiannis Verginadis
MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment Platform. TOOLS (2019)
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
Towards an Anatomy of Software Requirements. TOOLS (2019)
Herman Tarasau, Ananga Thapaliya, Oydinoy Zufarova
Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG. TOOLS (2019)
Sergei Petrenko, Elvira Khismatullina
Method of Improving the Cyber Resilience for Industry 4.0. Digital Platforms. TOOLS (2019)
Francisco Durán, Gwen Salaün, Ajay Krishna
Automated Composition, Analysis and Deployment of IoT Applications. TOOLS (2019)
Andrey Sadovykh, Dragos Truscan, Wasif Afzal, Hugo Brunelière, Adnan Ashraf, Abel Gómez, Alexandra Espinosa Hortelano, Gunnar Widforss, Pierluigi Pierini, Elizabeta Fourneret, Alessandra Bagnato
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges. TOOLS (2019)
Nikita Gurov, Adil Khan, Rasheed Hussain, Asad Masood Khattak
Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective. TOOLS (2019)
Sonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz
Can We Rely on Smartphone Applications? TOOLS (2019)
Ephrem Habyarimana, Isabelle Piccard, Christian Zinke-Wehlmann, Paolo De Franceschi, Marcello Catellani, Michela Dall'Agata
Early Within-Season Yield Prediction and Disease Detection Using Sentinel Satellite Imageries and Machine Learning Technologies in Biomass Sorghum. TOOLS (2019)
Paolo Ciancarini, Marcello Missiroli, Alberto Sillitti
Preferred Tools for Agile Development: A Sociocultural Perspective. TOOLS (2019)
Gheorghe Pinzaru, Victor Rivera
Towards Static Verification of Clojure Contract-Based Programs. TOOLS (2019)
Andrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raúl Mazo, Elena Gallego
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges. TOOLS (2019)
Riccardo Di Pietro, Salvatore Distefano
An Intelligent Tutoring System Tool Combining Machine Learning and Gamification in Education. TOOLS (2019)
Subham Chakraborty, Ananga Thapaliya
Above the Clouds: A Brief Study. TOOLS (2019)
Bauyrzhan Omarov, Batyrkhan Omarov, Shirinkyz Shekerbekova, Farida Gusmanova, Nurzhamal Oshanova, Alua Sarbasova, Zhanna Yessengaliyeva, Agyn Bedelbayev, Akmarzhan Maikhanova, Nurzhan Omarov, Daniyar Sultan
Applying Face Recognition in Video Surveillance Security Systems. TOOLS (2019)
Irina Erofeeva
The Impact of Dance Sport on Software Development. TOOLS (2019)
Alberto Giaretta, Stefano Pepe, Nicola Dragoni
UniquID: A Quest to Reconcile Identity Access Management and the IoT. TOOLS (2019)
Vladimir Ivanov, Sergey Masyagin, Andrey Sadovykh, Alberto Sillitti, Giancarlo Succi, Alexander Tormasov, Evgeny Zouev
Measurements for Energy Efficient, Adaptable, Mobile Systems - A Research Agenda. TOOLS (2019)
Yauhen Klimiankou
Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Code. TOOLS (2019)
Dmitry A. Kondratyev, Alexei V. Promsky
Proof Strategy for Automated Sisal Program Verification. TOOLS (2019)
Aleksandr V. Tarasov
Assessing Job Satisfaction of Software Engineers Using GQM Approach. TOOLS (2019)
Rozaliya Amirova, Ilya Khomyakov, Ruzilya Mirgalimova, Alberto Sillitti
Software Development and Customer Satisfaction: A Systematic Literature Review. TOOLS (2019)
Alisa Gazizullina, Manuel Mazzara
Spontaneous Emotion Recognition in Response to Videos. TOOLS (2019)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS (2019)
Alexandr Naumchev, Andrey Sadovykh, Vladimir Ivanov
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). TOOLS (2019)
Sergey Masyagin, Milana Nurgalieva, Giancarlo Succi
Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting. TOOLS (2019)
Sergei Petrenko, Elvira Khismatullina
Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity Threats. TOOLS (2019)
Xavier Franch, Lidia López, Silverio Martínez-Fernández, Marc Oriol, Pilar Rodríguez, Adam Trendowicz
Quality-Aware Rapid Software Development Project: The Q-Rapids Project. TOOLS (2019)
Kamill Gusmanov
CNN LSTM Network Architecture for Modeling Software Reliability. TOOLS (2019)
Dragos Strugar
Complex Systems: On Design and Architecture of Adaptable Dashboards. TOOLS (2019)
Yauhen Klimiankou
Exploring IA-32: Lessons from Analysis and Experience. TOOLS (2019)

volume 11771, 2019

Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings TOOLS 11771 (2019)