Test-Driven Development (TDD) is a coding technique in which programmers write unit tests before writing or revising production code. We present a process measurement approach for TDD that relies on the analysis of fine-grained data collected during coding activities. This data is mined to produce abstractions regarding programmers’ work patterns. Programmers, instructors, and coaches receive c...

In this article we try to formalize the question “What can be computed with access to randomness?” We propose the very fine-grained Weihrauch lattice as an approach to differentiate between different types of computation with access to randomness. In particular, we show that a natural concept of Las Vegas computability on infinite objects is more powerful than mere oracle access to a Martin-Löf...

The proposed Universal Intelligent Interface (UII) consists in two parts. One is a universal part, another is a problem depended part. UII, modeling user in the Frame Network User Model (FNUM), is designed as a shell system which supports a knowledge base and a number of learning agents. The system treats separately (not necessary independently) various elements of user model within the frames ...

The standard counterexample-guided abstraction-refinement (cegar) approach uses finite transition systems as abstractions of concrete systems. We present an approach to represent and refine abstractions of infinite-state systems that uses regular languages instead of finite transition systems. The advantage of using languages over transition systems is that we can store more fine-grained inform...

This paper presents the results of investigation properties fine-grained concrete on expansive cement for fiber-reinforced shotcretes used metro tunneling. Basic factors affecting material expansion after mixing with water are described. The influence components values strength indices and volumetric deformations shotcrete is studied. Improvement process, physical mechanical, operational charac...