October 14-19, 2019

TOOLS 50+1:Technology of Object-Oriented Languages and Systems
Innopolis University, Innopolis


Sponsored by: Eiffel Software, Springer
About conference
This new edition of the TOOLS conference series revives a tradition going back 50 conferences from 1989 to 2012. TOOLS was originally "Technology of Object-Oriented Languages and Systems" and grew to encompass all innovative aspects of software technology. Many of today's most important software concepts were first introduced there. The 2019 TOOLS 50+1, taking place near Kazan, in Russia, continues the series in the same spirit of creativity, passion for everything software-related, combination of scientific soundness and industrial applicability, and an open attitude welcoming all trends and communities in the field.

TOOLS 50+1 will be held in the week of October 14, 2019, with the conference proper on October 15 to 17 (Tuesday to Thursday) and colocated events on the surrounding days. Proposers of colocated events are welcome to contact organizers.

Proceedings will be published as a volume of the Springer's Lecture Notes in Computer Science.

CALL FOR PAPERS
Topics
All topics in modern software technology are suitable. Examples include:

  • New development in object technology
  • Cloud, web and big data applications
  • Microservices
  • Rapid development and deployment techniques
  • New software processes
  • Experience reports, technology transfer
  • Challenges of developing software for embedded systems and Internet of Things
  • Applications of AI and machine learning techniques
  • Reliabilty and dependability
  • Hybrid and cyber-phisical systems modeling and verification
Submission guidelines
All papers must be original and not simultaneously submitted to another journal or conference. Papers should be formatted using Springer LNCS guidelines and should be at most 15 pages long.
Important Dates
Abstract registration deadline - April 19, 2019
Submission deadline - April 30,2019
Contact
All questions about submissions should be emailed to Manuel Mazzara (m.mazzara@innopolis.ru).
COMMITTEES
Chairs
General Chair:
Bertrand Meyer (Innopolis University)
Alexandr Tormasov (Innopolis University)

Program chairs:
Manuel Mazzara (Innopolis University),
Jean-Michel Bruel (University of Toulouse),
Alexander Petrenko (ISPRAS)

Organization chair:
Alberto Sillitti (Innopolis University)
Sergey Masyagin (Innopolis University)

