<p> In this day and age, many companies struggle with the maintenance of legacy scientific software systems written in outdated programming languages. These languages use low-level control structures, algorithmic operations and cumbersome syntax that make the true meaning of an algorithm difficult to understand. To make matters worse, the process of reverse engineering the algorithm to specification often involves a considerable amount of manual work which is error-prone and time-consuming.</p> <p> This thesis explores a completely automated method of reverse engineering. We apply this method to FORTRAN77 linear algebra software. This software is transformed to an extension of FORTRAN77, which we call Fortran-M. This language allows for high-level mathematical constructs such as sums, products and vector and matrix operations. To serve as a proof-of-concept for this method, we have developed a tool which uses a combination of pattern matching on the source code's abstract syntax tree to recognise low-level control structures, and symbolic analysis to determine the meaning of loops. Once a pattern has been recognised, or a loop's invariant found, we apply transformations to the syntax tree, thus creating a Fortran-M equivalent.</p> / Thesis / Master of Applied Science (MASc)

Title: Projectional editor for domain-specific languages Author: Ondřej Dvořák Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Michal Malohlava Abstract: Programming is a craft requiring a good tooling. One of tools selected as crucial for software development is an integrated development environment (IDE) that allows to maintain most of the general-purpose languages. Domain-specific languages grow in a popularity last years, thus it is necessary to support them by IDE as well. Not just a textual or graphical form of DSL sources is suitable for their maintenance, so does the combination of them. One of the promising approaches is represented by a novel method called a projectional editing. Its objective is to show different visualization forms of program source code, combine and manipulate with them at one place. The thought is typically realized by a projectional editor. In this thesis we design a projectional editor for domain-specific languages and provide its experimental implementation. It analyzes potential approaches to a projectional editing and designs their suitable realization in Microsoft Visual Studio. It provides a universal implementation of a projectional editor on the top of Visual Studio as well as on the top of a standalone application. Moreover, it supports...

No description available.

In recent years, the number of digital services and tools available has increased rapidly. When companies want to digitalize their business, they have the opportunity to browse a large number of existing platforms and applications available on the market to find a good match for their specific needs. However, when a company wishes to digitalize a work task that already has a well-established workflow, problems may arise. Due to this, a tailored digital solution may in some cases be the better suited option, rather than the ones available on the market.  The intention of this work was to investigate the challenges that companies face in relation to digitalization of the workplace in general, and the challenges of a company’s expense management process in particular. As an example of how a workplace digitalization can take place, a collaboration with a forest industry company was conducted. An evaluation of their analog and internal expense management process was done, where the found challenges were assessed with respect to chosen quality factors. The evaluation and the found challenges regarding digitalization constituted the basis for a process mapping and a digital solution aiming to improve the company’s expense management process. The resulting work emphasizes how a digital solution can be tailored with simple means within a limited time frame, taking specific needs and existing challenges into account in order to digitalize the workplace. In addition, the work presents what challenges that exists within the concept of digitalizing the workplace and regarding expense management, and how quality factors can be used in combination with a process improvement in order to relieve and eliminate them.