This thesis presents research to build and evaluate embedding of a textual form of state machines into high-level programming languages. The work entailed adding state machine syntax and code generation to the Umple model-oriented programming technology. The added concepts include states, transitions, actions, and composite states as found in the Unified Modeling Language (UML). This approach allows software developers to take advantage of the modeling abstractions in their textual environments, without sacrificing the value added of visual modeling. Our efforts in developing state machines in Umple followed a test-driven approach to ensure high quality and usability of the technology. We have also developed a syntax-directed editor for Umple, similar to those available to other high-level programming languages. We conducted a grounded theory study of Umple users and used the findings iteratively to guide our experimental development. Finally, we conducted a controlled experiment to evaluate the effectiveness of our approach. By enhancing the code to be almost as expressive as the model, we further support model-code duality; the notion that both model and code are two faces for the same coin. Systems can be and should be equally-well specified textually and diagrammatically. Such duality will benefit both modelers and coders alike. Our work suggests that code enhanced with state machine modeling abstractions is semantically equivalent to visual state machine models. The flow of the thesis is as follows; the research hypothesis and questions are presented in “Chapter 1: Introduction”. The background is explored in “Chapter 2: Background”. “Chapter 3: Syntax and semantics of simple state machines” and “Chapter 4: Syntax and semantics of composite state machines” investigate simple and composite state machines in Umple, respectively. “Chapter 5: Implementation of composite state machines” presents the approach we adopt for the implementation of composite state machines that avoids explosion of the amount of generated code. From this point on, the thesis presents empirical work. A grounded theory study is presented in “Chapter 6: A Grounded theory study of Umple”, followed by a controlled experiment in “Chapter 7: Experimentation”. These two chapters constitute our validation and evaluation of Umple research. Related and future work is presented in “Chapter 8: Related work”.

This thesis describes a programming language Objective-C, which is the primary programming language for Mac OS X, and assesses the suitability of language inclusion in education. The aim of the first part is to provide the reader with a basic explanation of the language syntax so as to be able to understand what is written for code. After reading this thesis, the reader should have enough information to decide whether he would enjoy programming in Objective-C or not. Thesis does not aim to teach the reader in Objective-C language to create custom applications, mainly due to very limited description of the class libraries (Cocoa, Cocoa Touch), whose knowledge is essential for building real applications. However, this thesis should be a good starting point for all people interested in Objective-C and should refer them to appropriate literature. In the second part, I assess the suitability of language inclusion in education from 10 points of view (criteria). The aim of this part is to provide enough arguments for a decision, whether it is the good idea to provide tuition of Objective-C language or not. Some of the points of view are: basic confrontation of Objective-C with other programming languages (mainly Java and C#), assessing compliance of Objective-C language with the principles of object-oriented programming, review of Xcode IDE, analysis of demand for Objective-C programmers in the Czech Republic and analysis of students' interest in learning Objective-C by online (only students at University of Economics, Prague). The conclusion summarizes the most important properties of the language, its greatest benefits and drawbacks. I have also described the profile of a "typical" programmer in Objective-C, based on evaluated criteria.

When it comes to developing software, it is important to keep in mind a variety of factors. It is paramount that software is fast, responsive, optimized, and able to be stored and used by the end consumer. This is especially true within fields such as medical care or critical systems where the speed is critical to the end-user and where the memory and storage capacity may all be a limiting factor to the software. This paper evaluates the differences in performance between the Java programming language and the Kotlin programming language. This paper evaluates this by comparing performance by experiment, comparing metrics between the two and relevant literature review about the subject. The results show an overall better performance of Java in most occasions, with Kotlin managing to perform better in much fewer benchmarks. These differences are mostly not very significant, however there are exceptions where Kotlin is performing considerably worse. That happens particularly when a lot of the Kotlin idiomatic features are implemented, which add a big overhead and if performance is a big concern, they should be used sparingly.

<p>Kreiran je model učenja programskog jezika PASCAL na daljinu, sa<br />smernicama za kvalitetniju realizaciju nastavnog procesa u primeni<br />računara. Primenjen je model Web baziranog sistema učenja na daljinu<br />DLearn, sa 9 modula (upravljenje korisnicima i dozvolama,<br />administrativni modul, modul za upravljanje korisničkim podacima, modul<br />za održavanje nastavnih materijala (CM &ndash; Curriculum Module), modul za<br />proveru znanja, modul za prijavu ispita, modul za slanje e &ndash; mail poruka,<br />modul za generisanje različitih izveštaja, modul za publikovanje po<br />SCORM standardu). Omogućena primena savremene tehnologije, čime se prati sadašnji naučno &ndash; tehnološko &ndash; informatički razvoj, opismenjavanje učenika za primenu savremene tehnologije, nastavnicima olakšan i pojednostavljen način<br />promene teorije i zadataka, i na taj način omogućeno jednostavnije i bolje<br />praćenje ubrzanog društvenog razvoja, proučavanje gradiva kada učenicima<br />odgovara, nema propuštene nastave, prelazak na novu temu tek nakon<br />savladavanja prethodne, način i stil rada primereni su svakom učeniku,<br />svako radi prema svojim sposobnostima i sklonostima, čime se povećava<br />stepen usvojenosti predviđenog nastavnog sadržaja.</p> / <p> Created a model of learning programming language PASCAL in the distance, with<br /> guidelines for better implementation of the teaching process in the implementation<br /> of the computer. Applied the model of Web-based distance learning system<br /> DLearn, with 9 modules (control users and permissions, administrative module,<br /> the module for managing user data, module for the maintenance of teaching<br /> material (CM &ndash; Curriculum Module), module test, examine the application<br /> module, the module for sending e - mail messages, the module to generate various<br /> reports, the module for publication by SCORM standard). Enabled the application<br /> of modern technology, which monitors the current science - technology -<br /> informatics development, literacy students for the application of modern<br /> technology, teachers relieved and simplified theory of how the changes and tasks,<br /> and thus allow easier and better tracking of accelerated social development,<br /> studies of the match when the students, no missed school, switch to the new theme only after overcoming the previous, manner and style of work are appropriate<br /> each student, each working according to their abilities and preferences, increasing<br /> the level of acquisition of the scheduled content.</p>

The diploma thesis focuses on the development of an automated integration testing tool for a company. The tool is employed to detect and report data changes that may have been caused by the modification of a database schema during the development of a software. This automation of recognizing data changes brings many advantages to the company. The tool has been developed using the C# programming language, which supports object-oriented programming, using the Microsoft Visual Studio Community 2019 software. Since the tool works with the Microsoft SQL Server database, Entity Framework, an object-relational mapping framework, has been used during the implementation of the tool.

This diploma thesis deals with a theoretical analysis, a design and an implementation of a programming framework in a virtual environment. Robots use sensors to gain information about the environment and they subsequently modify this environment as a result of an instruction code. The instructions are entered in a graphic form using a visual programming language. The analysis and the outline of this language is discussed in detail in this work as well. The last part describes editing and rendering of the virtual world in which the robots are moving, considering sample tasks of following a line and movement inside a maze according to the rules of the Micromouse competition. The thesis includes solution proposals for both tasks regarding the possibilities of the programming environment. The result of the work is a concept of the aforementioned components and their implementation and linking to a functional unit.

Pour aborder le développement d'applications concurrentes et distribuées, le modèle de programmation à objets actifs procure une abstraction de haut niveau pour programmer de façon concurrente. Les objets actifs sont des entités indépendantes qui communiquent par messages asynchrones. Peu de systèmes à objets actifs considèrent actuellement une exécution multi-threadée. Cependant, introduire un parallélisme contrôlé permet d'éviter les coûts induits par des appels de méthodes distants. Dans cette thèse, nous nous intéressons aux enjeux que présentent les objets actifs multi-threadés, et à la coordination des threads pour exécuter de façon sûre les tâches d'un objet actif en parallèle. Nous enrichissons dans un premier temps le modèle de programmation, afin de contrôler l'ordonnancement interne des tâches. Puis nous exhibons son expressivité de deux façons différentes: d'abord en développant et en analysant les performances de plusieurs applications,puis en compilant un autre langage à objets actifs avec des primitives de synchronisation différentes dans notre modèle de programmation. Aussi, nous rendons nos objets actifs multi-threadés résilients dans un contexte distribué en utilisant les paradigmes de programmation que nous avons développé. Enfin, nous développons une application pair-à-pair qui met en scène des objets actifs multi-threadés. Globalement, nous concevons un cadre de développement et d'exécution complet pour les applications hautes performances distribuées. Nous renforçons notre modèle de programmation en formalisant nos contributions et les propriétés du modèle. Cela munit le programmeur de garanties fortes sur le comportement du modèle de programmation. / In order to tackle the development of concurrent and distributed applications, the active object programming model provides a high-level abstraction to program concurrent behaviours. Active objects are independent entities that communicate by mean of asynchronous messages. Very few of the existing active object frameworks consider a multi-threaded execution of active objects. Introducing a controlled parallelism enables removing some latency induced by remote method invocations. In this thesis, we take interest in the challenges of having multiple threads inside an active object, and in their safe coordination to execute tasks in parallel. We enhance this programming model by adding language constructs that control the internal scheduling of tasks. We then show its expressiveness in two ways: first with a classical approach, by developing and analysing the performance of several applications, and secondly, by compiling another active object language with different synchronisation primitives into our programming model. Also, we make multi-threaded active objects resilient in a distributed context through generic engineering constructs, and by using our programming abstractions. Finally, we develop a peer-to-peer application that shows multi-threaded active objects and their features in action. Overall, we design a thorough framework for the development and execution of high performance distributed applications. We reinforce our programming model by formalising our work and the model’s properties

With the emergence of cloud based solutions, companies such as Ericsson AB have started investigating different means of modernizing current implementations of software systems. With many new programming languages emerging such as Rust and Go, investigating the suitability of these languages compared to C++ can be seen as a part of this modernization process. There are many important aspects to consider when investigating the suitability of new programming languages, and this thesis makes an attempt at considering most of them. Therefore both performance which is a common metric as well as development efficiency which is a less common metric, were combined to provide a holistic view. Performance was defined as CPU usage, maximum memory usage, processing time per sequence and latency at runtime, which was measured on both x86 and ARM based hardware. Development efficiency was defined as the combination of the productivity metric, the maintainability index metric and the cognitive complexity metric. Combining these two metrics resulted in two general guidelines: if the application is constantly under change and performance is not critical, Go should be the language of choice. If instead performance is critical C++ should be the language of choice. Overall, when choosing a suitable programming language, one needs to weigh development efficiency against performance to make a decision.

The aim of this master's thesis is to design and implement JavaScript interpreter which is designed for purposes of avoiding obfuscation code of various types of computer viruses. This master's thesis also comprises a detailed view into the inner mechanism of the ECMAScript standard.

Researchers have made significant progress in information extraction from short documents in the last few years, including social media interaction, news articles, and email excerpts. This research aims to extract technical entities like hardware resources, computing platforms, compute time, programming language, and libraries from scholarly research articles. Research articles are generally long documents having both salient as well as non-salient entities. Analyzing the cross-sectional relation, filtering the relevant information, measuring the saliency of mentioned entities, and extracting novel entities are some of the technical challenges involved in this research. This work presents a detailed study about the performance, effectiveness, and scalability of rule-based weakly supervised algorithms. We also develop an automated end-to-end Research Entity and Relationship Extractor (E2R Extractor). Additionally, we perform a comprehensive study about the effectiveness of existing deep learning-based information extraction tools like Dygie, Dygie++, SciREX. The research also contributes a dataset containing novel entities annotated in BILUO format and represents the baseline results using the E2R extractor on the proposed dataset. The results indicate that the E2R extractor successfully extracts salient entities from research articles. / Master of Science / Information extraction is a process of automatically extracting meaningful information from unstructured text such as articles, news feeds and presenting it in a structured format. Researchers have made significant progress in this domain over the past few years. However, their work primarily focuses on short documents such as social media interactions, news articles, email excerpts, and not on long documents such as scholarly articles and research papers. Long documents contain a lot of redundant data, so filtering and extracting meaningful information is quite challenging. This work focuses on extracting entities such as hardware resources, compute platforms, and programming languages used in scholarly articles. We present a deep learning-based model to extract such entities from research articles and research papers. We evaluate the performance of our deep learning model against simple rule-based algorithms and other state-of-the-art models for extracting the desired entities. Our work also contributes a labeled dataset containing the entities mentioned above and results obtained on this dataset using our deep learning model.