Publicity chairs:
JooYoung Lee (Innopolis University),
Adil Adelshin (Innopolis University),
Sophie Ebersold (University of Toulouse)
Programme Committee
  • Danilo Ardagna (Politecnico di Milano, Italy)
  • Muhammad Ahmad (University of Messina, Italy)
  • Marco Autili, (University of L'Aquila, Italy)
  • Sergey Avdoshin (Higher School of Economics, Russia)
  • Luciano Baresi (Politecnico di Milano, Italy)
  • Alexandre Bergel (University of Chile)
  • Jean Bézivin (University of Nantes, France)
  • Judith Bishop (Stellenbosch University, South Africa)
  • Antonio Bucchiarone (Fondazione Bruno Kessler, Italy)
  • Paolo Ciancarini (University of Bologna, Italy)
  • Salvatore Distefano (University of Messina, Italy)
  • Nicola Dragoni (Technical University of Denmark)
  • Catherine Dubois (ENSIIE, France)
  • Schahram Dustdar (Vienna University of Technology, Austria)
  • Sophie Ebersold (University of Toulouse, France)
  • Angelo Gargantini (University of Bergamo, Italy)
  • Adil Khan (Innopolis University, Russia)
  • Victor Kuliamin (Moscow State University, Russia)
  • Dmitrij Koznov (Saint Petersburg State University, Russia)
  • Cosimo Laneve (University of Bologna, Italy)
  • Jooyoung Lee (Innopolis University, Russia)
  • Hernán Melgratti (University of Buenos Aires, Argentina)
  • Raffaela Mirandola (Politecnico di Milano, Italy)
  • James Noble (Victoria University of Wellington, New Zealand)
  • Manuel Oriol (ABB Corporate Research)
  • Richard Paige (University of York, UK)
  • Mauro Pezzè (Università della Svizzera italiana)
  • Victor Rivera (Innopolis University, Russia)
  • Andrey Sadovykh (Innopolis University, Russia)
  • Andrey Terekhov (Saint Petersburg State University, Russia)
  • Jan Vitek (Northeastern University, USA)
  • Jim Woodcock (University of York, UK)
  • Gianluigi Zavattaro (University of Bologna, Italy)
Organizing Committee
  • Inna Baskakova (Innopolis)
  • Mansur Khazeev (Innopolis)
  • Alexandr Naumchev (Innopolis)
  • Oksana Zhirosh (Innopolis)
KEYNOTE SPEAKERS
Bertrand Meyer
Bertrand Meyer had a technical and managerial career for nine years at Électricité de France, and for three years was on the faculty at the University of California, Santa Barbara. Since October 2001, he has been Professor of Software Engineering at ETH Zürich, the Swiss Federal Institute of Technology, where he pursues research on building trusted components (reusable software elements) with a guaranteed level of quality.
Davide Sangiorgi
Davide Sangiorgi is an Italian professor of computer science at the University of Bologna.He had previously held research positions at the University of Edinburgh and at Inria. He had received his PhD from the University of Edinburgh under the supervision of Robin Milner in 1993.He has had visiting positions at Centrum Wiskunde & Informatica (CWI, Amsterdam), University of Cambridge, University of Oxford.
His research interests are in the fields of concurrent systems, semantics and verification techniques.
Sergey Tverdyshev
Position: Director Research & Technology, SYSGO AG
Title: Design and Assurance Methods for Dependable Cyber Physical Systems
Giancarlo Succi
Giancarlo Succi holds a Laurea Degree in Electrical Engineering from the University of Genova, an M.Sc. in Computer Science from the State University of New York at Buffalo, and a PhD in Computer and Electrical Engineering again from the University of Genoa, Italy (December 1993). He has passed the habilitation certification as professional engineering both in Italy and in Canada and he has consulted for several organizations worldwide. He has been a Professor at the Free University of Bolzano-Bozen, Italy, University of Alberta, Edmonton, Canada, University of Calgary, Canada holding also various administrative positions. Giancarlo Succi has taught a variety of academic and industrial courses throughout his career in Software Engineering, Programming Languages, and Mobile, Distributed, and Centralized Operating Systems. He has organized various international conferences and other scientific and educational events. His research interests are in empirical software engineering, open source, mobile and energy aware systems, software reuse, and software product lines. He is the author of 5 and editor of 12 books and over than 370 publications.


Back to the list
Jean Michel Bruel
Jean-Michel Bruel is head of the SM@RT team of the IRIT CNRS laboratory. His research areas include development of software intensive Cyber-Physical Systems, methods/model/language integration, with a main focus on Requirements and Model-Based Systems Engineering. He has defended his "Habilitation à Diriger des Recherches" in December 2006 and obtained in 2008 a full professor position at the University of Toulouse . He has been head of the Computer Science department of the Technical Institute of Blagnac from 2009 to 2012 and is now Laboratory Representative for the Toulouse 2 Jean Jaurès University since 2016.
SATELLITE EVENTS
WORKSHOPS
Fun With Formal Methods (FWFM-2019)
The primary purpose of the 3rd workshop in the FWFM series is to popularize and disseminate the best practice of popularization of Formal Methods. Not an exhaustive list of topics of FWFM follows:

  • fascinating examples of use of FM in SE;
  • simple but interesting educational examples of FM;
  • FM for puzzles, games and entertainment;
  • FM and programming contests;
  • FM elsewhere (outside software and hardware);
  • everything and anything related to popularization of FM.
Please, follow the link for more information
http://persons.iis.nsk.su/

Time: 10:30 - 12:30; 15:30 - 16:30
Room: 317
ANT Workshop
TOOLS Workshop: Artificial and Natural Tools

When: Monday, 14 October 2019, 14-17, Room XXX

Chair: Bertrand Meyer

Tools play a fundamental role in software development. Not only software tools, but also methodological tools. This workshop, gathering contributions from leading experts, explores (at TOOLS) the role of tools in the production of quality software.

The workshop is open to anyone with an interest in further the state of the art in software technology.

IU Math Club meeting
IU Math Club on Tuesday October 15 at 6 p.m. to celebrate the 50th anniversary (October 1969) of the publication of "An Axiomatic Basis for Computer Programming". (Venue to be decide but expected to be a café in the University lobby.)
TUTORIAL
Software Product Lines tutorial
RE-ENGINEERING SOFTWARE VARIABILITY INTO SOFTWARE PRODUCT LINES

Presented by Tewfik Ziadi

Software Product Lines (SPLs) represent one of the most exciting paradigm shift in software development in the two last decades. Multiple approaches have been proposed addressing the different activities of variability design and manipulation, reusable assets implementation, or product derivation.

However, adopting an SPL approach and managing variability is still a major challenge and represents a risk for a company. First, compared to single-system development, SPL variability management implies a methodology that highly impacts the life cycle of the products as well as the processes and roles inside the company. Second, adopting an SPL from the beginning, called proactive SPL adoption, is subject to two main assumptions: 1) these companies must have, in advance, a complete understanding of the variability to anticipate all possible variations; 2) these companies should start from scratch to specify the variability and implement the reusable assets. Thus, instead of adopting an SPL, many companies usually start from a set of existing systems that must undergo a well-defined re-engineering process. Many approaches to conduct such re-engineering processes have been proposed and documented in research literature.

