Bakalářská práce se zaměřuje na analýzu systému evidence docházky implementovanou samotnou společností SOFTWARE DEVELOPMENT EUROPE, s.r.o. a návrhem na změny. Analyzuje a srov...
详细信息
Bakalářská práce se zaměřuje na analýzu systému evidence docházky implementovanou samotnou společností SOFTWARE DEVELOPMENT EUROPE, s.r.o. a návrhem na změny. Analyzuje a srovnává komerčně dostupné řešení s vlastním řešení společnosti po implementaci úprav a doporučuje nejvýhodnější řešení.
The subject of this work is to implement the game conceived as an interactive physical environment in which a user creates a virtual world in hierarchical two-dimensional space by inserting, moving and connecting obje...
详细信息
The subject of this work is to implement the game conceived as an interactive physical environment in which a user creates a virtual world in hierarchical two-dimensional space by inserting, moving and connecting objects. However, the world, or his parts, also represents the syntax of a program. This is achieved mainly because the game includes different kinds of objects called functions, which occupy the same role, as a function in classic programming languages. The program also includes active agents controlled by an internal program, which is made up of these functions.
Vulnerabilities within source code have grown over the last 20 years to become a common threat to systems and networks. As the implementation of open -source software continues to develop, more unknown vulnerabilities...
详细信息
Vulnerabilities within source code have grown over the last 20 years to become a common threat to systems and networks. As the implementation of open -source software continues to develop, more unknown vulnerabilities will exist throughout system networks. This research proposes an enhanced vulnerability detection method specific to Python source code that utilizes pre-trained, BERT -based transformer models to apply tokenization, embedding, and named entity recognition (a natural language processing technique). The use of named entity recognition not only allows for the detection of potential vulnerabilities, but also for the classification of different vulnerability types. This research uses the publicly available CodeBERT, RoBERTa, and DistilBERT models to fine -tune for the downstream task of token classification for six different common weakness enumeration specifications. The results achieved in this research outperform previous Python-based vulnerability detection methods and demonstrate the effectiveness of applying named entity recognition to enhance the overall research into Python source code vulnerabilities.
Esta pesquisa objetivou delinear estratégias para a aplicação de jogos digitais e tecnologias emergentes em um ambiente de sala de aula, com o intuito de auxiliar o ensino de Linguagem de Programaç...
详细信息
Esta pesquisa objetivou delinear estratégias para a aplicação de jogos digitais e tecnologias emergentes em um ambiente de sala de aula, com o intuito de auxiliar o ensino de Linguagem de Programação em nível de Ensino Fundamental II. Para tal, foi realizado um estudo de caso com 25 alunos de uma escola privada de Bauru, com idade entre 10 e 11 anos. As estratégias propostas foram delineadas para a utilização do aplicativo (Swift Playground) para iPad, que utiliza os conceitos de gamificação e jogos digitais. A ferramenta possui uma lista completa de lições que se iniciam com “noções básicas de Swift” e usa a programação para guiar um personagem por um mundo 3D. Com as noções básicas de Swift, o aluno aprende comandos, funções, loops, parâmetros, condições, variáveis, operadores, tipos, inicialização e correção de erros. Posteriormente ele é direcionado para conceitos mais avançados juntamente com tecnologias emergentes como robôs e drones com o intuito de potencializar o aprendizado e motivar os alunos durante todo o semestre. A intenção é que o aluno participe das aulas utilizando um panorama diferenciado, trabalhando com uma proposta de game e da gamificação para interagirem um ambiente lúdico e motivador, vivenciando em um espaço de troca de informação e evolução dos personagens, fazendo assim com que o aluno tenha interesse sempre maior pelo conteú*** research aimed to outline the strategy for the application of digital games and emerging technologies in a classroom environment with the purpose of assisting or teaching Online programming language of Elementary Education II. For that, a case study was carried out with 25 students from a private school in Bauru, aged between 10 and 11 years. How the strategy is designed for the application of the application (Swift Playground) to iPad, which uses the concepts of gamification and digital games. The tool has a complete list of lessons that begin with "Swift Playground," and uses a schedule to guide a character
Numerical models defined by means of a suitably assumed set of parameters make it possible to select the optimal structural solution for the given or assumed conditions. The paper presents examples of applications of ...
详细信息
Numerical models defined by means of a suitably assumed set of parameters make it possible to select the optimal structural solution for the given or assumed conditions. The paper presents examples of applications of numerical models defined in the programming language Formian during the shaping processes of various types of spatial structural systems designed for roof covers. These types of numerical models can be relatively easily adapted to the requirements, which can be frequently changed during the investment process, what makes possible a considerable reducing of costs and time of design of the space structures having even the very complex shapes. The advantageous features of application of numerical models defined in Formian are presented in models determined for selected forms of the roof covers designed also by means of a simple type of a space frame. In the paper, there are some presented visualizations made on bases of these models defining mainly for structural systems developed recently by the author for certain types of the dome covers. The proposed structural systems are built by means of the successive spatial hoops or they are created as unique forms of the geodesic dome structures.
The massive number of open-source projects in public repositories has notably increased in the last years. Such repositories represent valuable information to be mined for different purposes, such as documenting recur...
详细信息
The massive number of open-source projects in public repositories has notably increased in the last years. Such repositories represent valuable information to be mined for different purposes, such as documenting recurrent syntactic constructs, analyzing the particular constructs used by experts and beginners, using them to teach programming and to detect bad programming practices, and building programming tools such as decompilers, Integrated Development Environments or Intelligent Tutoring Systems. An inherent problem of source code is that its syntactic information is represented with tree structures, while traditional machine learning algorithms use n-dimensional datasets. Therefore, we present a feature engineering process to translate tree structures into homogeneous and heterogeneous n-dimensional datasets to be mined. Then, we run different interpretable (supervised and unsupervised) machine learning algorithms to mine the syntactic information of more than 17 million syntactic constructs in Java code. The results reveal interesting information such as the Java constructs that are barely (and widely) used (e.g., bitwise operators, union types and static blocks), different language features and patterns mostly (and barely) used by beginners (and experts), the discovery of particular types of source code (e.g., helper or utility classes, data transfer objects and too complex abstractions), and how complexity is an inherent characteristic in some clusters of syntactic constructs.
JetBrains MPS is a language workbench focusing on domain-specific languages. Unlike many other language workbenches and IDEs, it uses a projectional editor for code. The developer directly manipulates the program in i...
详细信息
JetBrains MPS is a language workbench focusing on domain-specific languages. Unlike many other language workbenches and IDEs, it uses a projectional editor for code. The developer directly manipulates the program in its tree form (AST) and not by editing a text source code. This brings many advantages, but on the other hand requires time-consuming and complicated MPS language definition. The thesis elaborates on the possibility of automating the process of creating MPS language definition from its grammar description. It introduces the MPS editor, evaluates approaches of related projects and describes authors efforts to implement an MPS plugin that allows this import. The chosen approach and the selection of tools used for implementation are justified in the thesis. We point out important problems that any similar project might deal with and we introduce some possible solutions. Furthermore, the thesis contains examples of imported languages, showing the potency of the chosen approach. The thesis also aims to lay groundwork for future extensions and suggest possible improvements.
Práce pojednává o návrhu a realizaci programovacího jazyku, určeného pro tvorbu příběhových her. Tento jazyk měl být vhodný pro uživatele bez znalosti programová...
详细信息
Práce pojednává o návrhu a realizaci programovacího jazyku, určeného pro tvorbu příběhových her. Tento jazyk měl být vhodný pro uživatele bez znalosti programování. Čtenář je nejdříve uveden do problematiky příběhových her a seznámen s jejich historií. Poté se dozvídá, že vzniklý jazyk je interpretovaný imperativní jazyk nesoucí prvky strukturovaných a nestrukturovaných jazyků. Jazyk je pojmenován AGScript. Součástí výsledné práce je i interpret tohoto jazyka. V další fázi práce byla vytvořena demonstrační aplikace za pomocí prostředků jazyka AGScript. Tato aplikace byla inspirována knižní předlohou Čaroděj z ohňové hory. Tímto byla ověřena použitelnost jazyka. V poslední fázi byly provedeny dva experimenty. První experiment měl za úkol ověřit pochopitelnost srozumitelnost jazyka. Výsledek byl kladný. Druhý zkoumal demonstrační aplikaci.
Pattern matching has been widely adopted in functional programming languages, and is gradually getting popular in OO languages, from Scala to Python. The structural pattern matching currently in use has its foundation...
详细信息
Pattern matching has been widely adopted in functional programming languages, and is gradually getting popular in OO languages, from Scala to Python. The structural pattern matching currently in use has its foundation on algebraic data types from functional languages. To better reflect the pointer structures of OO programs, we propose a pattern matching extension to general statically typed OO languages based on object graphs. By this extension, we support patterns having aliasing and circular referencing, that are typically found in pointer structures. With the requirement of only an abstract subtyping preorder on types, our extension is not restricted to a particular hierarchical class model. We give the formal base of the graph model, that is able to handle aliases and cycles in patterns, together with the abstract syntax to construct the object graphs. More complex cases of conjunction and disjunction of multiple patterns are explored with resolution. We present the type checking rules and operational semantics to reason about the soundness by proving the type safety. We also discuss the design decisions, applicability and limitation of our pattern matching extension.
暂无评论