Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Software Technology: Methods and Tools

51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Manuel Mazzara

    1. Innopolis University, Innopolis, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Michel Bruel

    1. IUT de Blagnac , Blagnac, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bertrand Meyer

    1. Innopolis University, Innopolis, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Alexander Petrenko

    1. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11771)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: TOOLS 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (34 papers)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Invited Talks and Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and Painting

      • Sergey Masyagin, Milana Nurgalieva, Giancarlo Succi
      Pages 3-9

    3. Towards an Anatomy of Software Requirements

      • Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
      Pages 10-40

  3. Software Engineering and Programming Languages

    1. Front Matter

      Pages 41-41
      Download chapter PDF

    2. Preferred Tools for Agile Development: A Sociocultural Perspective

      • Paolo Ciancarini, Marcello Missiroli, Alberto Sillitti
      Pages 43-58

    3. Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Code

      • Yauhen Klimiankou
      Pages 59-72

    4. Towards Static Verification of Clojure Contract-Based Programs

      • Gheorghe Pinzaru, Victor Rivera
      Pages 73-80

    5. Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG

      • Herman Tarasau, Ananga Thapaliya, Oydinoy Zufarova
      Pages 81-88

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

    7. The Impact of Dance Sport on Software Development

      • Irina Erofeeva
      Pages 104-112

    8. Proof Strategy for Automated Sisal Program Verification

      • Dmitry Kondratyev, Alexei Promsky
      Pages 113-120

    9. Assessing Job Satisfaction of Software Engineers Using GQM Approach

      • Aleksandr Tarasov
      Pages 121-135

    10. Software Development and Customer Satisfaction: A Systematic Literature Review

      • Rozaliya Amirova, Ilya Khomyakov, Ruzilya Mirgalimova, Alberto Sillitti
      Pages 136-149

    11. Object-Oriented Requirements: Reusable, Understandable, Verifiable

      • Alexandr Naumchev
      Pages 150-162

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

    13. Complex Systems: On Design and Architecture of Adaptable Dashboards

      • Dragos Strugar
      Pages 176-186

  4. Machine Learning

    1. Front Matter

      Pages 187-187
      Download chapter PDF

    2. Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation Perspective

      • Nikita Gurov, Adil Khan, Rasheed Hussain, Asad Khattak
      Pages 189-202

    3. Spontaneous Emotion Recognition in Response to Videos

      • Alisa Gazizullina, Manuel Mazzara
      Pages 203-209
Back to top

Keywords

About this book

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


Editors and Affiliations

  • Innopolis University, Innopolis, Russia

    Manuel Mazzara, Bertrand Meyer

  • IUT de Blagnac , Blagnac, France

    Jean-Michel Bruel

  • Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia

    Alexander Petrenko

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation