Sergej Chodarev
YOU?
Author Swipe
View article: OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs Open
OnlineProver is an interactive proof assistant tailored for the educational setting. Its main features include a user-friendly interface for editing and checking proofs. The user interface provides feedback directly within the derivation, …
View article: OnlineProver: First Experience with Teaching Formal Proofs
OnlineProver: First Experience with Teaching Formal Proofs Open
OnlineProver is an interactive proof checker, tailored for the educational setting. The main features are a user-friendly interface for editing and checking proofs, and a DSL for specifying deduction systems and exercises about them. The u…
View article: Teach Programming Using Task-Driven Case Studies: Pedagogical Approach, Guidelines, and Implementation
Teach Programming Using Task-Driven Case Studies: Pedagogical Approach, Guidelines, and Implementation Open
Despite the effort invested to improve the teaching of programming, students often face problems with understanding its principles when using traditional learning approaches. This paper presents a novel teaching method for programming, com…
View article: Local Software Buildability across Java Versions (Registered Report)
Local Software Buildability across Java Versions (Registered Report) Open
Context: Downloading the source code of open-source Java projects and building them on a local computer using Maven, Gradle, or Ant is a common activity performed by researchers and practitioners. Multiple studies so far found that about 4…
View article: Outside the Sandbox: A Study of Input/Output Methods in Java
Outside the Sandbox: A Study of Input/Output Methods in Java Open
Programming languages often demarcate the internal sandbox, consisting of\nentities such as objects and variables, from the outside world, e.g., files or\nnetwork. Although communication with the external world poses fundamental\nchallenge…
View article: Metamodel-based Language Definition with Python
Metamodel-based Language Definition with Python Open
Most of the parser tools are concentrated on concrete syntax and grammar definition. This paper describes a language definition tool that uses a metamodel specification instead of grammar as the basis of the language definition. Inspired b…
View article: Experimental Comparison of Editor Types for Domain-Specific Languages
Experimental Comparison of Editor Types for Domain-Specific Languages Open
The editor type can influence the user experience for a domain-specific language, but empirical evaluation of this factor is still quite limited. In this paper, we present the results of our empirical study, in which we compare the product…
View article: Domain Usability Evaluation
Domain Usability Evaluation Open
Contemporary software systems focus on usability and accessibility from the point of view of effectiveness and ergonomics. However, the correct usage of the domain dictionary and the description of domain relations and properties via their…
View article: Empirical Study of Test Case and Test Framework Presence in Public Projects on GitHub
Empirical Study of Test Case and Test Framework Presence in Public Projects on GitHub Open
Automated tests are often considered an indicator of project quality. In this paper, we performed a large analysis of 6.3 M public GitHub projects using Java as the primary programming language. We created an overview of tests occurrence i…
View article: Automating Test Case Identification in Open Source Projects on GitHub
Automating Test Case Identification in Open Source Projects on GitHub Open
Software testing is one of the very important Quality Assurance (QA) components. A lot of researchers deal with the testing process in terms of tester motivation and how tests should or should not be written. However, it is not known from …
View article: Automating Test Case Identification in Java Open Source Projects on GitHub
Automating Test Case Identification in Java Open Source Projects on GitHub Open
Software testing is one of the very important Quality Assurance (QA)\ncomponents. A lot of researchers deal with the testing process in terms of\ntester motivation and how tests should or should not be written. However, it is\nnot known fr…
View article: Large-Scale Dataset of Local Java Software Build Results
Large-Scale Dataset of Local Java Software Build Results Open
When a person decides to inspect or modify a third-party software project, the first necessary step is its successful compilation from source code using a build system. However, such attempts often end in failure. In this data descriptor p…
View article: Build Results Dataset
Build Results Dataset Open
A large-scale dataset of local Java software build results.
View article: Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo
Abstract-Syntax-Driven Development of Oberon-0 Using YAJCo Open
YAJCo is a tool for the development of software languages based on an annotated language model. The model is represented by Java classes with annotations defining their mapping to concrete syntax. This approach to language definition enabl…
View article: Development of custom notation for XML-based language: A model-driven approach
Development of custom notation for XML-based language: A model-driven approach Open
In spite of its popularity, XML provides poor user experience and a lot of domain-specific languages can be improved by introducing custom, more humanfriendly notation. This paper presents an approach for design and development of the cust…
View article: Development of Human-friendly Notation for XML-based Languages
Development of Human-friendly Notation for XML-based Languages Open
XML is a popular choice for development of domain-specific languages.In spite of its popularity, XML is a poor user interface and a lot of languages can be improved by introducing custom notation.This paper presents an approach for develop…
View article: Towards Programmer Knowledge Profile Generation
Towards Programmer Knowledge Profile Generation Open
The following article deals with static analysis of source code in Java and it is intended for readers interested in techniques focused on evaluation of programming abilities of students or potential job candidates.The main objective of th…