Titlebook: Software Technology: Methods and Tools; 51st International C Manuel Mazzara,Jean-Michel Bruel,Alexander Petrenk Conference proceedings 2019

LVAD360

0302-9743 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; securit

等级的上升

Deject

Preferred Tools for Agile Development: A Sociocultural Perspectivetools used by the Agile developers community, studying whether there are shared opinions or there are discrepancies, that could be related to cultural or geographical differences. The study is based on the DESMET approach, enhanced with some additional considerations..Results show that Agilists are

PAD416

Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded Codecode is a well-known approach of instruction dispatch implementation of efficient interpreters. However, the plurality of current high-level programming languages and popular compilers are limited in support of threaded code and enforce designers of interpreters to either stick to GCC compiler which

MOAN

Towards Static Verification of Clojure Contract-Based Programsrect Software. Unfortunately, this is still an open problem for some functional programming languages. This paper proposes a translation of Clojure programs into Boogie. Thus, users can write formal specifications of Clojure programs, using pre- and postconditions that are supported by the language,

公理

Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEGom software developers and students. In this paper we present initial research results of an empirical study related to application of EEG in measurement of software development activities. We discuss existing methods and problems of running such experiments in future. In particular, we focus on the

Prologue

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Stients whom use it. The application of a rigorous process for their development reduces the risk of failures since validation and verification activities can be performed in a objective, reproducible, and documentable manner. In this paper we present an approach based on the Abstract State Machine (

Exposure

Ballad

Proof Strategy for Automated Sisal Program Verificationystem serves as its base, since the C language representations of Sisal programs are actually processed. At the moment we concentrate our efforts on verification of Sisal loop expressions which are translated into the C for-loops. Trying to avoid the well-known problem of the loop invariants we appl

separate

Assessing Job Satisfaction of Software Engineers Using GQM Approachtors and the job satisfaction level of Software Engineers. The author organized the questionnaire that included questions addressing all the metrics identified during GQM activities. Gathered metrics are analyzed on being correlated with workplace contentment of survived developers. The author found