Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Automated Code Generation"”.
-
A Separation-Based UI Architecture with a DSL for Role Specialization
… onmodel-driven engineering (MDE) techniques of code generation to further enhance thebenefits of using a DSL. In this dissertation we describe a complete methodology thatimplements our architecture, reaps the benefits of role specialization, takes advantageof DSL-based abstraction and automated …
-
A Study of Preconditions and Postconditions as Design Constraints for LLM Code Generation
… Models (LLMs) have significantly advanced automated code generation, but current methods predominantly rely on natural language descriptions. This approach encounters challenges when handling complex, class-level software generation tasks due to inherent ambiguity and under-specification. …
-
Supporting design: a computational theory of design and its implementation in a software support tool
… software design system. Existing work in automated knowledge acquisition is used to transfer knowledge about a design from the designer to the automated tool. Consistent support for refinement of design choices at any level of detail makes design a maintainable activity. This opens new …
-
Timing and scheduling analysis of real-time object-oriented models
… executability of models and the possibility of automated code generation. The full benefits of the ROOM language are obtained through the use of the ObjecTime toolset, designed to support the ROOM language and its development process in order to automatically create an executable for a target …
-
Safety cases for the formal verification of automatically generated code
Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, since code generators are typically not qualified, there is no guarantee that their output is correct or even safe. Formal methods …
-
A development and assurance process for Medical Application Platform apps
… contribution of this effort is a language and code generator that can be used to model and implement MAP applications. The language is a subset of the Architecture, Analysis and Design Language (AADL) that has been tailored to the platform-based environment of MAPs. Accompanying the language is …
-
Supporting Effective Reuse and Safe Evolution in Metadata-Driven Software Development
… unsafe discrepancies between the main source code and its corresponding metadata. The research described in this dissertation addresses five fundamental problems of metadata-driven software development: (1) bytecode enhancements that transparently introduce concerns hinder program …
-
Bit-Stream Control of Doubly Fed Induction Generators
… widespread development of renewable electricity generation technology, especially wind generation. The Doubly Fed Induction Generator (DFIG) is commonly used for wind generation applications as it allows for efficient operation of the wind turbine by varying the speed of the generator without …
-
Automatically Generating Tests from Natural Language Descriptions of Software Behavior
… Developers then manually write "glue" code so that these scenarios can be executed as software tests. This glue code represents individual steps within unit and acceptance test cases, and tools exist that automate the mapping from scenario descriptions to manually written code steps …