In this tutorial, after introducing SPLs and their concepts, we introduce the re-engineering processes for SPL adoption and a summary of the research literature. Attendees will have the possibility to experiment hands-on with SPL open source tools and also on our tools for SPL re-engineering such as BUT4Reuse.

  1. SPL re-engineering. Now the audience is convinced by the benefits of an SPL approach, we introduce the general re-engineering process including the different activities related to: (1) feature identification and location (2) constraint mining (3) reusable asset extraction (4) variability model synthesis.
    1. Part 1: Course
      1. Extractive SPL adoption activities including feature Identification and location, constraints mining, reusable assets and feature model extraction.
      2. Machine learning based techniques for automatically extracting constraints.
    2. Part 2: Hands-on experiments
      1. Extracting SPL from existing variants using the BUT4Reuse platform. We will use the examples and the benchmarks provided by the BUT4Reuse platform (https://github.com/but4reuse/but4reuse/wiki/Examples).
      2. Mining constraints with statistical, supervised machine learning (https://varyvary.github.io/): we will use an end-to-end example with VaryLaTeX for learning paper variants that meet constraints.
MELODIC TUTORIAL
Good Bye Vendor Lock-in: Getting your Cloud Applications Multi-Cloud Ready!
Presented: Paweł Skrzypek, Marta Różańska, Alicja Reniewicz.

Clouds offer significant advantages over traditional cluster computing architectures including flexibility, high-availability, ease of deployments, and on-demand resource allocation - all packed up in an attractive pay-as-you-go economic model for the users. However, cloud users are often forced into vendor lock-in due to the use of incompatible APIs, cloud-specific services, and complex pricing models used by the cloud service providers (CSPs). Cloud management platforms (CMPs), supporting hybrid and multi-cloud deployments, offer an answer by providing a unified abstract interface to multiple cloud platforms. Nonetheless, modelling applications to use multi-clouds, automated resource selection based on the user requirements from various available CSPs, cost optimization, security, and runtime adaptation of deployed applications and services still remain a challenge. In this tutorial, we provide a practical introduction to the multi-cloud application modelling, configuration, deployment, and adaptation. We survey existing CMPs, compare their features, modelling methods, and, not the least, provide a practical hands-on training for getting your applications ready for the multi-clouds using selected tools. By the end of this tutorial, attendees should be able to understand various tools and technologies available for the multi-clouds, and prepared to spin-off their first multi-cloud ready application.


Additional challenge, as a some kind of PoC for Morhpemic project: Enhancing Melodic platform with prediction capabilities

Goal: Melodic platform uses current values of metrics from application (CPU, Memory, business defined metrics, etc) to adapt the deployment of the application. The goal of the challenge is to add prediction capabilities using chosen method of time series forecasting (Exponential Smoothing, ARMA/ARIMA, logistic regression, linear regression, tree based methods (Random Forest, XGboost, other), neural networks) to allow adaptation based on predicted value of time series instead of current one.

Difficulty: intermediate to high

Description:
Within the challenge it would be needed to integrate with Melodic messaging system to gather metrics value and making forecast based on the gathered values. Forecast value should be sent as a new type of metrics to given queue and adaptation should include the predicted value. It requires to understand the Melodic messaging subsystem, to implement one forecasting method (could be simple) and to send metric to jms queue.

Requirements for the participant:
Knowledge about the REST, Docker containers, Java
Knowledge about the time series forecasting methods
Very good programming skills
Experience in design and development of complex systems integrated with ESB

http://www.melodic.cloud/tools50plus1/

HACKATHON
Hackathon – CASE in Tools

Co-located with the Tools conference, the CASE in Tools hackathon is open to companies, students, researchers and engineers to experiment together with all kind of tools for Software Engineering (SE). For companies, this event offers an opportunity to pull expertise and new ideas on interesting practices. For students, the experiments will reveal challenges in SE and propose training opportunity to work in close relation to industry representatives. For researchers, the hackathon is a mean to validate their ideas on a case study. For engineers, this is a meeting point to share the SE practices in hands-on activities.

For more information,please,follow the link

https://www.caseintools.info/

Organization:

  • Home work
    • (tentative) September 15. Companies announce the challenges for a 4 hours' experiments
    • September 15 – October 5. Interested participants publicly discuss challenges. Participants form teams including 1..n Company Representative + 1..n practitioner.
  • At Hackathon (October 19)
    • Morning, companies pitch SE challenges in 10 minute's presentations.
    • Teams will have 4 hours to work on experiments, prepare a demo and a presentation.
    • At the evening, the teams will pitch the results with 10minutes demos/presentations.
    • The audience will vote for the most interesting and entertaining pitch. Organizers will distribute the award certificates.
The companies are invited to submit challenges for the experiments in following topics:

  • Project management support
  • Repository mining
  • Integrated views for quality management
  • Requirements traceability
  • Combining Enterprise Architecture with SE
  • Software Product Lines – managing variability in code, design and other artifacts
  • Quality management
  • Automated testing
  • Static analysis
  • Formal methods
  • CI/CD
  • Documentation
  • Multi-Cloud deployment
  • Model-driven Engineering/Development
  • Code generation
  • CASE


In order to register for Hackathon,please,use the registration form for workshop participant.

Registration deadline: September 30,2019



Questions and suggestions: a.naumchev@innopolis.ru
Conference Programme
Tuesday 15th of October
Room 107
8:30 - 9:00 Registration
9:00 - 9:15 General chairs and dean welcome
Alexander Tormasov, Bertrand Meyer and Giancarlo Succi
9:15 - 10:30 Keynote speech: Davide Sangiorgi
10:30 - 11:00 Coffee break
11:00 - 12:00 Keynote speech: Bertrand Meyer
12:00 - 14:00 Lunch
14:00-16:00 Session 1 : Software Engineering and Programming Languages (1)
Chair: Alberto Silitti
14:00 - 14:30 Preferred Tools for Agile Development:a Sociocultural Perspective -
Marcello Missiroli, Paolo Ciancarini and Alberto Sillitti
14:30 - 15:00 Interpretizer: A Compiler-Independent Conversion of Switch-Based
Dispatch into Threaded Code - Yauhen Klimiankou
15:00 - 15:30 Developing medical devices from Abstract State Machines to embedded
systems: a smart Pill Box case study - Andrea Bombarda, Silvia Bonfanti and Angelo
Gargantini

15:30 - 16:00 Assessing Job Satisfaction of Software Engineers Using GQM Approach -
Aleksandr Tarasov
16:00 - 16:30 Coffee break
16:30 - 17:30 Session 2: Security
Chair: Rasheed Hussain
16:30 - 17:00 Applying Face Recognition in Video Surveillance Security Systems
Bauyrzhan Omarov, Batyrkhan Omarov, Shirinkyz Shekerbekova, Farida Gusmanova,
Nurzhamal Oshanova, Alua Sarbasova, Zhanna Yessen-galiyeva, Agyn Bedelbayev,
Akmarzhan Maikhanova, Nurzhan Omarov and Danyar Sultan

17:00 - 17:30 Cyber-resilience concept for Industry 4.0 digital plat-forms in the face
of growing cybersecurity threats - Sergei Petrenko and Elvira Khismatullina
Wednesday 16th of October
Room 107
8:30 - 9:00 Registration
9:00 - 10:00 Keynote speech: Jean-Michel Bruel
10:00 - 10:30 Coffee break
10:30-12:30 Session 3 : Software Engineering and Programming Languages (2)
Chair: Bertrand Meyer
10:30 -11:00 Software Development and Customers Satisfaction: a Systematic
Literature Review - Rozaliya Amirova, Ilya Khomyakov, Ruzilya Mukhutdinova and
Alberto Sillitti

11:00 - 11:30 Object-oriented requirements: reusable, understandable, verifiable -
Alexandr Naumchev
11:30 - 12:00 Measurements for Energy Efficient, Adaptable, Mobile Systems- Vladimir
Ivanov, Sergey Masyagin, Andrey Sadovykh, Alberto Sillitti, Giancarlo Succi, Alexander
Tormasov and Evgeny Zouev

12:00 - 12:30 Complex Systems: On Design & Architecture of Adaptable Dashboards-
Dragos Strugar
12:30 - 14:00 Lunch
14:00 - 15:00 Keynote speech: Giancarlo Succi
15:00 - 21:00 Social trip and dinner
Thursday 17th of October
Room 107
8:30 - 9:00 Registration
9:00 - 10:00 Keynote speech: Sergey Tverdyshev
10:00 - 10:30 Coffee break and poster session
10:30 - 13:00 Session 4 : Projects
Chair: Andrey Sadovykh
10:30 - 11:00 VERCORS: Hardware and Software Complex for Intelligent Round-Trip
Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin
Environment - Alexandr Naumchev, Andrey Sadovykh and Vladimir Ivanov
11:00 - 11:30 MELODIC: Selection and Integration of Open Source to Build an
Autonomic Cross-Cloud Deployment Platform - Geir Horn, Pawel Skrzypek, Marcin
Prusinski, Katarzyna Materka, Vassilis Stefanidis and Yiannis Verginadis
11:30 - 12:00 Quality-aware Rapid Software Development Project: The Q-Rapids
Project - Xavier Franch, Lidia Lopez, Silverio Martınez-Fernandez, Marc Oriol Hilari,
Pilar Rodrıguez and Adam Trendowicz

12:00 -12:30 MegaM@Rt2 Project: Megamodeling at Runtime - Intermediate Results
and Research Challenges - Andrey Sadovykh, Dragos Truscan, Alessandra Bagnato,
Wasif Afzal, Hugo Bruneliere, Abel Gomez, Alexandra Espinosa, Gunnar Widforss,
Pierluigi Pierini and Elizabeta Fourneret

12:30 - 13:00 REVAMP2 Project: Towards Round-Trip Engineering of Software
Product Lines - Approach, Intermediate Results and Challenges - Andrey Sadovykh,
Tewfik Ziadi, Jacques Robin, Elena Gallego, Jan-Philipp Steghofer, Thorsten Berger,
Alessandra Bagnato and Raul Mazo

13:00 - 14:00 Lunch
14:00 - 15:30 Session 5: Machine Learning, Computer Architectures and Robotics
Chair: Adil Khan
14:00 - 14:30 Human Activity Recognition using Deep Models and Its Analysis from
Domain Adaptation Perspective - Nikita Gurov, Adil Khan, Asad Khattak and Rasheed
Hussain

14:30 - 15:00 Distributed Computing System On a Smartphones-based Network -
Hamza Salem
15:00 - 15:30 Continuous integration and continuous delivery in the process of
developing robotic systems - Vadim Rashitov and Mikhail Ivanou
15:30 - 16:30 Coffee break and poster session
16:30 - 17:30 Session 6 : Internet of things
Chair: Ilya Afanasyev
16:30 - 17:00 UniquID: A Quest to Reconcile Identity Access Management and the
IoT - Alberto Giaretta, Stefano Pepe and Nicola Dragoni
17:00 - 17:30 Automated Composition, Analysis and Deployment of IoT Applications -
Francisco Duran, Gwen Salaun and Ajay Krishna
Participants to the poster session
● The Impact of Dance Sport on Software Development - Irina Erofeeva
● Exploring IA-32: Lessons from Analysis and Experience - Yauhen Klimiankou
● CAN WE RELY ON SMARTPHONE APPLICATIONS? - Sonia Meskini, Ali Bou
Nassif and Luiz Capretz

● Static Verification of Clojure contract-based programs - Gheorghe Pinzaru and
Victor Rivera

● Proof Strategy for Automated Sisal Program Verification - Dmitry Kondratyev and
Alexei Promsky

● Spontaneous Emotion Recognition in Response to Videos - Alisa Gazizullina and
Manuel Mazzara

● 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 and Michela Dall'Agata

● Problems in Experiment with Biological Signals in Software Engineering The
case of the EEG - Ananga Thapaliya, Oydinoy Zufarova and Herman Tarasau
● An Intelligent Tutoring System Tool Combining Machine Learning and
Gamification in Education - Riccardo Di Pietro and Salvatore Distefano
● Method of improving the Cyber Resilience for Industry 4.0. Digital platforms -
Sergei Petrenko and Elvira Khismatullina
● Cloud : A Real Challenge to Its True Feasibility in Modern Marketing - Ananga
Thapaliya and Subham Chakraborty

● CNN LSTM Network Architecture for Modelling Software Reliability - Kamill
Gusmanov
Friday 18th of October
Room 300
9:00 - 12:00 Software Product Lines tutorial - Tewfik Ziadi
14:00 - 17:00 MELODIC Tutorial - Pawel Skrzypek, Marta Różańska, Alicja Reniewicz
16:00 - 19:00 - Acronis Lecture - Daulet Tumbayev, Nikolai Pavlochev

PROCEEDINGS
The proceedings of TOOLS are published by Springer in the series "Lecture Notes in Computer Science". To access the digital version please follow the link below.
The free access for the conference participants will be granted for 4 weeks.
Hardcopies will be distributed to registered participants at the venue.

Online Proceedings
Venue
The conference location is the campus of Innopolis University, a new IT-only university, part of the recently created Innopolis technology city near Kazan, one of the main historic centers of Russia, capital of Tatarstan and about 800 kilometers from Moscow, easily reached by domestic and international flights as well as train. For an excellent conference experience, participants will be housed on site, and will benefit from tours of Kazan and neighboring attractions. The conference organizers will provide travel and visa assistance.

Please, note, the registration fees include meals and coffe breaks altogether with hosting at Innopolis Campus.
For those who will stay in Kazan, the shuttles bus comes every hours from city center and serves differents bus stops, one way trip will cost 100 rub by card and 150 rub by cash. For shuttles bus schedule, please, follow the link https://goo.gl/YSKNW4

If you have any questions do not hesitate to contact us at i.baskakova@innopolis.ru

Registration
In order to take part in TOOLS 2019, please, use the form below to register for the event.
Please, choose your participation status and click Continue button in order to finilize your registration.
Innopolis University
Innopolis University,
Universitetskaya str.1,
Innopolis city
Фотографии и тексты использованы для демонстрации возможностей шаблона сайта, пожалуйста, не используйте их в коммерческих целях.
Made on
Tilda