default search action
51st TOOLS 2019: Tatarstan, Russia
- Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko:
Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11771, Springer 2019, ISBN 978-3-030-29851-7
Invited Talks and Papers
- Sergey Masyagin
, Milana Nurgalieva, Giancarlo Succi
Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting. 3-9 - Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
Towards an Anatomy of Software Requirements. 10-40
Software Engineering and Programming Languages
- Paolo Ciancarini, Marcello Missiroli, Alberto Sillitti:
Preferred Tools for Agile Development: A Sociocultural Perspective. 43-58 - Yauhen Klimiankou:
Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Code. 59-72 - Gheorghe Pinzaru, Victor Rivera:
Towards Static Verification of Clojure Contract-Based Programs. 73-80 - Herman Tarasau, Ananga Thapaliya, Oydinoy Zufarova:
Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG. 81-88 - Andrea Bombarda
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. 89-103 - Irina Erofeeva:
The Impact of Dance Sport on Software Development. 104-112 - Dmitry A. Kondratyev
Proof Strategy for Automated Sisal Program Verification. 113-120 - Aleksandr V. Tarasov:
Assessing Job Satisfaction of Software Engineers Using GQM Approach. 121-135 - Rozaliya Amirova, Ilya Khomyakov, Ruzilya Mirgalimova, Alberto Sillitti:
Software Development and Customer Satisfaction: A Systematic Literature Review. 136-149 - Alexandr Naumchev:
Object-Oriented Requirements: Reusable, Understandable, Verifiable. 150-162 - Vladimir Ivanov, Sergey Masyagin
Measurements for Energy Efficient, Adaptable, Mobile Systems - A Research Agenda. 163-175 - Dragos Strugar
Complex Systems: On Design and Architecture of Adaptable Dashboards. 176-186
Machine Learning
- Nikita Gurov, Adil Khan, Rasheed Hussain
Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective. 189-202 - Alisa Gazizullina, Manuel Mazzara
Spontaneous Emotion Recognition in Response to Videos. 203-209 - Kamill Gusmanov:
CNN LSTM Network Architecture for Modeling Software Reliability. 210-217 - Riccardo Di Pietro, Salvatore Distefano:
An Intelligent Tutoring System Tool Combining Machine Learning and Gamification in Education. 218-226 - Ephrem Habyarimana, Isabelle Piccard, Christian Zinke-Wehlmann
Early Within-Season Yield Prediction and Disease Detection Using Sentinel Satellite Imageries and Machine Learning Technologies in Biomass Sorghum. 227-234
Internet of Things
- Alberto Giaretta, Stefano Pepe, Nicola Dragoni
UniquID: A Quest to Reconcile Identity Access Management and the IoT. 237-251 - Francisco Durán, Gwen Salaün, Ajay Krishna:
Automated Composition, Analysis and Deployment of IoT Applications. 252-268
Security
- Bauyrzhan Omarov, Batyrkhan Omarov, Shirinkyz Shekerbekova, Farida Gusmanova
Applying Face Recognition in Video Surveillance Security Systems. 271-280 - Sergei Petrenko
Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity Threats. 281-294 - Sergei Petrenko
Method of Improving the Cyber Resilience for Industry 4.0. Digital Platforms. 295-302
Computer Architectures and Robotics
- Sonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz:
Can We Rely on Smartphone Applications? 305-312 - Hamza Salem:
Distributed Computing System on a Smartphones-Based Network. 313-325 - Subham Chakraborty, Ananga Thapaliya:
Above the Clouds: A Brief Study. 326-333 - Yauhen Klimiankou:
Exploring IA-32: Lessons from Analysis and Experience. 334-341 - Vadim Rashitov
Continuous Integration and Continuous Delivery in the Process of Developing Robotic Systems. 342-348
Projects
- Alexandr Naumchev, Andrey Sadovykh
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). 351-363 - Geir Horn
MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment Platform. 364-377 - Xavier Franch, Lidia López
Quality-Aware Rapid Software Development Project: The Q-Rapids Project. 378-392 - Andrey Sadovykh
MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges. 393-405 - Andrey Sadovykh
REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges. 406-417
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: