Vaidas Giedrimas

Comparative analysis of functional and object-oriented programming

The choice of the first programming language and the corresponding programming paradigm is an important part of the software development process. Knowing the advantages and constraints of individual programming paradigms is important as it can be crucial for successful software implementation. In this paper we conduct an empirical comparison of functional and object-oriented programming languages using analog examples in C#, F#, Haskell, and Java. Three algorithms were implemented: algorithm for solving N queens problem, algorithm for generating n-th left-truncatable prime and merge sort algorithm in C#, F#, Haskell and Java programming languages. An overview of programming languages efficiency is given by measuring two basic parameters: number of lines of code and program execution speed. Also, system resource usage is monitored during execution. Limited experiments showed that the programming language Java is faster than the other three languages whose performances were measured. Java was surprisingly fast on these problems that are more suitable for functional programming languages. Haskell was less memory intensive (up to two times less than Java) with similar execution times, while .NET languages were slower up to four times in comparison to Java. Object-oriented languages C# and Java had significantly more lines of code for all three algorithms when compared to functional programming language Haskell and the hybrid one F#.

Wiki-Based Stochastic Programming and Statistical Modeling System for the Cloud

Scientific software is a special type of software because its quality has a huge impact on the quality of scientific conclusions and scientific progress. However, it is hard to ensure required quality of the software because of the misunderstandings between the scientists and the software engineers. In this paper, we present a system for improving the quality of scientific software using elements of wikinomics and cloud computing and its implementation details. The system enables scientists to collaborate and make direct evolution of the models, algorithms, and programs. WikiSPSM expands the limits of mathematical software.

Towards the Curry-Howard protocol implementation for the component-based paradigm

The CBSE enables to reduce the time required for the development and testing, to create robust systems. However not all existing component-based software synthesis methods focus on the software quality. There is the need for the method which can ensure software quality (in terms of consistence of specification and implementation) preserving short time required for software development at the same time. The component-based system synthesis method based on the Curry-Howard protocol is presented in this paper as the solution for this problem. Authors presents some implementation details of this method also and argue that the component-based software synthesis problem and the solution can be stated in terms of abstract component model.

Drawing process recording tool for Eye-hand Coordination modelling

The process of drawing is one of the main activities during childhood. The drawing dynamics, drawing techniques are on the focus of education science. It is known that the result of the drawing process depends on eye-hand coordination. Testing of the psycho-motoric reactions allows classifying motion and positioning problems. Psychomotor reaction data, compared with the characteristics of the drawing such as line thickness and plasticity, allows to clarify the stages of drawing process as well as to establish correlations between the arm motion, plasticity of the drawing and the eye characteristics. In order to perform such research, to make models of the Eye-hand Coordination special tool for drawing process date acquisition, recording and analysis is needed. In this paper one possible implementation of such tool is presented as well as the formal foundations and premises on which the tool is operating.

The impact of mobile architectures on component-based software engineering

Component-based software engineering ensures high software quality and rapid application development. However many technological changes are observed since early outbreak of component-based software engineering (CBSE) paradigm on 1990s. One of these changes is clear shift towards mobile and cloud computing platforms. The goal of this paper is to outline major changes of the component concept and changes of CBSE in general influenced by the mobile platforms. The models of iOS, Android and Windows Phone Applications are described. The paper discloses main similarities and differences of the legacy systems and the mobile component-based systems.

Distributed systems for software engineering: Non-traditional approach

Often software engineering is considered in distributed systems (Grid and cloud computing) context as a serving part. In this presentation opposite point of view is presented - to consider software engineering as a client, and to use distributed computing power to solve particular software engineering problems. It is argued that software engineering has several areas where the big amount of the computations is required: formal methods for software synthesis from the services, formal methods for the software verification, model checking etc. The conceptual framework for software synthesis using distributed computing is presented as an example of feasibility of proposed idea.