LVAD360
发表于 2025-3-26 22:03:45
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
等级的上升
发表于 2025-3-27 01:56:01
http://reply.papertrans.cn/88/8711/871057/871057_32.png
Deject
发表于 2025-3-27 07:13:22
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
发表于 2025-3-27 11:22:59
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
发表于 2025-3-27 16:16:52
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,
公理
发表于 2025-3-27 18:24:45
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
发表于 2025-3-28 00:33:36
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
发表于 2025-3-28 04:15:08
http://reply.papertrans.cn/88/8711/871057/871057_38.png
Ballad
发表于 2025-3-28 06:36:12
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
发表于 2025-3-28 10:34:30
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