Skip to main content
  • Conference proceedings
  • © 2019

Software Technology: Methods and Tools

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

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

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

Conference series link(s): TOOLS: International Conference on Objects, Components, Models and Patterns

Conference proceedings info: TOOLS 2019.

Buy it now

Buying options

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

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

Table of contents (34 papers)

  1. Front Matter

    Pages i-xviii
  2. Invited Talks and Papers

    1. Front Matter

      Pages 1-1
    2. 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
    2. Preferred Tools for Agile Development: A Sociocultural Perspective

      • Paolo Ciancarini, Marcello Missiroli, Alberto Sillitti
      Pages 43-58
    3. Towards Static Verification of Clojure Contract-Based Programs

      • Gheorghe Pinzaru, Victor Rivera
      Pages 73-80
    4. Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEG

      • Herman Tarasau, Ananga Thapaliya, Oydinoy Zufarova
      Pages 81-88
    5. Proof Strategy for Automated Sisal Program Verification

      • Dmitry Kondratyev, Alexei Promsky
      Pages 113-120
    6. Software Development and Customer Satisfaction: A Systematic Literature Review

      • Rozaliya Amirova, Ilya Khomyakov, Ruzilya Mirgalimova, Alberto Sillitti
      Pages 136-149
    7. 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
  4. Machine Learning

    1. Front Matter

      Pages 187-187
    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

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

Buy it now

Buying options

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