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 20 of 247 for “"executable"”.
-
Executable specifications for Java programs
… Java. By being able to mix imperative code with executable declarative specifications, the user can easily express constraint problems in-place, i.e. in terms of the existing data structures and objects on the heap. After a solution is found, our framework will automatically update the heap to …
-
A Framework for Executable Systems Modeling
… <p>The result of this work offers an Executable Systems Modeling Language (ESysML) and a prototype modeling tool that serves as an implementation test bed for the ESysML language. Additionally a model development process is offered to guide user appropriation of the provided framework …
-
Debugging Logic Programs Using Executable Specifications
This dissertation addresses the use of executable specifications in debugging logic programs which are renowned for their clean syntax and well-understood semantics, and for the feature that one can use a single language for both specification and computation. We have formulated a computer model …
-
Executable clinical models for acute care
… The main focus of this thesis is to develop executable clinical models for acute care. We propose an organ-centric pathophysiology-based modeling paradigm, in which we translate the medical text into executable interactive disease and organ state machines. We formally verify the correctness …
-
Program Transformations for Vulnerability Detection in Binary Executable Files
… carried out to detect vulnerability in binary executable codes. This remains a major challenge that must be addressed in the computer science community. This is important given that the first point of attack by hackers is through the binary data level. It is the level through which a potential …
-
Traceability and model management with executable and dynamic hierarchical megamodels
… is realized by means of a formalism called an executable and dynamic hierarchical megamodel, based on the original idea of megamodels. This formalism supports specifying compositions of dependencies (traceability and model operations). On top of this formalism, traceability is realized by means …
-
Automated Generation of Executable Cucumber Scenarios from a RDBMS Schema
… the corresponding code to make these scenarios executable. A Relational Database Management System models in a schema the constraints and inter-relationships of the entities of a software system. Our goal here is to propose a systematic approach to automatically generate parameterized and …
-
Timed model-based programming : executable specifications for robust mission-critical sequences
There is growing demand for high-reliability embedded systems that operate robustly and autonomously in the presence of tight real-time constraints. For robotic spacecraft, robust plan execution is essential during time-critical mission sequences, due to the very short time available for recovery …
-
ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications
… of natural language and PLEASE, a wide-spectrum executable specification and design language. PLEASE specifications may be used in proofs of correctness; they may also be automatically transformed into prototypes which use Prolog to "execute" pre- and post-conditions. In ENCOMPASS, PLEASE …
-
Synthesising executable gene regulatory networks in haematopoiesis from single-cell gene expression data
A fundamental challenge in biology is to understand the complex gene regulatory networks which control tissue development in the mammalian embryo, and maintain homoeostasis in the adult. The cell fate decisions underlying these processes are ultimately made at the level of individual cells. Recent …
-
Executable Texts: Programs as Communications Devices and Their Use in Shaping High-tech Culture
This thesis takes a fresh look at software, treating it as a document, manuscript, corpus, or text to be consumed among communities of programmers and uncovering the social roles of these texts within two specific sub-communities and comparing them. In the paper, the social roles of the texts are …
-
Combi-BP: automating the data-oriented optimization in business processes. From declarative to executable models.
One of the main objectives of a business expert is to model the business goals of an enterprise process. Several languages have been created to describe the necessary activities to achieve the objective, especially in the business process context. These languages can be divided into imperative and …
-
Sec-MoSC Translation Framework: An approach to transform business process models into executable process considering security requirements
O surgimento da Computação Orientada a Serviços (COS) como um novo paradigm de programação trouxe muitas características boas, como permitir a programação em massa, integração mais fácil entre sistemas de empresas diferentes, escalabilidade, mas, principalmente, o foco na lógica de mais alto nível …
-
An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay
… define the Clay semantics and the generation of executable prototypes. Clay has a first-order semantics that gives an interpretation in first-order logic of the main object-oriented constructions: inheritance, defining classes by cases, overloading, dynamic binding and static equality. …
-
Executables from Program Slices for Java Programs
… are relevant to particular points of interest. Executable slices are program slices that are independently executable and that correctly compute the values in the slicing criteria. Executable slices can be used during debugging and to improve program performance through paral- lelization of …
-
Semantics of low-level languages
… language specification framework to build executable models of the languages discussed: x86 and Tezos Michelson. We extend an existing formalization of x86 to include its most common format - executable binaries by implementing an instruction decoder. We start completely from scratch with …
-
An approach to architecture-centric domain-specific modelling and implementation for software development and reuse.
… a unified approach, SODSMI (Service Oriented executable Domain-Specific Modelling and Implementation), to build the executable domain-specific model and to achieve the target of model-driven development. The approach is organised by domain space at architectural level which is the elementary …
-
Memory Allocation for Embedded Systems with a Compile-Time-Unknown Scratch-Pad Size
… at compile-time; therefore tie the resulting executable to that size of SPM and not portable to other platforms having different SPM sizes. As size-portable code is valuable in systems supporting downloaded codes, our work presents a compiler method whose esulting executable is portable across …
Page 1 of 13